¿Qué ocurre cuando una máquina recibe una pregunta que ha resistido a generaciones de matemáticos? La respuesta no es una fórmula mágica, pero sí un nuevo engranaje: una inteligencia artificial puede ordenar miles de intentos, detectar pistas y avanzar donde una sola persona tardaría años en revisar caminos.
Anthropic reveló que un modelo todavía no publicado logró un avance significativo sobre la hipótesis de Riemann, uno de los problemas más célebres de las matemáticas desde hace más de 150 años. El hallazgo no resuelve el enigma, pero elevó de forma considerable la cota inferior de los casos en que la hipótesis se cumple.
La hipótesis estudia la distribución de los números primos, esos números que solo pueden dividirse por uno y por sí mismos. Una demostración general válida todavía tiene pendiente una recompensa de un millón de dólares: https://www.claymath.org/millennium/riemann-hypothesis/.
El trabajo comenzó de una forma poco habitual. Un empleado de Anthropic, sin formación matemática relevante, pidió al sistema que intentara probar la hipótesis y dejó que coordinara la investigación durante cerca de un día y medio.
También te puede interesar:El Próximo Modelo de Anthropic podría anunciarse en las próximas semanasUna oficina con 60 investigadores digitales
La clave está en imaginar una oficina llena de pizarras. En lugar de un único matemático frente a un problema inmenso, el modelo distribuyó tareas entre 60 subagentes, programas que asumen misiones específicas dentro de un mismo trabajo.
La IA funcionó como una central eléctrica: repartió energía entre muchas líneas, cortó las que no llevaban a ninguna parte y reforzó las dos que encendieron la idea principal. El sistema evaluó 650 caminos matemáticos distintos antes de concentrarse en los más prometedores.
Dos subagentes desarrollaron las ideas fundamentales. Trece les aportaron sugerencias, mientras otros 30 intentaron construir enfoques nuevos sin éxito. Ese detalle también importa: en matemáticas, los callejones sin salida son parte del mecanismo que permite descartar errores.
Además, 13 agentes actuaron como validadores. Su función fue comprobar cada argumento, como quien revisa el cableado de una casa antes de conectar la luz. Los dos restantes ayudaron a redactar el artículo inicial sobre el resultado.
También te puede interesar:El Próximo Modelo de Anthropic podría anunciarse en las próximas semanasDurante el proceso, el sistema produjo 31 millones de tokens (fragmentos de texto que procesa la IA). Luego, dos matemáticos internos de Anthropic confirmaron el hallazgo y el resultado fue formalizado con Lean, un asistente de demostraciones de código abierto: https://lean-lang.org/.
El avance no entrega aún la respuesta final
Formalizar significa traducir una demostración a un lenguaje que un programa puede revisar paso a paso. Es una capa extra de seguridad: no reemplaza el juicio humano, pero ayuda a detectar una pieza floja antes de presentar el resultado como verdadero.
El anuncio se suma a una serie de progresos recientes. Varios problemas de Erdős, una familia de desafíos matemáticos, fueron resueltos con IA durante el año. También OpenAI publicó diez resultados matemáticos de su modelo Astra: https://openai.com/index/ten-advances-in-mathematics/, mientras otro trabajo de Anthropic refutó la antigua conjetura jacobiana: https://www.sciencedaily.com/releases/2026/08/260804034634.htm.
Sin embargo, el avance abre una discusión central. Matemáticos destacados firmaron una declaración pública en junio: https://leidendeclaration.ai/ para advertir que la disciplina podría perder una regla esencial: saber quién descubrió un teorema y quién asume responsabilidad por su corrección.
Timothy Gowers, ganador de la Medalla Fields, planteó en una entrada de blog: https://gowers.wordpress.com/2026/07/26/thoughts-about-the-leiden-declaration/ que una matemática menos asociada a nombres individuales no tiene por qué ser negativa. Comparó esa posibilidad con las estrellas, que rara vez llevan el nombre de los astrónomos que las observaron.
La hipótesis de Riemann sigue sin demostrarse y el millón de dólares continúa esperando. Pero este hallazgo revela una oportunidad: la IA todavía no reemplaza al matemático, aunque ya puede convertirse en una nueva mesa de trabajo, con muchas manos digitales moviendo la misma pieza clave.
Directora de operaciones en GptZone. IT, especializada en inteligencia artificial. Me apasiona el desarrollo de soluciones tecnológicas y disfruto compartiendo mi conocimiento a través de contenido educativo. Desde GptZone, mi enfoque está en ayudar a empresas y profesionales a integrar la IA en sus procesos de forma accesible y práctica, siempre buscando simplificar lo complejo para que cualquiera pueda aprovechar el potencial de la tecnología.
