CoolingResearch
PSI says an AI system running a non-public Anthropic model proved the Aaronson-Ambainis conjecture
PSI says an internal research system, running instances of a non-public Anthropic model, proved the Aaronson-Ambainis conjecture, open since 2008, and that the Lean proof assistant accepted the proof. Jim Halverson audited it. The claim is PSI's own and not yet peer reviewed; Stanford's Guy Blanc and colleagues are reading it and call it "a huge result."
- HEAT
- OUTLETS
- 5
- FIRST SEEN
- LAST SIGNAL
Made the five · #3 on Saturday, November 7, 2026
PSI says its AI proved a 2008 quantum conjecture
Primary source
PSIpsi.inc/research/aaronson-ambainis/Coverage · 5 articles, oldest first
Friday, November 6, 2026