Physical Superintelligence Says Its System Proved the Aaronson-Ambainis Conjecture

Physical Superintelligence says an internal research system proved the Aaronson-Ambainis conjecture using a non-public Anthropic model, with Lean accepting the proof on the run's third day. David Turturean led the work. The theorem limits exponential quantum speedup on random inputs.

• The system improves the result twice after the first proof, and Lean accepts the final version, PSI says.
• Stanford's Guy Blanc, Jordan Docter, Carmen Strassle and Li-Yang Tan call the proof "a huge result" and plan a shorter exposition.
• The proof's new inequality gives some bit influence of at least (v/d)^7, with constant c near 0.0025.