OpenAI's Astra Model Solves 10 Open Math Problems

This breaking-news item was generated by an AI system from the cited primary source and published automatically, without prior review by a person. It serves rapid situational awareness; the original publication is authoritative. Any images shown are AI-generated. More on AI transparency

An internal version of OpenAI's next model family, Astra, produced 10 new results on long-standing open problems in mathematics and theoretical computer science.

1 min read|agenticonsult Intelligence

OpenAI's Astra Model Solves 10 Open Math Problems

OpenAI says an internal version of Astra, its next major model family, produced 10 new results spanning sphere packing, coding theory, group theory, quantum complexity, lattice cryptography and extremal combinatorics — for roughly $2,000 worth of tokens at GPT-5.6 Sol API rates. OpenAI is releasing the manuscripts, formal Lean certificates and reasoning walkthroughs so mathematicians can verify and build on the work.

Why It Matters

OpenAI is framing this as evidence models can now generate genuinely new mathematical knowledge, not just solve known problems faster — a claim serious enough that outside mathematicians are already contesting parts of it.

Primary source

OpenAI