Microsoft Teases Astra Model: Proves 10 Major Math Theorems
ctjlewis · x · 2026-08-01
Microsoft AI VP Sebastien Bubeck teased Astra, their next major model, highlighting its breakthrough capabilities in pure mathematics.
The team is releasing 10 mathematical results proved by Astra, complete with Lean certificates and Chain-of-Thought walkthroughs. The results span various advanced fields, including:
- Disproving Connes' Rigidity Conjecture (von Neumann algebras)
- Better bounds for high-dimensional sphere packing
- New findings in circuit complexity and monochromatic triangles in multicolored graphs.
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