Get Zlio on your home screen
One tap, full screen, like an app.
A machine-checked proof of a known conjecture would mark a notable AI math milestone.
Physical Superintelligence says a system using a non-public Anthropic model produced a Lean-accepted, machine-checked proof of the Aaronson-Ambainis conjecture.