📅 Nov 7, 2026
A startup says its research system proved a quantum conjecture in 3 days — and a computer checker verified every step.
LexxWire
The Aaronson-Ambainis conjecture asks how much faster quantum computers can really be than ordinary ones.
LexxWire
PSI's system, running an unreleased Anthropic model, had a full proof by day three — then improved it twice.
LexxWire
Lean, a proof assistant, verified all 648 theorems. No step was left unproved, no extra assumption added.
LexxWire
No outside expert has checked it yet, and the paper is public on GitHub for anyone to test.
LexxWire
Thanks for reading!