OpenAI's Next-Gen Astra Model Solves 10 Open Math Problems
polynoamial · x · 2026-08-01
An OpenAI researcher revealed that their next major model, Astra, has achieved significant breakthroughs in mathematics and theoretical computer science. The model successfully found new proofs for 10 long-standing open problems, including new circuit lower bounds for computing the permanent.
According to the post, this incredible work was completed by the team and the model in just one week. The researcher highlighted how the next generation of models will remarkably accelerate research and breathe new life into old problems.
Related event: OpenAI's Internal Model Astra Cracks 10 Major Math Problems(99 posts)→
More from Models
- Gemini 4 Carbon Review: Stronger Coder Than Argon, but Fable 5.2 Raised the Bar — every · 2026-11-14
- Gemini 4 Krypton reportedly hits Opus 5.5-level performance — feblet · 2026-11-14
- Nathan Lambert: Jensen Huang's exit is a decapitation for Nvidia's open-model bet — natolambert · 2026-11-14
- Leak: Google 'krypton' model coming next week, Fable 5.2-level but cheaper — imjustnewatai · 2026-11-14
- OpenAI dissolves robotics team again as GPT-6 Astra can control robots directly — The Decoder · 2026-11-14
- Users report Sol 6.1 has become 'incredibly stupid' lately, making rookie mistakes — graham_dev · 2026-11-14