OpenAI resuelve el problema del milenio de Navier-Stokes con un sistema interno
On the Navier–Stokes Millennium Prize Problem
OpenAI ha compartido una solución al problema de existencia y suavidad de las ecuaciones de Navier-Stokes, uno de los Problemas del Milenio. La prueba, generada por un sistema interno, demuestra que las ecuaciones pueden desarrollar una singularidad en tiempo finito. El resultado se formalizó en Lean. El sistema utilizó unos 10.000 agentes concurrentes y 130 mil millones de tokens. OpenAI reconoce el trabajo paralelo de investigadores de Anthropic y NYU sobre el problema de Euler forzado.
La solución es un vórtice, un remolino de fluido que gira hacia adentro y se alarga cada vez más, como un espagueti.
- peri-cl
Terence Tao tiene algunas observaciones que parecen estar dirigidas a esto,
https://mathstodon.xyz/@tao/117237320796901560
> "Ahora hemos visto que incluso el rumor de que alguien está trabajando en un problema puede desencadenar una enorme cantidad de esfuerzo impulsado por IA para aplanarlo antes de que el proyecto de investigación original tenga tiempo de alcanzar su máximo potencial. Los incentivos ahora pueden apuntar en la dirección de no compartir más direcciones de investigación prometedoras con la comunidad en general, lo que revertiría siglos de tradiciones de ciencia abierta y causaría daños graves a largo plazo al futuro del campo."
- pavel_lishin
¿Es este el que supuestamente se basó en el trabajo y las indicaciones reales de otra persona?
https://news.ycombinator.com/item?id=49605915
https://bsky.app/profile/quantian.bsky.social/post/3muyhwbcd...
- arctic-true
Enterrado bajo el drama está el hecho de que OpenAI afirma que un modelo interno que han estado entrenando durante menos de dos semanas es más del doble de capaz en matemáticas que Astra, que se hizo público hace solo una semana. Incluso si esta mejora se limita a las matemáticas, es una hazaña asombrosa.
- hdivider
Mi opinión:
1. Muestra lo que incluso esta ola de IA puede hacer realmente.
2. Desearía que lo hubieran hecho otras personas, idealmente bajo algún tipo de control público como la investigación de la NASA o el modelo de NPR.
3. Ten en cuenta: la ciencia natural es diferente. No siempre es una cuestión de computación. La gente de ciencias de la computación a menudo lucha con esto -- pero este mundo virtual aquí no existe realmente. Todo es físico, incluida la información. Cualquier doctorado en ciencias naturales o similar sabe lo complicada que es realmente la naturaleza -- por ejemplo, menciona cualquier tema de investigación e intenta encapsular todos los fenómenos relevantes presentes allí. Las matemáticas puras son diferentes porque definimos el problema, en lugar de explorar la naturaleza. En mi opinión, estamos lejos de eliminar a los humanos en la I+D de ciencias naturales. Sin embargo, los avances en IA pueden ayudarnos enormemente en todas las ciencias naturales, lo que ya está empezando a suceder.
- tiborsaas
> Estamos compartiendo una solución al problema de existencia y suavidad de Navier-Stokes, uno de los Problemas del Milenio. Esta prueba, producida por un sistema interno de OpenAI, muestra que la dinámica de las ecuaciones de Navier-Stokes para el movimiento de fluidos puede desarrollar una singularidad en tiempo finito. Estamos compartiendo tanto un informe de la prueba como una formalización en Lean.
¡GUAU?
- mewse-hn
"no podemos descartar que datos desidentificados derivados de su uso de nuestros productos hayan ayudado a mejorar nuestros modelos".
Qué frase tan peligrosa para enterrar en este informe, ¿no puedes descartar que tus modelos estuvieran espiando a otros investigadores?
- jakevoytko
Para tener contexto completo, aquí está el hilo de HN desde el otro lado de la sección "Trabajo Concurrente": https://news.ycombinator.com/item?id=49605915
A diferencia de la lectura simple del comunicado de prensa de OpenAI, es mucho más sin filtros y describe un comportamiento particularmente agresivo por parte de empleados específicos de OpenAI
- intenex
Creo que esto es evidencia clara de que los modelos de IA están ahora en la frontera lejana de la innovación y el descubrimiento matemático y superan los límites humanos.
Este problema específico, que ha tenido una recompensa de $1 millón sobre su cabeza y que aún permanece sin resolver durante 26 años después de que se colocara la recompensa, es una evidencia bastante clara de que muchos de los mejores matemáticos humanos del mundo habrían resuelto este problema si hubieran podido, y ninguno fue capaz hasta que llegaron los LLM.
Es difícil afirmar en este punto que los LLM no son capaces de creatividad y genio STEM novedosos hasta un grado que pronto superará con creces al de los humanos.
¡Si alguien tiene contraargumentos, me encantaría escucharlos!
- recitedropper
Un giro triste de los acontecimientos para nuestro mundo. Después de ver el comportamiento de los investigadores más veteranos de OpenAI en Twitter, me siento aún menos seguro de ellos como equipo para estar guiando tanto capital y cómputo.
El bosque oscuro espera...
- piker
"... El punto sigue siendo que hay un costo de oportunidad sustancial en convertir un problema históricamente productivo y motivador (como la regularidad de Navier-Stokes) en una mera publicación viral en redes sociales que anuncia algún progreso de referencia, en lugar de avanzar realmente en el campo y desarrollar la próxima generación tanto de problemas que plantear como de personas que trabajen en ellos."