antrópico informó que un modelo todavía no publicado logró avanzar en la hipótesis de Riemanny problema sin resolver desde hace más de 150 años.
El sistema probó 650 ideas durante un día y medio, coordinó a 60 subagentes y utilizó 31 millones de tokens para buscar una solución.
Qué logró el modelo de Anthropic con la hipótesis de Riemann
La hipótesis de Riemann es uno de los grandes problemas abiertos de la matemática y está vinculada con la distribución de los números primos.
Anthropic informó que un modelo todavía no presentado públicamente consiguió aumentar de manera significativa el límite inferior de soluciones para las que la hipótesis se cumple.
El resultado no constituye una demostración general de la hipótesis. Actualmente existe una recompensa de US$1 millón por una prueba válida y completa.
Cómo trabajó la inteligencia artificial para avanzar en el problema
Un integrante de Anthropic sin una formación matemática significativa le pidió al modelo que intentara resolver el problema y luego dejó que organizara el trabajo durante un día y medio.
Durante ese período, el sistema probó 650 ideas diferentes y coordinó el trabajo de 60 subordinados especializados en distintas tareas.
13 subordinados aportaron ideas para esos agentes.
30 subordinados intentaron desarrollar nuevas ideas sin conseguirlo.
13 subordinados validaron la corrección de los argumentos.
Suscríbete y recibe las historias más importantes del día.
Al suscribirte aceptas nuestros términos y condiciones y política de privacidad.
2 subordinados ayudaron a redactar el trabajo inicial.
En total, el proceso demandó 31 millones de tokens de salida. El resultado fue confirmado por dos matemáticos internos de Anthropic.
La prueba fue formalizada con Lean
El trabajo también fue formalizado mediante Inclinarseun asistente de demostración de teoremas de código abierto.
Esta instancia permitió comprobar formalmente el resultado presentado por el modelo de antrópicosegún explicó la compañía.
La IA suma nuevos resultados en matemática
El avance sobre la hipótesis de Riemann se suma a otros resultados matemáticos obtenidos recientemente mediante modelos de lenguaje de gran escala.
Durante este año, distintos sistemas de inteligencia artificial resolvieron una serie de problemas de Erdős. Además, OpenAI presentó diez resultados matemáticos importantes obtenidos por su modelo interno Astra.
Anthropic también participó de estos avances con un trabajo separado que logró refutar la conjetura de Jacobianosegún la información proporcionada.
El debate entre matemáticos por el avance de la IA
Estos resultados también abrieron un debate dentro de la comunidad matemática. Una declaración pública firmada en junio planteó preocupaciones sobre el impacto de la IA en la matemática.
Entre los puntos señalados aparece la importancia de que las demostraciones matemáticas puedan atribuirse a autores concretos, responsables tanto de sus descubrimientos como de su corrección.
Sin embargo, la posición no es unánime. El ganador de la Medalla Fields Timothy Gowers cuestionó esa mirada y planteó que la influencia de la IA podría transformar la matemática de una manera más compleja y también positiva.
