AI system proves 18-year-old quantum computing conjecture with Lean verification
Physical Superintelligence says an internal research system running an unreleased Anthropic model produced a complete proof of the Aaronson-Ambainis conjecture, open since 2008, with a Lean proof assistant checking every step.
Read the full story at Business Insider AI ↗
Timeline · 4 reports
- 2026-11-08 00:38 · r/artificial
An AI system just proved an 18-year-old quantum conjecture — and Lean checked every step - 2026-11-07 08:02 · DEV Community — Machine Learning
Aaronson-Ambainis conjecture proved: an unreleased Anthropic model settles the 18-year-old quantum question, Lean-checked - 2026-11-07 03:13 · DEV Community — AI
An AI Proved an 18-Year-Old Math Conjecture in Three Days - 2026-11-07 00:49 · Business Insider AI
An unreleased Anthropic model just helped solve a major quantum-computing question