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
- Gemini 4 Carbon Review: Stronger Coder Than Argon, but Fable 5.2 Raised the Bar — every · 2026-11-14
- Gemini 4 Krypton reportedly hits Opus 5.5-level performance — feblet · 2026-11-14
- Nathan Lambert: Jensen Huang's exit is a decapitation for Nvidia's open-model bet — natolambert · 2026-11-14
- Leak: Google 'krypton' model coming next week, Fable 5.2-level but cheaper — imjustnewatai · 2026-11-14
- OpenAI dissolves robotics team again as GPT-6 Astra can control robots directly — The Decoder · 2026-11-14
- Users report Sol 6.1 has become 'incredibly stupid' lately, making rookie mistakes — graham_dev · 2026-11-14