RespuestasPublicado20 fuentes
La prueba de Navier-Stokes de OpenAI: un anuncio histórico que aún debe superar la revisión matemática
El 8 de septiembre de 2026, OpenAI dijo que un sistema interno no publicado, con unos 10.000 agentes coordinados, produjo una prueba de 166 páginas y una formalización en Lean sobre una singularidad en tiempo finito e... El ejemplo parte de un fluido suave en reposo y una fuerza externa suave; genera un vórtice que...
Publicado porEditado con GPT-5.6 TerraImágenes generadas con GPT Image 2
Respuesta de investigación
Conclusiones clave
- El 8 de septiembre de 2026, OpenAI dijo que un sistema interno no publicado, con unos 10.000 agentes coordinados, produjo una prueba de 166 páginas y una formalización en Lean sobre una singularidad en tiempo finito e...
- El ejemplo parte de un fluido suave en reposo y una fuerza externa suave; genera un vórtice que se estrecha y alarga hasta que su velocidad se vuelve no acotada en tiempo finito, aunque la energía total se mantiene fi...
- La formalización en Lean permite comprobar mecánicamente el argumento codificado, pero expertos independientes aún deben determinar si el teorema formalizado y sus hipótesis corresponden exactamente al problema de Clay.
Prompt de IA
openai.comCreate a landscape editorial hero image for this Studio Global article: What did OpenAI announce on September 8 about an unreleased AI system’s purported 166-page, Lean-formalized proof that the three-dimensional. Article summary: On September 8, OpenAI said an unreleased internal model, deployed through roughly 10,000 coordinated agents, had produced a 166-page analytical proof and a Lean formalization showing a finite-time singularity for a thre. Topic tags: general, general web, user generated. 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, charts with fa
El anuncio de OpenAI del 8 de septiembre es una de las afirmaciones más importantes hasta ahora en la intersección entre IA y matemáticas. La empresa sostiene que un sistema interno aún no publicado encontró tanto una prueba analítica como una formalización en Lean de que un flujo incompresible tridimensional de Navier-Stokes puede desarrollar una singularidad en tiempo finito. OpenAI difundió un manuscrito de 166 páginas junto con la formalización. La afirmación podría resolver uno de los Problemas del Milenio del Clay Mathematics Institute, pero no equivale a un veredicto definitivo de la comunidad matemática ni a la concesión de un premio. 10
18
27
Qué dice haber demostrado OpenAI
La construcción anunciada comienza con un fluido suave en reposo al que se aplica una fuerza externa también suave. Según OpenAI, el flujo genera un vórtice que gira hacia dentro y se vuelve cada vez más alargado. En un tiempo finito aparece una singularidad: la velocidad deja de estar acotada, aunque la energía total del flujo permanece finita. 10
44
La diferencia es crucial. No se trata simplemente de que una simulación numérica muestre un remolino extremadamente rápido. La cuestión es si las ecuaciones admiten una solución suave, de energía finita, que pierda su suavidad en un tiempo finito. El resultado anunciado sería un ejemplo construido expresamente para demostrar esa posibilidad bajo un forzamiento suave. 10
Por qué podría resolver el problema de Clay
La formulación oficial de Clay admite distintas vías para resolver el problema. A grandes rasgos, una consistiría en demostrar suavidad global; otra, en exhibir una pérdida de suavidad. OpenAI afirma que su construcción establece las alternativas C y D de la formulación de Clay: alternativas de tipo contraejemplo que implican un fallo de suavidad en tiempo finito, incluida una situación con forzamiento suave. 10
17
Si la prueba es correcta y su enunciado formal coincide exactamente con el problema oficial, resolvería la disyuntiva matemática al mostrar que la suavidad global universal no se cumple en el marco planteado. Clay describió el anuncio como una aparente resolución, al tiempo que subrayó que corresponde a la comunidad matemática evaluarlo. 18
El esfuerzo computacional detrás del resultado
Las informaciones sobre el anuncio describieron un grupo de alrededor de 10.000 agentes autónomos que operaron con un modelo avanzado y no publicado de OpenAI. La empresa caracterizó el sistema como una coordinación de agentes capaz de producir tanto el texto matemático convencional como la formalización en Lean; otros reportes hablaron de una ejecución de 88 horas. 10
12
2
Esto es relevante porque el resultado no se presentó como una mera sugerencia de un modelo ni como un experimento numérico. La afirmación es que el sistema generó un argumento analítico completo y una representación verificable por máquina.
Qué resuelve —y qué no— una prueba formalizada en Lean
Lean es un asistente de pruebas: comprueba si un teorema se deduce de definiciones, axiomas y resultados ya formalizados dentro de una prueba codificada con precisión. Una comprobación satisfactoria en Lean puede reducir mucho el riesgo de un error lógico ordinario, paso a paso, en el argumento formalizado. OpenAI publicó esa formalización junto con la prueba. 10
Sin embargo, la comprobación automática no elimina las preguntas humanas centrales:
- ¿El teorema codificado representa exactamente la afirmación pretendida sobre Navier-Stokes?
- ¿Las hipótesis y definiciones son las adecuadas para la formulación de Clay?
- ¿La formalización recoge fielmente cada paso sustantivo de la construcción analítica?
Por eso la revisión de especialistas independientes sigue siendo imprescindible. Una prueba formal es un activo enorme para la verificación, no un sustituto automático de la interpretación y aceptación matemáticas.
Por qué no supone una revolución inmediata para la ingeniería de fluidos
Incluso si la construcción fuera correcta, no significaría que el aire alrededor de un avión, la turbulencia en tuberías, los sistemas meteorológicos o el flujo sanguíneo estén a punto de generar velocidades literalmente infinitas. El escenario anunciado emplea un forzamiento suave diseñado específicamente y una configuración de vórtice muy particular. Establece una posibilidad dentro de las ecuaciones; no demuestra que los flujos cotidianos evolucionen de forma natural hacia ella. 10
44
Además, Navier-Stokes es un modelo continuo. A escalas suficientemente pequeñas entra en juego la física molecular, de modo que una singularidad matemática en las ecuaciones continuas no debe interpretarse como la predicción de una velocidad físicamente infinita en un fluido real.
Su importancia inmediata sería, por tanto, matemática y metodológica: delimita lo que las ecuaciones permiten, no ofrece una herramienta lista para rediseñar aviones o mejorar pronósticos meteorológicos.
La disputa por la prioridad
El anuncio también desencadenó una disputa sobre crédito y cronología. Tristan Buckmaster, de la Universidad de Nueva York, y Levent Alpöge, de Anthropic, habían anunciado poco antes trabajos asistidos por IA y formalizados en Lean sobre resultados relacionados de explosión en ecuaciones de fluidos con forzamiento. Su trabajo se apoyaba en una estrategia previa asociada con Diego Córdoba y Luis Martínez-Zoroa. 1
2
5
Buckmaster y Alpöge expresaron preocupación por la posibilidad de que OpenAI se hubiera beneficiado del conocimiento de su trabajo entonces inédito o de su anuncio, y porque la presentación pública no reflejara suficientemente la genealogía humana de las ideas relacionadas. La evidencia disponible establece que existió una disputa de prioridad; no demuestra que hubiera copia. 1
13
El episodio pone de relieve un reto más amplio para la investigación asistida por IA: el reconocimiento puede tener que contemplar ideas humanas previas, colaboradores que formalizan o validan argumentos, diseñadores de los sistemas y los modelos usados en el descubrimiento.
Por qué sigue importando la comprensión humana
Una prueba válida puede ser históricamente importante aunque esté altamente diseñada. Pero las matemáticas también valoran explicaciones que revelen estructuras reutilizables: por qué ocurre un fenómeno, qué ideas se pueden generalizar y cómo una demostración transforma la comprensión de problemas cercanos.
Ahí aparece una tensión productiva en las matemáticas impulsadas por IA. La búsqueda con grandes grupos de agentes puede encontrar construcciones que las personas no anticiparon. Pero, si la idea decisiva resulta difícil de interpretar para los humanos, el resultado puede aportar menos guía conceptual que una prueba más breve y explicativa. Por ello, la afirmación de OpenAI pone a prueba no solo la verificación de una demostración, sino también la capacidad de los sistemas de IA para aportar comprensión matemática duradera.
¿Ya se concedió el premio de un millón de dólares?
No. OpenAI dijo que no pretendía reclamar el Premio del Milenio. Las reglas de Clay exigen que una solución propuesta se publique en un medio que cumpla los requisitos, que transcurran al menos dos años desde esa publicación y que reciba aceptación general en la comunidad matemática mundial antes de que Clay la considere. 10
27
El comunicado de Clay de septiembre señaló que el problema había sido aparentemente resuelto y que la institución contemplaba el anuncio junto con la comunidad matemática. Es un reconocimiento de la relevancia de la afirmación, no una adjudicación final. 18
Por ahora, la descripción más precisa es sencilla: OpenAI ha publicado una notable afirmación, formalizada por máquina, de explosión en tiempo finito para Navier-Stokes tridimensional. Su estatus definitivo dependerá de que matemáticos independientes confirmen que la prueba y su formalización en Lean establecen exactamente el teorema anunciado. 10
18
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 "La prueba de Navier-Stokes de OpenAI: un anuncio histórico que aún debe superar la revisión matemática"?
El 8 de septiembre de 2026, OpenAI dijo que un sistema interno no publicado, con unos 10.000 agentes coordinados, produjo una prueba de 166 páginas y una formalización en Lean sobre una singularidad en tiempo finito e...
¿Cuáles son los puntos clave a validar primero?
El 8 de septiembre de 2026, OpenAI dijo que un sistema interno no publicado, con unos 10.000 agentes coordinados, produjo una prueba de 166 páginas y una formalización en Lean sobre una singularidad en tiempo finito e... El ejemplo parte de un fluido suave en reposo y una fuerza externa suave; genera un vórtice que se estrecha y alarga hasta que su velocidad se vuelve no acotada en tiempo finito, aunque la energía total se mantiene fi...
¿Qué debo hacer a continuación en la práctica?
La formalización en Lean permite comprobar mecánicamente el argumento codificado, pero expertos independientes aún deben determinar si el teorema formalizado y sus hipótesis corresponden exactamente al problema de Clay.