OpenAI says unreleased Astra model solved 10 open math problems
The lab released a 249-page paper, reasoning transcripts and Lean certificates for claims spanning geometry, cryptography and quantum complexity.
By Ryan Merket · Published
Primary source: Noam Brown on X
Why it matters
Astra gives OpenAI its clearest evidence that frontier models may generate auditable research results, opening a market for AI systems sold as discovery infrastructure.
OpenAI said on August 1st that an internal version of Astra, its next major model, produced new results for 10 longstanding problems in mathematics and theoretical computer science, a claim that pushes the frontier AI contest beyond benchmark scores and into work that can be inspected by research mathematicians.…
When you purchase through links in our articles, we may earn a small commission. This doesn’t affect our editorial independence.