OpenAI has announced ten new advances in mathematics and theoretical computer science, presenting AI-assisted results on long-standing open problems spanning geometry, cryptography, complexity theory, operator algebras, and group theory.
The company released a 249-page research paper alongside machine-checkable Lean 4 proof certificates, allowing researchers to independently verify the formal correctness of the results.
OpenAI says the work was produced by an internal research model and aims to demonstrate AI's growing role in frontier scientific discovery rather than benchmark performance alone. The findings are now open for peer review and validation by the broader mathematics and theoretical computer science communities.
