AI Proves 18-Year-Old Aaronson-Ambainis Conjecture in Three Days

Physical Superintelligence announced its research system, running an unreleased Anthropic model, produced a complete Lean-verified proof of the Aaronson-Ambainis conjecture—an open quantum complexity question since 2008—in just three days, prompting calls to open the model to outsiders.

2026-11-06 ~ 2026-11-07 · 4 related posts

• PSI claims AI system produced a Lean-verified proof of the Aaronson-Ambainis conjecture — inductionheads · 2026-11-06
• Unreleased Anthropic model reportedly proves 18-year-old quantum conjecture in 3 days — 141_1337 · 2026-11-07

2 near-duplicate retellings: Pyros-SD-Models · rickasaurus