Report: Internal OpenAI Astra Solves 10 Major Math and Computer Science Problems
polynoamial · x · 2026-08-01
An internal version of Astra, OpenAI's next major model family, has reportedly solved 10 major open problems in mathematics, quantum complexity, and theoretical computer science, marking a significant leap in scientific reasoning.
Context from the quoted post reveals the model provided proofs for these problems, including new circuit lower bounds for computing the permanent, and mentions that GPT-5.6 has already enabled substantial work in math and science.
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