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

Resumen en 60 palabras

La IA Claude de Anthropic pasa once días generando una prueba de 13 millones de líneas para el Último Teorema de Fermat, la prueba verificada por computadora más larga de la historia. El sistema escribe código que se verifica a sí mismo sin supervisión humana, demostrando razonamiento matemático autónomo. Este avance muestra el potencial de la IA para abordar problemas complejos y no resueltos, probablemente acelerando los procesos de investigación y atrayendo una mayor inversión en descubrimientos científicos impulsados por IA.