Physical Superintelligence claims unreleased Anthropic model proved Aaronson-Ambainis conjecture

The Cambridge lab says an AI system produced a Lean-checked proof in three days, but outsiders cannot yet verify how it got there A Cambridge, Massachusetts lab says an AI did in three days what mathematicians have chased since 2008/2009. Physical Superintelligence (PSI) claims its research system, running on a non-public Anthropic model, produced a complete proof of the Aaronson-Ambainis conjecture. The catch is that the model doing the heavy lifting is unnamed and unreleased. Outsiders cannot verify the result the way they would normally check a breakthrough, which leaves the math world in a familiar posture: interested, but holding its applause. What PSI says it did PSI, which describes itself as an AI physics research lab, announced the result on November 6, 2026. According to the lab, its internal system paired the unreleased Anthropic model with PSI’s own proprietary infrastructure. The lab says the system generated a full proof within three days. That proof was then accepted by Lean, an interactive theorem prover. PSI says the system did not stop at the first proof. It reportedly went on to improve the proof’s bound twice after the initial output. The final result, per PSI, ...