Claude, la IA de Anthropic, demostró el Último Teorema de Fermat en solo 11 días, escribiendo una prueba de 13 millones de líneas — un trabajo que desconcertó a los humanos durante 358 años.
Una inteligencia artificial hizo en 11 días lo que los matemáticos no pudieron terminar en años. Anthropic (una empresa que construye sistemas de IA) dice que su IA, llamada Claude, produjo la prueba matemática más larga jamás escrita — y la usó para finalmente resolver un enigma que desconcertó a los expertos durante 358 años.
El enigma se llama Último Teorema de Fermat. En 1637, un matemático llamado Pierre de Fermat escribió una afirmación en el margen de un libro, diciendo que tenía una