Mathematics

AI system proves an 18-year-old quantum computing conjecture, lab says

Physical Superintelligence says a system running an unreleased Anthropic model proved the 2008 Aaronson–Ambainis conjecture, and Lean checked it. Outside experts have yet…