OpenAI: Astra Solves 10 Open Math Problems
Get the Finance newsletter
Daily finance — markets, central banks, M&A, the prints that move money. Free.
- OpenAI said an internal version of Astra, its next major model, produced solutions for 10 problems in mathematics, quantum complexity, and theoretical computer science
- OpenAI published two PDFs alongside the announcement: "Ten Advances in Mathematics and Theoretical Computer Science" and "How the Ideas Came Together" reasoning walkthroughs
- The Information reported OpenAI separately demoed the Astra model family to U.S. policymakers and regulators, touting its improved ability to complete long-running tasks
- Noam Brown of OpenAI described Astra as "a major step for scientific reasoning" in announcing the results on X
- Mathematician Thomas Bloom singled out the disproof of exponential bounds for the multicolour triangle Ramsey number as the most surprising of the ten results
- Itai Sher publicly criticized the release, arguing AI labs should publish the full set of attempted problems — not only the solved ones — to prevent cherry-picking
- Discussion spread across Hacker News, r/math, r/aiwars, r/Futurology, and r/technology, with Gary Marcus among skeptics raising concerns on X
Why it matters: The Information's Washington angle, overlooked by science-focused coverage, reframes Astra as a regulatory story as much as a research one — OpenAI showed U.S. policymakers the same capability it was announcing to mathematicians. With ten concrete proofs published in formal Lean format, regulators and mathematicians now have the same artifact to evaluate, raising the bar for what AI reasoning claims need to demonstrate to be taken seriously.
