Research
PSI Reports Machine-Checked Proof of Aaronson-Ambainis Conjecture
Physical Superintelligence announced that an internal research system using a non-public Anthropic model proved the Aaronson-Ambainis conjecture, with the Lean…
Research
#Anthropic#proof assistant#quantum computing#research system#Announced