FreeArticle
Research & Papers
ContextVendor researchPromotionalA proof of the Aaronson–Ambainis conjecture
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.
#physical-superintelligence#quantum-computing#formal-proof#ai-for-science