El rompecabezas de fluidos detrás de la pregunta del millón de dólares
El movimiento de los fluidos, desde el flujo de aire sobre el ala de un avión hasta los sistemas meteorológicos globales y la circulación sanguínea a través de nuestros cuerpos, a menudo parece suave y predecible. Las Navier–Stokes equations, establecidas en el siglo XIX, son la base matemática que describe este comportamiento. Estas ecuaciones diferenciales parciales capturan la intrincada interacción de fuerzas dentro de un fluido en movimiento.
Sin embargo, una pregunta profunda ha dejado perplejos a los matemáticos durante casi un siglo: ¿puede un flujo de fluido tridimensional perfectamente suave "explotar" repentinamente en una singularity en una cantidad finita de tiempo? Esto implicaría que propiedades como la velocidad o la presión se vuelven infinitas en un punto específico, desafiando la suavidad global esperada de la solución.
En 2000, el Clay Mathematics Institute reconoció la importancia crítica de este problema abierto, nombrándolo uno de sus siete Millennium Prize Problems. El Instituto ofreció un premio de 1 millón de dólares por una solución aceptada, ya sea que pruebe la existencia de soluciones suaves o demuestre definitivamente una singularidad en tiempo finito.
Dentro del sprint de demostración de 10,000 agentes
Según se informa, OpenAI desplegó un sistema multiagente de 10,000 agentes de IA para abordar el problema de Navier. Este enjambre exploró estrategias competitivas de prueba y refutación simultáneamente. Los agentes buscaron investigaciones almacenadas en caché, ejecutaron código y criticaron el trabajo intermedio, operando en un flujo de trabajo altamente paralelizado.
Según el relato de OpenAI, este intenso sprint generó aproximadamente 2.7 millones de mensajes y 130 mil millones de tokens de salida. En aproximadamente 88 horas, el sistema convergió en una blowup construction, lo que sugiere una singularidad en tiempo finito en el flujo de fluido suave. Esto refutó el aspecto de suavidad global del problema.
La siguiente fase crítica involucró a GPT-6 Astra. Se informa que este modelo dedicó 17 horas a traducir el argumento de más de 165 páginas a Lean, un asistente de demostración formal. Lean verifica sistemáticamente cada paso lógico, asegurando el rigor matemático y la validez del argumento generado por la IA, un paso crucial para verificar demostraciones complejas.
Una afirmación revolucionaria con un asterisco importante
Según se informa, los agentes de OpenAI refutaron la suavidad global de las soluciones de Navier–Stokes mediante la construcción de una finite-time singularity. Su mecanismo describe un vórtice en espiral hacia adentro que se estira y se concentra, muy parecido a estirar caramelo, hasta que alcanza una velocidad infinita en un punto específico en el tiempo. Esto ocurre mientras la energía total del sistema permanece finita.
Fundamentalmente, esta construcción se basa en smooth external forcing, una condición permitida por el enunciado formal del problema del Clay Mathematics Institute. Sin embargo, no resuelve directamente si los flujos de fluidos físicamente realistas y sin forzar también pueden "explotar" espontáneamente en singularidades. Esta distinción es vital para comprender las implicaciones del resultado para la dinámica de fluidos del mundo real.
Tras el descubrimiento inicial, GPT-6 Astra dedicó 17 horas a formalizar la prueba de 165 páginas en Lean, un asistente de demostración interactivo. Aunque Lean puede verificar rigurosamente cada paso lógico de una derivación formalizada, esto no equivale a una aceptación científica inmediata. Los matemáticos aún deben examinar las suposiciones subyacentes, la interpretación del resultado y su relevancia para la cuestión más amplia de la explosión de Navier–Stokes sin forzar. Para más detalles, consulte On Navier–Stokes Millennium Prize Problem - OpenAI.
OpenAI ha declarado que no reclamará el premio de $1 millón, reconociendo los matices de la resolución del problema. El trabajo se basa en técnicas desarrolladas por los matemáticos humanos Tristan Buckmaster y Levent Alpöge, destacando la naturaleza colaborativa, aunque a veces polémica, de la investigación matemática avanzada.
¿Te está gustando? Recibe uno así en tu bandeja cada mañana.
un correo al día · date de baja en dos clics · sin rastreadores de terceros
La carrera por el crédito puede durar más que el cálculo
La carrera por el crédito puede durar más que el cálculo
Una disputa de prioridad siguió rápidamente al anuncio de OpenAI. Los informes sugieren que OpenAI inició su esfuerzo interno tras escuchar rumores de progreso de los matemáticos Tristan Buckmaster y Levent Alpöge. Buckmaster, de la NYU, publicó un trabajo relacionado sobre singularidades de tiempo finito poco antes de la afirmación de OpenAI.
Buckmaster expresó escepticismo con respecto a las primeras pruebas generadas por LLM, describiendo una como "la prueba más horrenda que jamás haya leído". OpenAI, por su parte, negó haber utilizado consultas privadas de usuarios o monitorear el trabajo de los investigadores para informar sus esfuerzos. La integridad de los datos del descubrimiento asistido por LLM sigue siendo una preocupación crítica para la comunidad científica.
Este episodio destaca riesgos más amplios para el proceso científico. La revisión independiente, la atribución adecuada y la reproducibilidad rigurosa determinarán si esto marca un resultado matemático duradero o una demostración sorprendente de agentic search capabilities. OpenAI ha declarado que no reclamará el $1 millón de premio del Clay Mathematics Institute, desplazando el enfoque de la recompensa financiera a los métodos y la ética del descubrimiento impulsado por IA. La comunidad científica espera los detalles completos para evaluar la validez y las implicaciones de este sprint computacional sin precedentes.
Preguntas frecuentes
¿Qué es el problema de Navier–Stokes?
Se pregunta si las soluciones suaves a las ecuaciones de Navier–Stokes tridimensionales siempre permanecen suaves, o pueden desarrollar una singularidad en tiempo finito.
¿Resolvió OpenAI el problema del premio del milenio de Navier–Stokes?
OpenAI ha reclamado un resultado para una versión que involucra forzamiento externo suave. La prueba aún requiere un escrutinio matemático independiente, y ese resultado no resuelve todas las versiones del problema.
¿Qué verifica Lean?
Lean comprueba que una prueba se deriva de sus definiciones y suposiciones establecidas. Puede detectar lagunas lógicas en el trabajo formalizado, pero no establece por sí mismo que el modelo haya abordado la cuestión matemática prevista.
¿Está OpenAI reclamando el premio de $1 millón?
Según el relato, OpenAI dijo que no reclamaría el premio del Clay Mathematics Institute.