Anthropic anunció que Claude produjo la primera demostración del Último Teorema de Fermat verificable por computadora, escrita en el lenguaje Lean. El trabajo, de 13 millones de líneas de código, tomó apenas 11 días de agentes trabajando de forma autónoma.
