#Lean proof assistant
Articles
Models
PSI says its research system, running a non-public Anthropic model, proved the Aaronson-Ambainis conjecture; the Lean-checked paper is not yet peer reviewed
PSI says a system with a non-public Anthropic model proved the Aaronson-Ambainis conjecture, checked in Lean. The claim is PSI's; no peer review yet.