Microsoft Teases 'Astra' Model: Solves 10 Complex Math Conjectures with Lean Proofs
ctjlewis · x · 2026-08-01
Microsoft AI VP Sebastien Bubeck revealed their next major model, codenamed Astra, which has achieved significant breakthroughs in advanced mathematics, including disproving Connes' Rigidity Conjecture.
The team released 10 mathematical results proved by Astra, spanning von Neumann algebras, high-dimensional sphere packing, and circuit complexity. Each proof includes Lean certificates and Chain-of-Thought (CoT) walkthroughs. This rigorous theorem-proving capability offers a glimpse into the potential path toward superintelligence.
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