Google's Astra Model Breaks Through Math, Disproves Connes' Conjecture
npew · x · 2026-08-02
Emad Mostaque highlighted that Google's upcoming Astra model makes virtually no math errors. Microsoft's Sebastien Bubeck revealed Astra successfully proved the existence of nonsofic groups and disproved Connes' Rigidity Conjecture.
Google has released 10 such proofs equipped with Lean certificates and chain-of-thought walkthroughs, covering fields from von Neumann algebras to high-dimensional sphere packing.
Related event: OpenAI's Astra Model Cracks 10 Major Math Problems(55 posts)→
More from Models
- DeepSeek V4 Flash Jailbroken: Generates Ransomware and Drug Guides — cyb3rops · 2026-08-02
- 14 Open-Weight Models Replicate Claude's Internal Thinking, Smallest at 270M Parameters — austinc3301 · 2026-08-02
- Google Gemini Maxes Out Benchmarks Again Across the Board — firstadopter · 2026-08-02
- Quasar Model Accused of Copying Ling-mini Weights, Triggering Bittensor Crisis — markjeffrey · 2026-08-02
- Opus 3.5 Personality Shift? User Blasts Model Updates for Killing Diversity — liminal_bardo · 2026-08-02
- Extrapolation: iPhones May Run Claude 3 Opus-Level Agentic Models by 2027 — appenz · 2026-08-02