Microsoft Teases Next-Gen Astra Model With 10 Major Math Breakthroughs
ctjlewis · x · 2026-08-01
Microsoft AI VP Sebastien Bubeck revealed that their next major model, Astra, has achieved astonishing breakthroughs in advanced mathematical reasoning.
Astra has successfully proved several new mathematical theorems and disproven existing conjectures. The 10 upcoming proofs span a wide range of fields, including:
- Von Neumann algebras: Disproving Connes' Rigidity Conjecture
- High-dimensional sphere packing: Finding better bounds
- Circuit complexity and monochromatic triangles in multicolored graphs
Bubeck stated the team will release formal Lean certificates for these proofs alongside detailed Chain-of-Thought (CoT) walkthroughs. Early testers expressed amazement at the model's strength, predicting an 'avalanche' of AI-driven math discoveries.
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