OpenAI's Next Model Astra Solves Ten Open Problems in Math and Theoretical CS
OpenAI
OpenAI published a paper showing an internal version of its next major model, Astra, resolved or made substantial progress on ten long-standing open problems spanning sphere-packing bounds, group theory (non-sofic groups), von Neumann algebras, arithmetic circuit complexity, lattice cryptography, and extremal combinatorics, releasing a 249-page manuscript with Lean-formalized machine-checkable proofs.
Why it matters
The results, generated for roughly $2,000 in compute, were reportedly judged publication-worthy by outside mathematicians (Fields medalist Timothy Gowers among them), suggesting frontier LLMs are starting to produce genuinely novel, verifiable mathematical research rather than just solving benchmark problems.
Importance: 3/5
Notable research finding from a frontier lab, official source plus 2 independent media confirmations; signals a major upcoming model (Astra) but not itself a product release.