The Aaronson-Ambainis Conjecture, a significant problem in quantum computing theory, has reportedly been proven by the startup Physical Superintelligence. This conjecture, posed in 2009, has implications for the separation of quantum and classical query complexity. The proof was allegedly achieved using a proprietary research harness on an internal Claude model, with David Turturean and Jim Halverson leading the effort at Physical Superintelligence. The proof has been verified by human experts and includes a Lean certificate. AI
IMPACT This proof could advance understanding of quantum computing's potential advantages over classical computation.
RANK_REASON The cluster reports on the proof of a significant conjecture in theoretical computer science and quantum computing, involving AI as a tool. [lever_c_demoted from research: ic=1 ai=1.0]
Read on Mastodon — mastodon.social →
- Aaronson-Ambainis Conjecture
- Andris Ambainis
- Beals
- Carmen Strassle
- Claude
- David Turturean
- Guy Blanc
- Jim Halverson
- Jordan Docter
- Lance Fortnow
- Li-Yang Tan
- Physical Superintelligence
- Rogers
- Scott Aaronson
AI-generated summary · Google Gemini · from 1 sources. How we write summaries →
