GPT-6 Codenamed Astra Breaks 10 Major Math Problems
mark_k · x · 2026-08-01
OpenAI's next major model, codenamed Astra (suspected GPT-6 series), has internally solved 10 major problems in math and theoretical computer science that have seen no progress for over a decade. Highlights include new upper bounds for high-dimensional sphere packing and the disproof of Connes' rigidity conjecture.
Humans prepared the manuscripts while Astra formalized the arguments in Lean. OpenAI is releasing the Lean certificates and the model's reasoning process, with an estimated total token cost of just $2,000. The model is positioned for long-running multi-agent work on hard problems.
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: 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
- Jason Wei's Stanford talk: intelligence is becoming a commodity as adaptive compute takes off — dotey · 2026-09-18