Model Releases
It is funny that the Fermat's Last Theorem proof description, short as it is, still smells so much of Claude ('names each step and the Lean …
It is funny that the Fermat's Last Theorem proof description, short as it is, still smells so much of Claude ('names each step and the Lean Theorem that carries it'). Anthropic just uploaded a Lean 4
It is funny that the Fermat's Last Theorem proof description, short as it is, still smells so much of Claude ("names each step and the Lean Theorem that carries it"). Anthropic just uploaded a Lean 4 proof for Fermat's last Theorem https://github.com/anthropics/fermats-last-theorem
Related
Source: Ethan Mollick (X) | 2026-09-04