La hipótesis de Riemann, uno de los desafíos matemáticos más complejos planteados en 1859, sigue sin resolverse. Sin embargo, un experimento reciente de Anthropic con una versión experimental de Claude ha arrojado resultados sorprendentes: aunque la IA no logró demostrar la hipótesis principal, consiguió un avance significativo en uno de sus resultados derivados.
Persistencia y capacidad de procesamiento
El proceso comenzó cuando Jarred Sumner, empleado de Anthropic, instó al modelo a trabajar en el problema. Tras 650 intentos fallidos iniciales, Sumner mantuvo la instrucción de continuar. Durante día y medio, la IA generó cientos de scripts en Python y ejecutó comprobaciones numéricas masivas, consumiendo un total de 31 millones de tokens de salida.
Gracias a esta persistencia, dos subagentes de Claude lograron elevar el límite conocido de un resultado derivado de la hipótesis del 41,6% al 67,2%. Para alcanzar este hito, la IA conectó investigaciones previas de diversos matemáticos, identificando combinaciones de herramientas que habían pasado desapercibidas para los expertos humanos hasta la fecha.
Validación del hallazgo
Tras obtener el resultado, el sistema realizó un proceso de verificación automática: buscó contraejemplos, consultó 54 estudios en la plataforma arXiv para asegurar la originalidad de la idea y procedió a realizar una demostración desde cero. Posteriormente, matemáticos de Anthropic validaron la prueba utilizando la herramienta de verificación Lean.
Este caso subraya una capacidad emergente de los modelos de inteligencia artificial: aunque no poseen una genialidad creativa superior, su facultad para realizar búsquedas exhaustivas en vastas bases de literatura científica les permite detectar conexiones lógicas que los investigadores humanos no habían logrado vincular, consolidándose como una herramienta de apoyo crítico en la investigación matemática.
!Advertencia! Tenemos problemas...
Debes iniciar sesión para poder comentar.. Iniciar sesión o Registrarme