
ModelsLead story
PSI says a non-public Anthropic model proved the 2008 Aaronson-Ambainis conjecture
The Physical Superintelligence system had a complete, Lean-checked proof on day three of its run, and Stanford researchers are now reviewing it.
Jaeden SchaferEditor in Chief4 min read

