El enigma matemático de casi cuatro siglos que una IA acaba de sellar para siempre con trece millones de líneas de código
Un prototipo de Claude logró traducir la titánica demostración del último teorema de Fermat a trece millones de líneas de código informático verificadas a prueba de fallos. El logro pulverizó una tarea humana calculada en diez años y desató un terremoto sobre cómo validaremos la verdad científica de acá en adelante.
Continúa leyendo «El enigma matemático de casi cuatro siglos que una IA acaba de sellar para siempre con trece millones de líneas de código»