La IA acaba de resolver un problema matemático de 350 años al escribir la prueba más larga jamás vista

Anthropic dice que Claude pasó 11 días convirtiendo el Último Teorema de Fermat en 13 millones de líneas de código que una computadora puede verificar sola, sin necesidad de confiar en humanos