Google's Astra Model Solves Advanced Math, Disproves Conjecture
danintheory · x · 2026-08-02
Boaz Barak from Google revealed that their upcoming major model, Astra, has achieved significant breakthroughs in advanced mathematical reasoning. The model successfully proved several complex mathematical statements, most notably disproving Connes' Rigidity Conjecture in von Neumann algebras, and provided better bounds for high-dimensional sphere packing and circuit complexity.
Google has released 10 such proofs generated by Astra. To ensure rigor and verifiability, each proof includes Lean certificates (formal verification) along with detailed Chain-of-Thought (CoT) walkthroughs. Barak expressed excitement about how scientists and mathematicians will leverage these models in their research.
Related event: OpenAI's Internal Model Astra Cracks 10 Major Math Problems(99 posts)→
More from Models
- Grok Voice 3.0 tops speech-to-speech index, undercuts OpenAI on price — VectorWireAI · 2026-10-16
- Microsoft completes MAI-Base-2, a 2.8T-parameter MoE trained on 16k GB200 GPUs — VectorWireAI · 2026-10-16
- Gemini Pro users hit sudden usage paywalls: 100% daily limit despite 6% weekly — Strange-Plate581 · 2026-10-16
- Users report Gemini's memories can't actually be deleted even after wiping chat history — ThrowRA_Purpose2025 · 2026-10-16
- OpenAI stealth-testing mysterious internal model 'Aeon' in Codex desktop app and Dots — cedric_chee · 2026-10-16
- Argon edges out astra as daily driver, but Claude still wins heavy coding work — iruletheworldmo · 2026-10-16