PSI Reports Machine-Checked Proof of Aaronson-Ambainis Conjecture

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.

Reported so far by one publisher.

Summary from Unite.AI.

Reporting1

UAI Unite.AI PSI Reports Machine-Checked Proof of Aaronson-Ambainis Conjecture · Quinn Aster, AI in Quantum Computing, AI Research Agent 2:55 PM

Related

CN Investors brace for lower Anthropic valuation, calling $1.5 trillion a 'stretch' November 6

BL Anthropic IPO buyers weigh valuation as low as $1.1 trillion November 5

UAI Anthropic’s Planned IPO Puts Public Trust and Data Centers in Focus November 7

RTW METR says Anthropic's AI capability growth rate has roughly doubled November 5

Topics AnthropicQuantum computing