# OpenAI publica un borrador de 166 páginas sobre Navier-Stokes; matemáticos dudan

> OpenAI compartió en septiembre un borrador de demostración formal del problema de Navier-Stokes, pero expertos afirman que se aparta del enfoque anunciado y que no está clara su aportación.

Oossa · 2026-10-17 · https://oossa.com/es/openai-releases-166-page-navier-stokes-draft-mathematicians-raise-doubts

A principios de septiembre de 2026, OpenAI publicó un borrador de 166 páginas que, según afirmó, podría resolver el problema de Navier-Stokes, uno de los siete Problemas del Milenio del Clay Mathematics Institute, dotados con un millón de dólares cada uno. El borrador está escrito en Lean, un lenguaje de verificación formal que comprueba automáticamente cada paso lógico. OpenAI dijo que la demostración seguía el método de los matemáticos españoles Diego Córdoba y Luis Martínez-Zoroa.

## Los matemáticos ven discrepancias

Varios matemáticos, entre ellos Gonzalo Cao-Labor, de EPFL, han examinado el borrador y sostienen que el razonamiento no coincide con el enfoque de Córdoba y Martínez-Zoroa. A su juicio, las similitudes son solo superficiales. El Clay Mathematics Institute revisa el borrador desde que se publicó.

## Mucho cómputo, impacto incierto

OpenAI ejecutó unos 10.000 agentes de modelo durante aproximadamente 88 horas y procesó 130.000 millones de tokens para generar el borrador. El investigador Noam Brown estima que menos del 10 % del resultado puede atribuirse a la configuración multiagente, lo que sugiere que la mayor parte del trabajo provino del modelo base. Se desconoce el papel exacto del conjunto de agentes, ya que no se han realizado pruebas sistemáticas a esa escala.

## Nuevas publicaciones reciben críticas

A principios de octubre, OpenAI añadió unos 400 resultados más generados por IA a una colección poco estructurada en GitHub, algo que, según muchos matemáticos, restaba valor al campo. La rápida producción ha dejado a la comunidad matemática con dificultades para seguir el ritmo.

## Los hechos

- OpenAI publicó a principios de septiembre de 2026 un borrador de 166 páginas sobre una posible solución al problema de Navier-Stokes.
- El borrador está escrito en Lean, un lenguaje de verificación formal que comprueba automáticamente los pasos lógicos.
- OpenAI utilizó unos 10.000 agentes de modelo durante 88 horas y generó 130.000 millones de tokens.
- El investigador Noam Brown afirma que menos del 10 % del éxito del borrador se debe a la configuración multiagente.
- A principios de octubre de 2026, OpenAI publicó en GitHub unos 400 resultados adicionales generados por IA.

## Por qué importa

Para el público general, este episodio muestra que incluso con enormes recursos de IA se puede producir un trabajo que los expertos siguen cuestionando. También deja claro que las demostraciones matemáticas generadas por IA aún no son un atajo para la verificación humana, por lo que el problema que da derecho al premio sigue sin resolverse.

## Fuentes y referencias

1. [Mathematicians say OpenAI doesn't understand its own Navier-Stokes proof](https://the-decoder.com/mathematicians-say-openai-doesnt-understand-its-own-navier-stokes-proof/) – The Decoder, 2026-10-17

Última actualización: 2026-10-17