OpenAI's Astra model solves 10 open math problems
Get the Finance newsletter
Daily finance — markets, central banks, M&A, the prints that move money. Free.
- OpenAI announced an internal version of Astra, its next major model family, solved 10 open problems in mathematics, quantum complexity, and theoretical computer science, publishing the paper and reasoning walkthroughs on openai.com
- The Information reported OpenAI demoed a new "Astra" model family to US policymakers and regulators, with sources highlighting improved abilities to complete long-running tasks
- Mathematician Thomas Bloom identified the disproof of exponential bounds for the multicolour triangle Ramsey number as the most surprising result, saying the argument "looks quite short"
- Researcher Itai Sher flagged a methodological concern, arguing AI math solution releases should publish the full set of attempted problems rather than selectively reporting only positive results
- Coverage and discussion spread across The Decoder, Simon Willison's Weblog, Implicator.ai, RuntimeWire, Hacker News, and Reddit communities including r/math, r/Futurology, r/accelerate, r/aiwars, and r/slatestarcodex
- OpenAI framed the release as a step toward empowering scientists, with Noam Brown (posting as @polynoamial) calling it "a major step for scientific reasoning"
Why it matters: With Astra demoed to US policymakers and framed around long-running task completion, OpenAI is positioning its next model as a tool for scientific discovery — a narrative that will shape regulatory conversations. Researchers like Itai Sher are already pushing back on selective reporting, a credibility risk before Astra ships publicly.
