Anthropic dice Claude formalizó el último teorema de Fermat en Lean
Anthropic dice Claude produjo una formalización completa y verificada por ordenador del Último Teorema de Fermat en 11 días, utilizando 13 millones de líneas de código Lean y decenas de miles de teoremas intermedios.