PSI Says AI Proved a Quantum Conjecture in Formalized Lean

Physical Superintelligence says an unreleased Anthropic model produced a Lean 4 proof of the Aaronson–Ambainis conjecture. The Nov. 6 claim awaits peer review.