An Unreleased Anthropic Model Just Cracked an 18-Year-Old Quantum Computing Puzzle — Here’s Why That Matters
Reading Time: 5 minutesA startup called Physical Superintelligence claims an unreleased Anthropic AI model proved the 18-year-old Aaronson-Ambainis conjecture in three days, with the proof formally verified by the Lean tool. The result sets mathematical limits on quantum advantage over classical computers for unstructured problems, while raising new questions about AI’s role in frontier research.