Anthropic, una conocida empresa de investigación de inteligencia artificial, reveló recientemente que su modelo de investigación Claude, que aún no se ha hecho público, ha logrado avances sustanciales en la resolución de uno de los problemas más famosos de las matemáticas: la "hipótesis de Riemann". En un ciclo de prueba de varios días realizado de forma autónoma, el modelo mejoró con éxito el límite inferior conocido de la proporción de ceros en la línea crítica de la función zeta de Riemann del 41,6% al 67,2%.

Según los informes, el modelo de investigación se ejecutó de forma independiente en el entorno de Claude Code y se consumió un total de 31 millones de tokens de salida en las dos fases de prueba. Antes de encontrar finalmente una solución viable, el modelo revisó y descartó 650 ideas fallidas, ejecutó 2400 instrucciones de Shell coordinando 60 subagentes y escribió cientos de scripts de Python. Luego, el equipo de Anthropic invitó a sus matemáticos internos Levent Alpöge y Ralph Furman a verificar rigurosamente los resultados de la inferencia y presentó los resultados a teóricos de números externos como Brian Conrey y Dan Goldston. Además, Eric Easley, miembro del equipo, ayudó a formalizar la demostración en el demostrador del teorema de Lean.

La Hipótesis de Riemann fue propuesta por el matemático alemán Bernhard Riemann en 1859. Ha sido incluida en el "Problema del Premio del Milenio" establecido por el Instituto de Matemáticas Clay, con una recompensa de hasta 1 millón de dólares estadounidenses. Los asistentes de IA de uso general han luchado durante mucho tiempo para hacer contribuciones originales a desafíos matemáticos tan profundos y de vanguardia. Esta vez, Claude logró este avance en la lógica matemática integrando los marcos de investigación existentes de muchos matemáticos como Baluyot, Goldston, Suriajaya, Turnage-Butterbaugh y Bombieri, combinados con la construcción del espacio funcional cuadrático inducido por Weil, y mediante el procesamiento simultáneo de espacios del estator positivos definidos y negativos y el uso razonable de formas cuadráticas no diagonales.

En la actualidad, Anthropic ha publicado artículos con anotaciones de expertos, registros de procesos detallados y pruebas completas que se pueden verificar en Lean, pero no ha mencionado si dichos mecanismos de colaboración de múltiples agentes y capacidades de razonamiento avanzado estarán abiertos al público en el futuro.

vía

cnBeta.COM - Sitio de información de la industria china

(autor:

Fuente: cnBeta.COM

)