OpenAI Unveils Astra After AI Solves 10 Unsolved Math Problems for About $2,000
Updated
Updated · THE DECODER · Aug 1
OpenAI Unveils Astra After AI Solves 10 Unsolved Math Problems for About $2,000
3 articles · Updated · THE DECODER · Aug 1
Summary
OpenAI formally named its next major model family Astra after releasing a report saying an internal version solved 10 open problems in mathematics and theoretical computer science.
Those problems had resisted progress for at least a decade, and one proof established the existence of non-sofic groups, resolving a major question in group theory.
OpenAI said the tokens used to generate all 10 solutions would have cost about $2,000 at Sol API rates; humans then worked with the model to turn the arguments into papers.
The company also formalized each proof in Lean and published reasoning walkthroughs, while saying the mathematical arguments came from Astra and should not be credited as human-authored work.
Astra is being tested as a long-running, multi-agent system for tasks lasting hours or days and is expected to be the first model reviewed under a planned U.S. pre-release approval framework.
Did OpenAI's model truly invent new mathematics, or merely stitch together the unverified theories of past human geniuses?
If a $2,000 AI run can solve decade-old math mysteries, what happens to the future of human scientific research?
Will Astra's new cryptographic discoveries force an immediate global overhaul of our most secure post-quantum encryption systems?
OpenAI Astra Solves 10 Landmark Math Problems: Verified AI Breakthroughs and the New Era of Mathematical Discovery
Overview
OpenAI’s Astra model marks a new era in AI-driven mathematics by combining a collaborative, multi-agent architecture with a rigorous, transparent verification pipeline. After past controversies over unverified AI claims, OpenAI now ensures that Astra’s mathematical proofs are formalized in Lean and openly published, allowing the community to trace every logical step. This approach not only advances fields like post-quantum cryptography and quantum computing but also democratizes access for researchers worldwide. By releasing Astra’s narrated reasoning, OpenAI transforms static proofs into interactive learning tools, fostering trust and deeper engagement across the global scientific community.