Physical Superintelligence says its AI system proved the Aaronson-Ambainis conjecture

Led by PSI technical staffer David Turturean, the system used a non-public Anthropic model and produced a proof that Lean accepted on the third day of the run.

RuntimeWire · 2026-11-06T16:40:14.050Z