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.
More from Models
- Hands-on with Latest Coding Models: GPT-5.6 Regresses, Grok-4.5 Wins — sergeykarayev · 2026-08-05
- NVIDIA Open-Sources Alpamayo 2 Reasoning Model for Autonomous Driving — CodeByPoonam · 2026-08-05
- AI Coding Trend: Shifting from the Best Model to Task-Specific Matching — ingliguori · 2026-08-05
- LiquidAI Releases LFM2.5-2.6B Edge Model — LiquidAI · 2026-08-05
- shadcn: I'd Trade Benchmark Points for Half the Latency — shadcn · 2026-08-05
- Rumor: SSI Developing Online Learning, GPT-6 Expected This Month — flowersslop · 2026-08-05