OpenAI DESTROZA un PROBLEMA del Milenio (Navier-Stokes)
Math Rocks
0:00 / 0:00
OpenAI DESTROZA un PROBLEMA del Milenio (Navier-Stokes)
314 111 просмотров · 1 день назад
Math Rocks
428 тыс. подписчиков
314 111 просмотров · 1 день назад
¿Estamos presenciando el primer Problema del Milenio resuelto decisivamente con Inteligencia Artificial? te EXPLICO el impactante manuscrito de 166 páginas publicado por OpenAI (titulado Finite-Time Blowup for Navier-Stokes) junto con su formalización en Lean, que propone un contraejemplo de singularidad en tiempo finito para fluidos 3D viscosos con fuerza suave (vía C y D del Instituto Clay).
Por ACÁ el paper: https://cdn.openai.com/pdf/32d9f210-8...
🚀 DOMINA los Problemas del Milenio: https://www.youtube.com/channel/mathr...
Contenido
00:00 ¡Hito histórico! OpenAI apunta a Navier-Stokes tras Riemann
01:33 El salseo: Controversia de prioridad entre OpenAI y Claude
02:17 Contraejemplos y singularidad en tiempo finito
03:14 Historia: De las ecuaciones de Euler (1757) a la viscosidad
03:53 Navier (1822) y Stokes (1845)
04:31 El campo de velocidades, presión e incompresibilidad
05:13 Desglose término a término de la ecuación de Navier-Stokes
06:09 Casos exactos (Couette y Poiseuille)
06:41 Número de Reynolds, turbulencia y estiramiento de vorticidad
08:19 Soluciones débiles de Jean Leray y el Premio del Instituto Clay (2000)
09:07 El manuscrito de 166 páginas de OpenAI y su prueba en Lean
09:41 El sistema de 10,000 agentes y el trabajo en paralelo de Euler
10:12 La influencia clave de Diego Córdoba y Luis Martínez-Zoroa
10:32 Los 2 años de revisión formal del Instituto Clay
11:51 La construcción del vórtice: Núcleo delgado y energía acotada
13:03 El truco diabólico: Pulsos oscilatorios y fuerza suave
13:48 Verificación en Lean y la necesidad de revisión humana
14:27 Colaboraciones, modelos y citas teóricas
16:03 Los 3 niveles: Matemáticos humanos, Euler y Navier-Stokes
17:30 Consecuencias para el futuro de la ciencia y la IA
#mathrocks #openai #navierstokes #problemadelmilenio #inteligenciaartificial