PSI Announces Machine-Checked Proof of Aaronson-Ambainis Conjecture

Physical Superintelligence (PSI) announced on November 6, 2026, that its internal research system, utilizing a non-public Anthropic model, has found a machine-checked proof of the Aaronson-Ambainis conjecture. This development pertains to a significant problem in quantum computing, marking a notable advancement in the field.

Originally published by gnews