OpenAI's Unreleased Astra Model Solves 10 Decades-Old Math Problems
rohanpaul_ai · x · 2026-08-01
OpenAI's unreleased Astra model has achieved a major breakthrough in mathematics, successfully solving 10 problems that have remained open for decades.
The problems span multiple advanced fields including high-dimensional geometry, coding theory, operator algebras, quantum complexity, and lattice cryptography. The solving process was executed via the Sol API, costing roughly $2,000 in total (about $200 per question).
To ensure mathematical rigor, all AI-generated arguments were rebuilt and verified step-by-step using the Lean theorem prover, which only signs off when every step is fully justified.
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