Cuando una máquina atacó el millón de las matemáticas

Al mediodía del 8 de septiembre de 2026, OpenAI declaró resuelto un problema abierto durante casi noventa años: la existencia y suavidad de Navier-Stokes, desafío del Milenio con premio de un millón . El resultado afirma que un flujo suave, impulsado por una fuerza externa también suave, desarrolla una singularidad en tiempo finito, en los casos (C) y (D) de Fefferman. La entrega incluyó un manuscrito de 166 páginas y una formalización verificada con Lean, obra de un modelo interno superior a GPT-6 Astra. Los detalles del anuncio y el contexto del premio fueron resumidos por OpenAI en una sesión técnica del mismo día con registros completos.

La matemática de fondo estudia las ecuaciones del movimiento de fluidos viscosos, donde velocidad y presión evolucionan entre fricción, inercia y forzamiento. Una singularidad, imaginada como un vórtice filiforme semejante a un espagueti que se aprieta, significaría que condiciones iniciales perfectas colapsan en un pico infinitamente agudo. Durante décadas se confió en que la viscosidad impediría esa ruptura al suavizar los gradientes bruscos, así que una explosión en tiempo finito alteraría intuiciones profundas. La pregunta moderna desciende de Jean Leray, quien en 1934 construyó soluciones débiles globales y dejó abierto si los datos suaves permanecen suaves siempre.

Diez mil agentes y ochenta y ocho horas

El cálculo partió de un modelo interno entrenado desde el 28 de agosto, redirigido el 1 de septiembre hacia todos los problemas abiertos del Milenio. Unos 10.000 agentes trabajaron 88 horas, del 1 al 5 de septiembre, con 2,7 millones de mensajes y 130.000 millones de tokens, con un coste eléctrico millonario confirmado por Noam Brown. La flota ensayó la variante de Euler sin forzamiento con un centenar de agentes durante unas 50 horas, y luego concentró su potencia en Navier-Stokes con fertilización cruzada mediante Codex, más 17 horas de verificación Lean. Ese despliegue masivo , que costaría 15 millones a un cliente, fue analizado en detalle por NewScientist en un informe de septiembre sobre la campaña de cálculo.

En paralelo, Tristan Buckmaster, docente del instituto Courant de la universidad NYU, y Levent Alpöge, matemático de Anthropic, exploraban la misma frontera en silencio desde hacía casi un año. Ambos describen su esfuerzo como una colaboración estrictamente personal y no como una alianza entre instituciones, desarrollada con modelos de las dos compañías. Cada borrador vivía dentro de sesiones de Codex, un dato central en la discusión sobre qué pudo absorber la flota mayor. Su atención se centraba en variantes forzadas de modelos afines, una vía que juzgaban más prometedora que las construcciones sin forzamiento. El sigilo fue deliberado, pues deseaban un artículo legible antes de cualquier anuncio.

El 15 de agosto la pareja había obtenido resultados forzados suaves para los sistemas de Euler, IPM y Boussinesq, verificados con Lean una semana después tras una revisión cuidadosa. Retrasaron la publicación porque querían una exposición que los matemáticos pudieran leer, comprobar y enseñar, y no un mero artefacto formal. Su andamiaje se apoyaba en los avances de Diego Córdoba y Luis Martínez-Zoroa, junto a Fan Zheng, además de la evidencia numérica de Luo y Hou en 2013. El contexto general de los desafíos del Milenio y la historia de la regularidad está reunido en Wikipedia en una panorámica extensa con fechas, protagonistas y referencias.

La chispa pública partió de Alpöge, cuya nota del 31 de agosto titulada Augustus Mirabilis celebraba un progreso notable y fue interpretada en línea como si Anthropic ya hubiese resuelto dos problemas del Milenio. El rumor viral circuló con rapidez por redes y chats colectivos, lo que llevó a OpenAI a lanzar su propia ofensiva total el 1 de septiembre. Así, un memorando entusiasta se convirtió en una carrera que ninguna parte había planeado, con el calendario comprimido a unos días. La ironía resulta aguda: un mensaje festivo empujó a un laboratorio rival a acelerar en cuestión de horas.

Cartas, reuniones y una declaración nocturna

Advertidos de una posible filtración, ambos escribieron por separado a OpenAI: Alpöge en la noche del 2 de septiembre y Buckmaster el día 3 al científico Sébastien Bubeck. El 6 de septiembre, Bubeck respondió que el esfuerzo usaba muy escasa aportación humana y ofreció compartirlo todo, incluidas las directrices, antes de una reunión vespertina a la que Alpöge no asistió. Buckmaster reconoció en la ruta automática su propio programa de la línea Córdoba y Martínez-Zoroa, difícil de conciliar con la aportación mínima declarada y un equipo amplio sin especialista en Navier-Stokes. El acceso directo a archivos fue denegado, aunque luego se admitió el uso de datos derivados sin identidad.

Poco antes de la medianoche del 7 de septiembre, Buckmaster publicó una declaración de cuatro páginas con su cronología, unas doce horas antes del anuncio corporativo programado. OpenAI desveló después su resultado al mediodía del 8 de septiembre, con manuscrito, formalización y cifras de coste. El debate estalló en horas en Hacker News, Reddit y X, entre entusiasmo por la matemática e inquietud sobre la procedencia. Buckmaster abandonó su despacho hacia las 02:30 de aquella madrugada, tras una noche de mensajes de colegas de todo el mundo. La brecha de doce horas entre ambas publicaciones fijó la disputa ante la opinión pública.

La versión cambió varias veces en los días siguientes, y cada formulación estrechaba o ampliaba la ventana de contacto. La línea matinal del 8 de septiembre decía que nada se había visto antes de publicar y que el material derivado sin identidad no podía descartarse, seguida de comentarios de que nadie había llamado. Por la tarde el énfasis pasó a las diferencias entre demostraciones, sobre todo la distinción forzada frente a no forzada en Euler, y el 9 de septiembre llegó una negación sobre los dos meses. Tras una actualización del día 10, el límite del 13 de septiembre, nada posterior al 3 de julio pudo influir, llegó sin comentarios sobre el uso de Codex antes de esa fecha .

Tras las declaraciones latía una disputa privada más áspera sobre autoría y dinero. Según Buckmaster, OpenAI planteó anunciar primero Euler o reescribir su demostración con él como autor único o principal, junto a un pago de un millón a la pareja por ser las personas más cercanas al problema. Una condición añadida era apartar a Alpöge de la autoría, exigencia que Buckmaster afirma haber rechazado de plano. La correspondencia subió de tono, con una advertencia de que la cortesía era opcional, por cuyo estilo Bubeck pidió después disculpas. El episodio mostró cómo el crédito y la compensación chocan cuando el descubrimiento automático se cruza con la prioridad humana.

Qué dice ahora la comunidad matemática

Terence Tao calificó el logro de la pareja como notable y no vio un obstáculo de principio para extenderlo hacia Navier-Stokes, aunque advirtió de que la minería de demostraciones amenaza con esquilmar el campo. En una entrevista comparó esa práctica con saquear un yacimiento arqueológico con una excavadora y afirmó que 2026 había separado las respuestas de la comprensión , como ver la primera y la última escena de una película. El 11 de septiembre, 28 medallistas Fields firmaron una declaración que pide normas más lentas y transparentes. Michael Harris añadió que sin beneficio ese derroche no perdurará, aunque los directivos podrían concluir que el humano sobra, inquietud analizada en un coloquio de IBM sobre colaboración entre científicos y máquinas.

La maquinaria del premio avanza mucho más despacio que los ciclos de prensa, pues exige publicación en una revista válida, dos años de espera y aceptación amplia de la comunidad. La presidenta Ulrike Bridson ha descrito el proceso como deliberadamente pausado y riguroso, un diseño pensado para resistir este tipo de conmoción. OpenAI declara que no pretende reclamar el galardón y deja la cuestión de elegibilidad entre prueba forzada y no forzada en manos de los matemáticos. Las reglas y la historia de los siete desafíos están custodiadas por ClayMath en su archivo con fechas y citas. Un resumen de la secuencia de anuncios fue publicado por TheNextWeb en un explicador de septiembre con enlaces a los documentos primarios.

El 6 de octubre el proyecto se amplió con una entrega masiva: 722 manuscritos, 372 familias de resultados y centenares de preguntas abiertas, con repositorio público en GitHub, formalizaciones Lean, diez resúmenes de razonamiento y unas tres horas de reflexión de ChatGPT Pro por resultado. Las propuestas de AGMAI piden publicación rápida, declaración de modelos, directrices y costes, además del compromiso de no convertir las demostraciones en instrumentos de mercadotecnia. El presentador Dagogo Altraide enmarcó el arco como un momento Deep Blue contra Kaspárov, hito de la matemática pura con escaso rédito práctico, pues las fórmulas aplicadas ya funcionan bien. Esa entrega de octubre fue resumida por TheVerge en un panorama semanal sobre afirmaciones científicas de modelos de frontera.