OpenAI ha anunciado una solución propuesta al problema de existencia y regularidad de Navier–Stokes, uno de los siete Problemas del Milenio. La empresa afirma que un modelo interno produjo una prueba analítica y una formalización en Lean que muestran que un fluido tridimensional incompresible, suave y inicialmente en reposo puede desarrollar una singularidad en tiempo finito. Esa afirmación, si se valida de forma independiente, constituiría un resultado matemático de gran importancia. Sin embargo, las fuentes suministradas no establecen que la prueba haya superado la revisión por pares ni que el Instituto Clay de Matemáticas la haya aceptado.

La distinción entre una prueba propuesta y una solución verificada es fundamental. La fuente principal es el propio anuncio de OpenAI, publicado el 16 de septiembre de 2026, y el índice de investigación se limita a dirigir a los lectores hacia la exposición y la prueba formal de la empresa. Ninguno de los dos documentos suministrados constituye una evaluación independiente realizada por un matemático, una revista especializada o la organización responsable del premio. Por consiguiente, la conclusión más sólida que respaldan las fuentes es que OpenAI afirma haber resuelto el problema, no que la comunidad matemática ya haya confirmado esa resolución.

El problema plantea si las ecuaciones estándar de los fluidos incompresibles tridimensionales pueden conservar siempre la regularidad cuando el movimiento comienza de manera suave. Una singularidad significaría que las velocidades del fluido crecen sin límite en un tiempo finito, aunque exista viscosidad. OpenAI describe un vórtice que gira en espiral hacia el interior, se estira axialmente y desarrolla un núcleo cada vez más pequeño y alargado, mientras su energía total permanece finita. La empresa afirma que esta construcción establece las afirmaciones C y D de la formulación oficial del Premio del Milenio.

El anuncio también indica que la construcción utiliza una fuerza externa suave. Este detalle es esencial: el resultado no debe describirse como una singularidad que surge en un flujo de Navier–Stokes completamente no forzado. OpenAI afirma por separado que sus agentes resolvieron una cuestión de explosión no forzada para las ecuaciones de Euler, pero se trata de un problema matemático distinto que no debe presentarse como el mismo resultado. El texto suministrado no aporta material técnico independiente suficiente para verificar desde primeros principios ninguna de las dos construcciones.

OpenAI describe un proceso de investigación asistido por IA de una escala inusual. Afirma que grupos coordinados de agentes utilizaron material de internet almacenado en caché y código, con aproximadamente 10.000 agentes simultáneos en el grupo que encontró el resultado de Navier–Stokes. La empresa informa de que los agentes llegaron al resultado el 5 de septiembre, unas 88 horas después del lanzamiento, y de que la formalización y verificación en Lean requirieron otras 17 horas mediante GPT-6 Astra. Estas son cifras operativas comunicadas por la empresa; no demuestran ni la corrección de las matemáticas ni la independencia de la prueba respecto de los propios sistemas de OpenAI.

La empresa afirma que investigó si las indicaciones del matemático Tristan Buckmaster podrían haber influido en el resultado y concluyó que no fue así. También afirma que reconoció la prioridad del investigador de Anthropic Levent Alpöge y de Buckmaster por trabajos separados sobre el problema de Euler forzado. Estas afirmaciones sobre la procedencia son relevantes porque conciernen a una posible superposición entre esfuerzos matemáticos contemporáneos asistidos por IA. Sin embargo, el anuncio suministrado es la fuente de la conclusión de la investigación, y el dossier no contiene ningún informe de auditoría separado ni confirmación independiente de ese hallazgo.

Para los lectores ajenos a las matemáticas, la relevancia práctica es indirecta. Las ecuaciones de Navier–Stokes se utilizan en el diseño de aeronaves, la predicción meteorológica y los estudios del flujo sanguíneo, pero una singularidad en tiempo finito en un modelo matemático no demostraría por sí sola que un fluido real pueda moverse a velocidad infinita. La propia OpenAI presenta una singularidad como una ruptura del modelo continuo bajo las ecuaciones indicadas. Los materiales suministrados no demuestran un nuevo método de ingeniería, un cambio en la predicción meteorológica ni una aplicación médica.

La formalización en Lean podría ser importante porque una prueba verificada por máquina puede revelar lagunas difíciles de detectar en un argumento analítico extenso. Sin embargo, formalizar una prueba no equivale a demostrar que el teorema formalizado coincide exactamente con el problema previsto del Premio del Milenio, ni que todas las suposiciones matemáticas y de modelado sean aceptables para expertos independientes. Las fuentes suministradas no incluyen una auditoría independiente detallada de la formalización, sus definiciones ni su correspondencia con el enunciado del premio.

La lección más amplia afecta, por tanto, tanto a las matemáticas como a la investigación asistida por IA. OpenAI informa de una concentración extraordinaria de actividad computacional y de agentes detrás de una solución propuesta a un problema de larga data. Ese relato puede mostrar cómo los sistemas de IA pueden ayudar a organizar la exploración, poner a prueba ideas y producir artefactos formales. No obstante, según las pruebas suministradas, no resuelve el estatus del problema de Navier–Stokes. La interpretación responsable consiste en considerar el anuncio como una afirmación seria que requiere el escrutinio de expertos, no como un sustituto completo de la revisión por pares, la verificación del premio o la reproducción independiente.