PSI Says AI System Produced Lean-Checked Proof of 2008 Quantum Conjecture

PSI says an internal system running a non-public Anthropic model proved the 2008 Aaronson-Ambainis conjecture in three days, and Lean accepted it. The Stanford team calls it "a huge result."