★ Featured Guide · News
The Aaronson-Ambainis conjecture, proposed in 2008, asks whether quantum computers can be exponentially faster than ordinary ones on random inputs. PSI says its research system, running non-public Anthropic model instances, produced a complete proof by the third day of a run, formalised and accepted in Lean, then improved it twice.
Nov 7, 2026
·
5 min read