RespuestasPublicado14 fuentes
OpenAI asegura haber resuelto Navier-Stokes, pero la revisión matemática apenas empieza
OpenAI sostiene que un sistema interno no publicado coordinó cerca de 10.000 agentes durante 88 horas y produjo una prueba de formación de singularidades en tiempo finito para Navier Stokes. La empresa difundió un manuscrito y una formalización en Lean, pero el Instituto Clay no había aceptado independientemente el...
Publicado porEditado con GPT-5.6 TerraImágenes generadas con GPT Image 2
Respuesta de investigación
Conclusiones clave
- OpenAI sostiene que un sistema interno no publicado coordinó cerca de 10.000 agentes durante 88 horas y produjo una prueba de formación de singularidades en tiempo finito para Navier Stokes.
- La empresa difundió un manuscrito y una formalización en Lean, pero el Instituto Clay no había aceptado independientemente el resultado al momento de los primeros informes.
- Tristan Buckmaster y Levent Alpöge plantearon una disputa por prioridad y atribución; OpenAI niega haber visto su trabajo antes de que fuera público.
- OpenAI confirmó únicamente haber logrado «avances sustanciales» en otro Problema del Milenio sin identificarlo; la conjetura de Hodge sigue siendo una posibilidad no confirmada.
Prompt de IA
openai.comCreate a landscape editorial hero image for this Studio Global article: What did OpenAI reportedly claim about solving the Navier–Stokes existence and smoothness problem—specifically, its use of roughly 10,000 AI. Article summary: OpenAI’s claim is consequential but remains unverified: it said an unreleased internal model, deployed as roughly 10,000 semi-autonomous agents, produced a formalized Navier–Stokes proof in 88 hours. The Clay Mathematics. Topic tags: general, news, general web, user generated, academic. Style: premium digital editorial illustration, source-backed research mood, clean composition, high detail, modern web publication hero. Use reference image context only for broad subject, composition, and topical grounding; do not copy the exact image. Avoid: logos, brand marks, copyrighted characters, real person likenesses, fake screenshots, UI text, readable text, watermarks
OpenAI presentó su resultado sobre Navier-Stokes como un posible hito para las matemáticas y la inteligencia artificial. Sin embargo, una afirmación pública, un manuscrito y una prueba formalizada no equivalen todavía a la aceptación independiente de la comunidad matemática. La cuestión central ahora es si el argumento resiste una revisión experta detallada. 1
4
Qué afirma haber demostrado OpenAI
El problema de existencia y suavidad de Navier-Stokes pregunta, en una de sus formulaciones, si un flujo tridimensional de un fluido que comienza siendo suave puede desarrollar una singularidad en un tiempo finito. En términos intuitivos, se trata de saber si las ecuaciones que describen fluidos como el agua o el aire pueden llegar a un punto de ruptura matemática.
OpenAI asegura haber probado precisamente esa posibilidad: que, bajo las condiciones especificadas, la dinámica puede desarrollar una singularidad en tiempo finito. La compañía dice que su sistema interno, que no ha sido publicado, produjo tanto una demostración analítica como una formalización en Lean de que un fluido inicialmente suave y en reposo puede llegar a ese comportamiento. 4
Según los informes, el proceso reunió aproximadamente 10.000 agentes de IA concurrentes durante 88 horas. El resultado se presentó en un manuscrito de 166 páginas acompañado del proyecto en Lean. 3
1
Qué aporta Lean y qué no resuelve por sí solo
Lean es un asistente de pruebas: un sistema que comprueba paso a paso que una demostración codificada sigue las definiciones, axiomas y reglas lógicas introducidas. Esto puede detectar lagunas que una revisión convencional podría pasar por alto.
Pero la formalización no cierra automáticamente todas las preguntas. Los especialistas aún deben determinar:
- Alcance: qué versión exacta del problema de Navier-Stokes queda cubierta;
- Correspondencia: si el teorema formalizado, sus supuestos y la afirmación informal dicen realmente lo mismo;
- Completitud: si tanto el razonamiento analítico como la codificación están completos;
- Dependencias: qué resultados previos y bibliotecas formales utiliza la prueba;
- Comprensión: si la demostración ofrece ideas matemáticas que otros puedan explicar, reutilizar y desarrollar.
Al comienzo de la cobertura pública, el Clay Mathematics Institute —la institución estadounidense que organiza los Problemas del Milenio— no había aceptado el resultado de forma independiente. 1
Por eso, la conclusión prudente no es que el problema esté definitivamente resuelto, sino que existe un material público de gran relevancia que debe ser examinado a fondo.
La disputa por prioridad y reconocimiento
El anuncio también abrió una controversia sobre la procedencia de las ideas. Tristan Buckmaster, matemático de la Universidad de Nueva York, y Levent Alpöge, investigador de Anthropic, habían trabajado en resultados relacionados sobre dinámica de fluidos.
Buckmaster alegó que OpenAI conoció su enfoque y aceleró su propio trabajo; también cuestionó cómo se asignaría el crédito.
OpenAI respondió que ni sus investigadores ni sus agentes habían visto el trabajo de Buckmaster y Alpöge antes de que se hiciera público. Los informes disponibles indican, además, que los resultados eran relacionados, pero no se ha demostrado que fueran idénticos.
La acusación, por tanto, sigue sin resolverse: es una denuncia pública seria, no un hecho ya establecido. El episodio plantea cuestiones difíciles sobre los registros de trabajo, los calendarios de investigación, el uso de sistemas cerrados y la atribución cuando las investigaciones avanzan en paralelo.
Por qué la reacción fue más allá de una sola prueba
La controversia alimentó una crítica más amplia al modelo de competencia entre empresas de IA por resolver problemas matemáticos célebres. Veinticinco ganadores de la Medalla Fields, entre ellos Terence Tao, firmaron una declaración que advertía de que esta carrera podía perjudicar a la ciencia y a la formación de nuevos investigadores. 17
También circuló una carta abierta de matemáticos actuales y antiguos de Caltech contra el papel de OpenAI en un evento previsto sobre IA y matemáticas. Según los informes, la carta tenía 771 firmantes cuando se publicó, y OpenAI retiró después su patrocinio del Caltech Mathathon.
El punto no es necesariamente excluir a la IA de las matemáticas. Estas herramientas pueden servir para verificar pruebas, explorar conjeturas, mejorar explicaciones o ampliar bibliotecas formales compartidas. La inquietud es que los sistemas propietarios y una dinámica centrada en titulares premien la velocidad y el impacto publicitario por encima de la apertura, el reconocimiento justo y la comprensión humana.
Javier Gómez-Serrano describió el momento como una «crisis existencial» para las matemáticas, en referencia a la posibilidad de que los resultados generados con IA avancen más rápido que los mecanismos habituales para revisarlos, enseñarlos y atribuirlos.
¿El próximo objetivo es la conjetura de Hodge?
OpenAI dijo a The New York Times que había logrado «avances sustanciales» en otro Problema del Milenio, pero no identificó cuál ni publicó una prueba. Ese es el límite de lo confirmado públicamente.
La conjetura de Hodge ha circulado como posible objetivo. También se ha mencionado la conjetura de Birch y Swinnerton-Dyer. Un informe, citando a una fuente de OpenAI, indicó que empleados de la empresa esperaban avances en Hodge; aun así, OpenAI no ha anunciado públicamente una prueba de esa conjetura.
Por ahora, afirmar que cualquiera de las dos ha sido resuelta sería confundir especulación con un resultado matemático.
Qué habría que seguir a partir de ahora
La señal decisiva no será otro comunicado, sino la revisión independiente del material ya difundido: análisis del manuscrito, inspección del proyecto en Lean y sus dependencias, y claridad sobre qué formulación del problema del Clay Mathematics Institute queda establecida.
Cualquier futura afirmación de OpenAI sobre un Problema del Milenio enfrentará el mismo estándar: un teorema preciso, materiales formales e informales accesibles, una explicación suficiente para que terceros puedan evaluarla y una trazabilidad clara de las contribuciones. En las matemáticas asistidas por IA, la corrección es indispensable, pero también lo son la atribución, la apertura y la comprensión.
Studio Global AI
Continúe su investigación
Esta página incluye una respuesta respaldada por fuentes que puede continuar dentro de Studio Global.
La gente también pregunta
¿Cuál es la respuesta corta a "OpenAI asegura haber resuelto Navier-Stokes, pero la revisión matemática apenas empieza"?
OpenAI sostiene que un sistema interno no publicado coordinó cerca de 10.000 agentes durante 88 horas y produjo una prueba de formación de singularidades en tiempo finito para Navier Stokes.
¿Cuáles son los puntos clave a validar primero?
OpenAI sostiene que un sistema interno no publicado coordinó cerca de 10.000 agentes durante 88 horas y produjo una prueba de formación de singularidades en tiempo finito para Navier Stokes. La empresa difundió un manuscrito y una formalización en Lean, pero el Instituto Clay no había aceptado independientemente el resultado al momento de los primeros informes.
¿Qué debo hacer a continuación en la práctica?
Tristan Buckmaster y Levent Alpöge plantearon una disputa por prioridad y atribución; OpenAI niega haber visto su trabajo antes de que fuera público.