OpenAI Solves 10 Major Math Problems for $2K Compute Cost Using Internal Astra
johnseach · x · 2026-08-01
OpenAI announced 10 major breakthroughs in mathematics and theoretical computer science. Using an internal version of their next-gen model (Astra), they solved long-stagnant open problems, including disproving Connes's rigidity conjecture and resolving Erdős conjectures.
The AI generated the core arguments, which humans then wrote up and formalized in Lean. The total compute cost was roughly $2,000. This marks a clear signal that frontier models are becoming genuine research collaborators in pure mathematics.
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