Research
OpenAI releases 722 AI-generated math manuscripts while warning that verification is still incomplete
OpenAI published 722 mathematical manuscripts grouped into 372 result families from an unreleased internal frontier model, alongside Lean formalizations, reasoning summaries and production details, while explicitly warni…