Microsoft Teases Next Major Model 'Astra' With 10 Breakthrough Math Proofs
willdepue · x · 2026-08-01
Microsoft AI VP Sebastien Bubeck revealed that their next major model, Astra, has achieved significant breakthroughs in mathematical reasoning, proving new results such as the existence of nonsofic groups.
The company is releasing 10 mathematical proofs generated by Astra, ranging from von Neumann algebras (disproving Connes' Rigidity Conjecture) to better bounds for high-dimensional sphere packing. Each proof includes Lean certificates for formal verification and detailed chain-of-thought walkthroughs.
Related event: OpenAI's Internal Model Astra Cracks 10 Major Math Problems(99 posts)→
More from Models
- GPT-6 Astra beats Factorio: Space Age after 165+ hours of in-game time — aran_nayebi · 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
- GPT-6-Astra beats Fable-5.1 at RollerCoaster Tycoon 2 in 3 hours, using 5x fewer tokens — scaling01 · 2026-09-18