Startup PSI Uses Anthropic's Fable 5.2 to Prove 18-Year-Old Quantum Computing Conjecture
Physical Superintelligence (PSI) used early access to Anthropic's Fable 5.2 to prove the Aaronson-Ambainis conjecture, a central open problem in quantum query complexity, and verified the proof in Lean. PSI builds specia...
Risk:
[+0.03 pp]
[1 day sooner]
AGI:
[+0.04 pp]
[1 day sooner]