Microsoft's Astra Model Proves Non-Sofic Groups Exist, Achieves Narrow Superintelligence in Math
josh_wills · x · 2026-08-02
Microsoft core researcher Sebastien Bubeck revealed that their next major model, Astra, has achieved "narrow superintelligence" in discrete mathematics, successfully proving the existence of non-sofic groups.
The team released 10 mathematical proofs generated by Astra, covering fields from von Neumann algebras (disproving Connes' Rigidity Conjecture) to better bounds for high-dimensional sphere packing and circuit complexity. All proofs include Lean certificates and Chain-of-Thought walkthroughs.
Commenters noted that while models now exceed PhD levels in some areas, they still fall short in others, suggesting that AI progress heavily depends on verifiability.
More from Models
- Run Kimi K3 for Free: Tokenrouter Offers 50M Free Tokens with 2-Minute Setup — dr_cintas · 2026-08-02
- GPT 5.6 Luna Price Drops 80%, Becoming Top Choice for Plus Users — Glxblt76 · 2026-08-02
- Beyond Benchmarks: Speed and Cost Dictate Agent Survival in Production — RachelVT42 · 2026-08-02
- TokenRouter Offers 50M Free Tokens for Kimi K3 API Access — dr_cintas · 2026-08-02
- Agent Executor Showdown: GLM-5.2 for Decisions, Ling-3.0 for Compliance — derspenti · 2026-08-02
- User Complaints: DeepSeek Ignores Rule Prompts, Falls Behind Qwen in Practice — Juulk9087 · 2026-08-02