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.
TL;DR
- Physical Superintelligence Inc. (PSI) used an unreleased Anthropic model to prove the Aaronson-Ambainis conjecture.
- The conjecture, open since 2008, concerns when quantum computers can outperform classical computers.
- The AI system proved the conjecture in three days, resolving a fundamental question in quantum computing.
- This follows other AI-assisted mathematical breakthroughs, such as OpenAI's work on the Navier-Stokes equations.
- AI's impact is causing mathematicians to reconsider the future of their field and research motivation.
- The proof suggests quantum computing's exponential advantages require specific patterns and imply limitations.
- Researchers have called the proof a 'huge result' that resolves a decades-old question.