AI System Proves 18-Year-Old Quantum Conjecture in Three Days, Lab Says
Physical Superintelligence says a research system running an unreleased Anthropic model settled the Aaronson-Ambainis conjecture, open since 2008 — but the proof has not yet been peer-reviewed.