On October 6, 2026, OpenAI released more than 700 manuscripts at once, claiming solutions to hundreds of open math problems.
Same story, featured as“OpenAI shares AI results on open mathematics problems with Lean proofs on GitHub”
OpenAI released nearly 400 AI-generated mathematical results across more than 700 manuscripts.
Same story, featured as“OpenAI shares AI results on open mathematics problems with Lean proofs on GitHub”
OpenAI released 722 manuscripts, organized into 372 families, containing results on open mathematical problems produced by an internal frontier model.
Why it matters: The piece catalogs the specific results, the verification split and the community pushback, so readers can gauge what actually landed.
OpenAI released 372 mathematical results generated by an internal frontier model.
Same story, featured as“OpenAI shares AI results on open mathematics problems with Lean proofs on GitHub”
OpenAI published 722 manuscripts covering 372 result families.
Same story, featured as“OpenAI shares AI results on open mathematics problems with Lean proofs on GitHub”
OpenAI published 722 mathematical manuscripts from an unreleased internal frontier model in a public GitHub repo.
Why it matters: The release details how many open problems were addressed and how much compute each solution took, which frames how AI math results are produced.