An unreleased Anthropic model just helped solve a major quantum-computing question
An unreleased Anthropic model helped solve a longstanding problem in quantum computing — another major math problem solved with AI.
Read the full story at Business Insider AI ↗
Timeline · 5 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