OpenAI's Astra Model Solves 10 Open Math Problems, Disproving Connes' Rigidity Conjecture
GaryMarcus · x · 2026-08-05
OpenAI announced that Astra, its next major model, has solved 10 difficult open math problems, complete with Lean certificates and chain-of-thought walkthroughs.
The results span a wide range of mathematical fields, most notably disproving Connes' Rigidity Conjecture in von Neumann algebras. New bounds were also established for high-dimensional sphere packing, circuit complexity, and graph theory. However, researchers have noted some minor misstatements in OpenAI's official writeup.
Related event: OpenAI Releases Astra Mathematical Proofs and Reasoning Manuscripts(4 posts)→
More from Models
- Shanghai AI Lab unveils Intern Lumina U2, a diffusion LLM unifying image, video and 3D tasks — Shanghai-AI-Laboratory · 2026-10-16
- This Week in Tech breaks down Gemini 4, OpenAI's Dots agents, and Anthropic's leaked IPO filing — LouMM · 2026-10-16
- Meta releases 816B-parameter open-weight Muse Spark Open with 1M context for agentic coding — woosuk_k · 2026-10-16
- Sentry CEO Reveals $8,972 Claude Bill as Opus 'Scope Creeps' Through Team Workloads — zeeg · 2026-10-16
- Opus 5.5 wins: Anthropic reclaims token and spend share from OpenAI in 6 days — FinanceYF5 · 2026-10-16
- will.deeb: asking why a minor lab benchmarked against a 2-month-old frontier model is usually a stupid question — willcb · 2026-10-16