November 6, 2026

Artificial Intelligence

• AI-assisted proof settles a 2008 conjecture on quantum speedups — PSI says its research system produced a Lean-checked proof of the Aaronson–Ambainis conjecture, a result limiting exponential quantum speedups on random inputs.