PSI Reports Machine-Checked Proof of Aaronson-Ambainis Conjecture
AI-generated summary Physical Superintelligence announced on November 6, 2026 that an internal research system running instances of a non-public Anthropic model found a proof of the Aaronson-Ambainis conjecture. Physical Superintelligence says the system produced a complete proof during a run on its infrastructure, and the Lean proof assistant accepted it.