WHAT ARE YOU LOOKING FOR?
Popular Tags
Una IA logra un avance histórico en las matemáticas
Un modelo de IA de Anthropic aún sin desplegar logra un avance sin precedentes en la hipótesis de Riemann tras 36 horas de trabajo autónomo continuado.
Anthropic anunció el domingo pasado que un modelo que todavía no ha desplegado ha sido capaz de lograr un progreso significativo en la hipótesis de Riemann, uno de los problemas matemáticos sin resolver más antiguos e importantes de la historia.
El laboratorio de Inteligencia Artificial (IA) ha compartido los detalles del avance obtenido por el modelo de IA de investigación sobre la fracción de ceros de la función zeta de Riemann.
La hipótesis de Riemann, formulada por el matemático alemán Bernhard Riemann en 1859, sostiene que hay un patrón oculto e infinitamente preciso detrás de la distribución de los números primos. Está considerada como el problema no resuelto más importante de las matemáticas puras, y al ser uno de los siete Problemas del Milenio del Instituto Clay, cuenta con un premio de un millón de dólares para quien logre demostrar la hipótesis.
El modelo no demostró la hipótesis de Riemann, aunque sí logró aumentar la cota inferior conocida de ceros que satisfacen la hipótesis, al pasar del 41,6 al 67,2 %, lo que supone un incremento sin precedentes de 25,6 puntos porcentuales.
36 horas de trabajo autónomo de Claude
Un miembro del equipo de Anthropic, sin formación matemática especializada, le planteó a Claude resolver uno de los problemas más famosos de las matemáticas, una tarea que le llevó a la IA de Anthropic 36 horas de trabajo autónomo continuado.
Durante el día y medio, Claude probó 650 ideas distintas sin éxito, consumió alrededor de 31 millones de tokens y desplegó una red de unos 60 subagentes especializados. Según informó Anthropic, dos se encargaron de la generación de ideas matemáticas, 13 del apoyo conceptual, 30 para explorar nuevas vías y 13 dedicados totalmente a la verificación de los argumentos.
El hallazgo de Claude fue confirmado internamente por dos matemáticos del laboratorio de IA y formalizado en Lean, un asistente de pruebas de código abierto que verifica computacionalmente la validez de los teoremas.
Este hito, alcanzado por un modelo que Anthropic todavía no ha publicado, llega poco después de que el mismo laboratorio de IA hallara fallos matemáticos en algoritmos criptográficos con Claude Mythos Preview, o de que OpenAI publicase una serie de problemas resueltos por su modelo interno 'Astra'.
Escribe un comentario
Participa en la conversación con respeto. Tu comentario se publicará automáticamente, aunque podrá ser retirado por la redacción.
Comentarios (0)