AI system running unreleased Anthropic model proves 2008 quantum computing conjecture
PSI says an internal research system running instances of a non-public Anthropic model produced a proof of the Aaronson-Ambainis conjecture, open since 2008, with every step verified by a Lean proof assistant.
Read the full story at Techmeme ↗
Timeline · 6 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 - 2026-11-06 19:55 · Unite.AI
PSI Reports Machine-Checked Proof of Aaronson-Ambainis Conjecture - 2026-11-06 19:35 · Techmeme
AI physics startup PSI says a system running a non-public Anthropic model proved the Aaronson-Ambainis conjecture, a quantum computing question open since 2008 (PSI)