Anthropic anunció el lunes que un modelo de inteligencia artificial aún sin distribuir logró un progreso significativo en la hipótesis de Riemann, uno de los problemas sin resolver más antiguos de las matemáticas, con una recompensa de un millón de dólares por una demostración general. El avance amplió de forma notable el límite inferior de las soluciones para las que la hipótesis se cumple.
El resultado se obtuvo tras una jornada y media de trabajo autónomo: un empleado de Anthropic sin formación matemática avanzada pidió al modelo que "lo intentara de verdad" y lo dejó coordinarse por sí solo. El sistema probó 650 ideas distintas, organizó 60 subagentes y consumió 31 millones de tokens. Dos de esos subagentes desarrollaron las ideas matemáticas clave; 13 aportaron propuestas, 30 intentaron sin éxito generar nuevas líneas, 13 actuaron como validadores y dos redactaron el artículo inicial.
La investigación fue confirmada por dos matemáticos de la plantilla de Anthropic y formalizada con el asistente de pruebas de código abierto Lean. El hallazgo se suma a una serie de logros recientes de modelos de lenguaje en matemáticas: varios problemas de Erdős se resolvieron con IA este año, OpenAI presentó diez resultados de su modelo interno Astra y Anthropic refutó la conjetura del Jacobiano.
El avance reaviva el debate sobre el papel de la IA en la disciplina. En junio, un grupo de matemáticos firmó la Declaración de Leiden, que advierte del riesgo de que los modelos debiliten la atribución personal de las pruebas. El medallista Fields Timothy Gowers respondió que quizá un mundo sin teoremas asociados a nombres no sea más problemático que un cielo sin estrellas bautizadas.