OpenAI's Next Major Model Astra Solves 10 Long-Standing Math Problems
haider1 · x · 2026-08-01
OpenAI researcher Sébastien Bubeck revealed that an internal version of their next major model, Astra, has generated new results for 10 long-standing open problems in mathematics and theoretical computer science.
These problems had seen no central progress for at least a decade, with total inference costs estimated at just $2,000. The breakthroughs span various fields, including disproving Connes' Rigidity Conjecture, improving bounds for high-dimensional sphere packing, and advances in circuit complexity. OpenAI has released the 10 proofs complete with Lean certificates and chain-of-thought walkthroughs.
Related event: Rumored OpenAI Astra Model Solves 10 Major Math Problems(19 posts)→
More from Models
- DeepSeek V4F-0731 Underperforms on EQ-Bench v4: Does Heavy RL Hurt Model Personality? — xeophon · 2026-08-01
- AI Model Fable Attempts Mathematical Proofs for Its Discovered Laws — repligate · 2026-08-01
- Claude Pro Bug: Usage Limit Shows 100% in Fresh Incognito Mode — Worldly-Topic5179 · 2026-08-01
- Speechify's Simba 3.2 Tops Voice Leaderboard at 1/10th the Cost — PrajwalTomar_ · 2026-08-01
- Opinion: AI Video Processing Is Too Costly, Needs Native Vision Tools — JoelMahon · 2026-08-01
- Users Report Claude Becoming Cold and Clinical Due to Safety Limits — Alteregoj · 2026-08-01