La IA acaba de resolver un problema matemático de 350 años escribiendo la demostración más larga jamás realizada
La IA acaba de resolver un problema matemático de 350 años escribiendo la demostración más larga jamás realizada
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 por sí misma, sin necesidad de confiar en un humano