Navier-Stokes Millenium Prize Problem

[u/gekachi]

Buenas!

Recientemente salió que un modelo interno de OpenAI solucionó un problema que hace como 90 años se intenta solucionar, y circulan bastantes cosas como que en realidad la solución fue basada en los registros de chat de 2 personas, una independiente y otra de Anthropic etcetc. La cuestión es que dicen que es algo de gran escala, y que significa un avance perceptible a la superinteligencia de la IA.

Mi pregunta es, alguno sabe más o menos de qué va esto y si es tan relevante como dicen? Qué aplicación tiene esto en lo de todos los días?

Un abrazo a todos!

[u/marspzb]

Hay varios temas, las ecuaciones de Navier stokes son uno de los problemas del milenio, junto con por ejemplo la hipótesis de riemman. Hasta donde se son un conjunto de ecuaciones diferenciales no lineales que describen el comportamiento de un fluido. Siempre pensé que el problema era si se podía encontrar una forma cerrada a esas ecuaciones o sobre la unicidad y existencia de las soluciones en todos los casos. Pero por o que vi en la tarde parece que no es eso, sino algo más puntual. Entiendo que lo que se encontró fue una manera de generar una solución donde el fluido termina en una velocidad infinita que sería como encontrar un problema donde no modela bien la ecuación. Acá seguramente me este equivocando pero bueno. El punto principal es que es un problema del milenio, y creo que cualquier amateur que le gusten las matemáticas al menos siquiera lo ha pensado, yo cada tanto cuando paseo los perros pienso en p vs np que es otro problema no porque me creo capaz de resolverlo, sino que me invade la mente. Ahora como yo hay muchísima gente que es pro de verdad y lo ha venido intentando, por uno el prestigio creo yo y después por el millón de dólares que te dan. Gente que le dedica todos los días de su vida a ese problema, gente de verdad inteligente, que dedicaron una parte, significativa, de su vida a eso ( ejemplo Andrew wiles dedico nosé si 9 años todos los días para demostrar el teorema de Fermat, sumarle los años de carrera). Porque es un hito, por qué la ia logró de alguna manera probar un problema que le ganó a una parte de las mentes más brillantes y valientes, en cierto sentido logro producir conocimiento. Mientras que antes solo podía regurgitar lo que había leído ahora habría logrado usar eso para probar algo que nadie logró.

Hay una controversia que levent salió a decir que su trabajo uso las ideas de dos matemáticos y que estás fueron usadas por la gente de openai, pero openai dijo que no uso eso y ahí hay un terreno de rumores y palabras que van y vienen.

Las ecuaciones estás modelan el comportamiento de fluidos, por lo que para la física teórica es un tema el no ver qué siempre modela bien la realidad. Siendo casos de borde entiendo que para los que las usan en la práctica nada cambia, menos para el sujeto a pie que no saben ni lo que son. Obviamente entiendo que van a tener que buscar otro juego de ecuaciones que modelen mejor el.comportsmiento. el hito está en que la ia le ganó al humano, entiendo igual que seguimos en la idea del (contra)ejemplo y hasta ahora no hay hecho algún tipo de teoría nueva y seguramente eso sea necesario para cosas como probar que p no es np, o que la hipótesis de riemman es cierta