A proof of the Aaronson–Ambainis conjecture

What it is

PSI reports that its internal research system, using a non-public Anthropic model, produced a proof of the Aaronson–Ambainis conjecture and a Lean formalization. The announcement explains the claimed implications for quantum query speedups and links to a paper and proof repository.

Why I recommend it

PSI's own announcement; mathematical correctness and peer-review status were not independently verified. The underlying research system and Anthropic model are non-public.

Topics

#physical-superintelligence #quantum-computing #formal-proof #ai-for-science

Added Nov 9, 2026 · 0 opens