OpenAI shares ten advances in mathematics and theoretical computer science
OpenAI research advances math and theoretical CS with ten new AI-assisted results See how Astra helped prove, disprove, and sharpen long-open problems across key fields
OpenAI published a new research post on August 1, 2026 highlighting ten advances in mathematics and theoretical computer science. The results were produced by an internal version of its Astra model and later formalized in Lean, with human researchers helping prepare the manuscripts.
The problems cover areas including highdimensional geometry, coding theory, arithmetic circuit complexity, group theory, operator algebras, quantum complexity, lattice cryptography, and extremal combinatorics. According to the post, the work addresses several longopen questions and includes new bounds, proofs, and disproofs across the listed fields.
OpenAI said the research is part of its effort to support scientists and mathematicians with AI tools that can accelerate discovery. It also noted that attribution and transparency are important as AI systems become more capable of contributing to mathematical research.