El avance de la inteligencia artificial ha dejado de limitarse a la generación de texto creativo o la síntesis de imágenes para adentrarse de lleno en las cimas más altas del pensamiento abstracto. Anthropic ha anunciado un progreso monumental y sin precedentes en la resolución de uno de los problemas matemáticos más antiguos, complejos e importantes de la historia de la ciencia: la hipótesis de Riemann.

Según la información compartida por el laboratorio de inteligencia artificial en su sitio web oficial, un modelo de investigación todavía no desplegado públicamente logró un avance sustancial en la fracción de ceros de la función zeta de Riemann. Formulada originalmente por el matemático alemán Bernhard Riemann en el año 1859, esta hipótesis sostiene que existe un patrón oculto, riguroso e infinitamente preciso detrás de la enigmática distribución de los números primos en la recta numérica.

Un Problema del Milenio valorado en un millón de dólares

La magnitud del reto no es menor. La hipótesis de Riemann está considerada formalmente como el problema no resuelto más importante de las matemáticas puras contemporáneas. Al formar parte selecta de los siete Problemas del Milenio designados por el Instituto Clay de Matemáticas, su demostración definitiva cuenta con un premio histórico de un millón de dólares para quien logre validar el teorema.

Aunque el modelo de Anthropic no llegó a demostrar por completo la hipótesis, sí consiguió un logro colosal: aumentar drásticamente la cota inferior conocida de ceros que satisfacen la hipótesis, elevándola del 41,6% al 67,2%. Esto representa un incremento sin precedentes de 25,6 puntos porcentuales en un terreno donde cada decimal se conquista tras décadas de esfuerzo humano.

"Un miembro del equipo de Anthropic, sin formación matemática especializada, desafió a Claude a resolver uno de los problemas más complejos de la historia tras 36 horas de trabajo autónomo."

36 horas de trabajo autónomo y 60 subagentes especializados

Lo más fascinante del hito no es solo el resultado matemático, sino la metodología empleada. Un miembro del equipo interno de Anthropic, que carecía de formación académica especializada en matemáticas avanzadas, le planteó a Claude el reto de abordar el problema. Le tomó a la inteligencia artificial un total de 36 horas de trabajo autónomo continuado.

Durante ese día y medio de intensa computación, el modelo probó de forma independiente 650 ideas distintas sin intervención humana directa, consumiendo aproximadamente 31 millones de tokens. Para lograrlo, desplegó una arquitectura coordinada de unos 60 subagentes especializados: dos enfocados exclusivamente en la generación de ideas matemáticas puras, 13 dedicados al apoyo conceptual, 30 explorando vías de resolución alternativas y otros 13 dedicados por completo a la verificación rigurosa de los argumentos generados.

Verificación computacional y el nuevo horizonte de la IA

Ante un hallazgo de semejante calibre, la cautela científica es indispensable. El descubrimiento obtenido por Claude fue confirmado internamente de manera independiente por dos matemáticos pertenecientes a la plantilla del laboratorio de IA, y posteriormente formalizado a través de Lean, un asistente de pruebas de código abierto diseñado para verificar computacionalmente la estricta validez de los teoremas matemáticos.

Este logro sin precedentes —alcanzado por un modelo que Anthropic mantiene todavía bajo llave— se suma a una serie de demostraciones recientes de las capacidades científicas de la IA, como la detección de fallos matemáticos en complejos algoritmos criptográficos mediante Claude Mythos Preview o los avances presentados por OpenAI con su modelo interno 'Astra'. La frontera entre la asistencia computacional y el descubrimiento matemático autónomo es, desde hoy, un poco más difusa.