El modelo de inteligencia artificial de Anthropic logra un avance significativo en la hipótesis de Riemann de 150 años

La hipótesis de Riemann, uno de los mayores problemas de las matemáticas que lleva más de 150 años esperando ser resuelto y que cuenta con un premio de 1 millón de dólares, ha entrado en el radar de la inteligencia artificial. Un modelo de inteligencia artificial desarrollado por Anthropic, que aún no ha sido lanzado al mercado, aunque no ha resuelto el problema por completo, ha logrado elevar significativamente el límite inferior conocido para las soluciones en las que se cumple la hipótesis.

SE UTILIZARON 650 IDEAS DIFERENTES Y 60 SUBAGENTES

El proceso comenzó cuando un empleado de Anthropic, sin formación matemática avanzada, pidió al modelo que demostrara la hipótesis de Riemann. El sistema, que trabajó ininterrumpidamente durante aproximadamente un día y medio, coordinó el trabajo estableciendo una red de colaboración masiva.

Durante el estudio, se generaron 31 millones de tokens de salida, se probaron 650 ideas de solución diferentes y participaron 60 agentes de inteligencia artificial secundarios. Mientras dos subagentes desarrollaban ideas matemáticas fundamentales, 13 agentes ofrecieron ideas de apoyo. Aunque 30 agentes intentaron generar nuevos argumentos, no tuvieron éxito. De los agentes restantes, 13 verificaron la exactitud de los argumentos producidos y los dos últimos se encargaron de convertir el trabajo en un artículo.

LOS RESULTADOS FUERON VERIFICADOS POR MATEMÁTICOS

Los hallazgos alcanzados por el modelo fueron examinados y aprobados por dos matemáticos humanos que trabajan en Anthropic. Los resultados obtenidos también se formalizaron utilizando Lean, el asistente de pruebas matemáticas de código abierto.

El premio de 1 millón de dólares, que se otorgará a quien pueda presentar una prueba general de la hipótesis de Riemann, la cual está directamente relacionada con la distribución de los números primos, sigue sin dueño.

EL PAPEL DE LA INTELIGENCIA ARTIFICIAL EN LAS MATEMÁTICAS GENERA DEBATE

Este paso de Anthropic ha reavivado los debates sobre el papel de los grandes modelos de lenguaje en la investigación científica y matemática. A principios de este año, se utilizaron diferentes sistemas de inteligencia artificial para resolver problemas de Erdős y el modelo interno Astra de OpenAI demostró con éxito 10 resultados matemáticos importantes. En otra investigación de Anthropic, se demostró que la conjetura jacobiana, largamente debatida, era falsa.

Este rápido ascenso de la inteligencia artificial en la investigación matemática ha dividido a los expertos en el campo. En un manifiesto publicado por destacados matemáticos en junio, se advirtió que la inteligencia artificial podría dañar los procesos de prueba tradicionales. En el manifiesto se subrayó la importancia de atribuir los descubrimientos matemáticos a los autores reales que asumen la responsabilidad y son reconocidos por sus logros.

Fuente de la noticia: 12punto