// AI
An AI system running an unreleased Anthropic model proved a quantum computing conjecture open since 2008
Physical Superintelligence says its system found a Lean-checked proof of the Aaronson-Ambainis conjecture on day three of a run, then improved the bound twice.