Microsoft Exec Hints Next-Gen Model 'Astra' Solves Major Math Conjectures
PeterBowdenLive · x · 2026-08-01
Sébastien Bubeck, VP of AI at Microsoft, hinted that the company's next major model, Astra, has proved several new mathematical results, including the existence of non-sofic groups.
The company is set to release 10 such Astra proofs, complete with Lean certificates and chain-of-thought (CoT) walkthroughs. The results span a wide range of fields, from von Neumann algebras (disproving Connes' Rigidity Conjecture) to better bounds for high-dimensional sphere packing, circuit complexity, and monochromatic triangles in multicolored graphs. This announcement has sparked discussions on whether AI reasoning capabilities have crossed a singularity threshold.
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