AnalysisScienceNovember 6, 2026

Unreleased Anthropic model proves Aaronson-Ambainis conjecture

Read original source →x.com

Physical Superintelligence says its research system used a non-public Anthropic model to prove the Aaronson-Ambainis conjecture, open since 2008, in three days. The proof, formally verified in Lean, establishes a fundamental limit on quantum speedups.

3 sources

More stories today

Open the live feed