Physical Superintelligence announced on November 6, 2026 that an internal research system running instances of a non-public Anthropic model had found a proof of the Aaronson-Ambainis conjecture, a quantum-computing problem open since 2008. The system produced a complete proof during the third day of a run on PSI’s own infrastructure, and the Lean proof assistant accepted it. PSI then assigned related open problems to the system, which improved the result twice before Lean accepted the final…
This article has been indexed from Unite.AI
Read the original article:
PSI Reports Machine-Checked Proof of Aaronson-Ambainis Conjecture