OpenAI Claims Ten Math Advances, Peer Review Still Pending

OpenAI published ten results it says resolve or advance long-standing open problems across high-dimensional geometry, coding theory, circuit complexity, group theory, operator algebras, quantum complexity, lattice cryptography and extremal combinatorics. The work is attributed to an internal version of a model called Astra and reported to have cost roughly $2,000 at API rates. Each proof ships with Lean certificates and chain-of-thought records, which is a meaningfully higher evidence standard than a benchmark table. Formal peer review has not happened. Lean-checked proofs constrain correctness but not novelty or significance, and specialists in these subfields have not yet weighed in.