Claimed proof of Aaronson-Ambainis conjecture would mean quantum speedup is only polynomial in general

CatAstro_Piyush · x · 2026-11-07

Physical Superintelligence PBC has announced a proof of the Aaronson-Ambainis conjecture, a central open problem in quantum complexity theory. As commentators note, if the proof holds, quantum computers are only polynomially faster than classical computers for general problems — Shor's algorithm is an exception, not the rule. Awaiting verification through peer review.

Related event: PSI's AI System Proves 18-Year-Open Aaronson-Ambainis Conjecture in Three Days(14 posts)→

Original post →

More from Research

Research channel →