AI system running unreleased Anthropic model proves 18-year-old quantum conjecture
Physical Superintelligence says an internal research system running a non-public Anthropic model proved the Aaronson-Ambainis conjecture, open since 2008, in three days, with the proof formally verified in Lean.
Read the full story at Techmeme ↗
Timeline · 7 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) - 2026-11-06 16:07 · r/singularity
An unreleased Anthropic AI model reportedly solves an 18-year-old quantum computing conjecture in just 3 days. Researchers at Physical Superintelligence say the proof establishes a fundamental limit on quantum speedups and has been formally verified using Lean.