Report: OpenAI's Upcoming 'Astra' Model Solves 10 Major Math Problems
basedjensen · x · 2026-08-01
Microsoft researcher Sébastien Bubeck revealed that OpenAI's next major model, Astra, has achieved stunning breakthroughs in theoretical computer science and mathematics, successfully proving 10 significant open problems.
The results span multiple frontier domains, including:
- Algebra: Disproving Connes' Rigidity Conjecture
- Geometry: Better bounds for high-dimensional sphere packing
- Complexity: Proving NP-hardness of the Closest Vector and Nearest Codeword Problems for polynomial approximation factors for the first time via Reed-Solomon techniques.
The team has open-sourced the Lean certificates and Chain-of-Thought (CoT) walkthroughs for all 10 proofs.
Related event: OpenAI's Internal Model Astra Cracks 10 Major Math Problems(99 posts)→
More from Models
- Leaking deep residual vectors into early layers may fix state tracking in frozen LLMs, zero retraining — burny_tech · 2026-09-18
- Models know they're reward hacking in 50-96% of rollouts, Goodfire's activation monitors catch it in real time — burny_tech · 2026-09-18
- Qwen3.8-Omni-Flash cuts overlapping-speech error rate from 88% to 3% and drops audio API pricing 98% — karminski3 · 2026-09-18
- Qwen3.8-Omni-Flash: meeting ASR errors cut from 88% to 3%, API prices down 98% — karminski3 · 2026-09-18
- Gemini 3.8 live beats gpt-live-1 on some benchmarks, say insiders — bosmeny · 2026-09-18
- 105 planted bugs benchmark: Unbiased's Pareto scores 30.7 for just $4.81 — PawelHuryn · 2026-09-18