Resumen:
OpenAI no ha publicado un modelo interno de IA que supuestamente haya resuelto el problema de la ecuación de Navier-Stokes, y los resultados relevantes han sido verificados por máquinas. El informe también indica que la empresa utilizó alrededor de 10.000 agentes autónomos concurrentes para completar el razonamiento y la verificación formal, pero este resultado aún no ha sido reconocido oficialmente por el Clay Mathematics Institute como una respuesta resuelta al problema del Premio del Milenio.
La compañía dijo que ha utilizado métodos de verificación mecánica para proporcionar una solución a la ecuación de Navier-Stokes, pero aún hay un proceso de revisión por parte de la comunidad matemática antes de poder ganar oficialmente el premio.
OpenAI dijo que este modelo interno ha logrado avances en muchos problemas de larga data en matemáticas e informática teórica; en intentos anteriores, había formalizado el argumento en una prueba Lean con una cuota API de aproximadamente 2.000 dólares estadounidenses, para que pudiera ser verificado por el sistema de demostración de teoremas. El problema del Premio del Milenio fue anunciado por el Clay Mathematics Institute en 2000, con un premio de 1 millón de dólares por problema. El problema de Navier-Stokes estudia las ecuaciones del movimiento de fluidos y se utiliza ampliamente en campos como el diseño de aeronaves, la predicción meteorológica y la modelización del flujo sanguíneo.
La prueba proporcionada por OpenAI esta vez tiene 165 páginas. La idea central es construir un fluido tridimensional incompresible: al principio es estacionario y luego actúa sobre él una fuerza externa suave. La velocidad del vórtice continúa aumentando durante el proceso de arrastre hacia adentro y estiramiento, y finalmente se vuelve ilimitada en un tiempo limitado, mientras que la energía cinética total permanece limitada. El artículo señala que esto corresponde a las condiciones C y D en la formulación oficial del problema del Premio del Milenio, que consiste en completar el problema demostrando que la solución fluida fracasa bajo ciertas condiciones.
OpenAI también dijo que para avanzar en este trabajo, la compañía ejecutó múltiples problemas del Premio del Milenio en paralelo; En el problema de Navier-Stokes, alrededor de 10,000 agentes trabajaron juntos y encontraron el resultado después de aproximadamente 88 horas, y luego GPT-6 Astra pasó 17 horas adicionales para ayudar a completar la formalización y verificación. Durante todo el proceso, estos agentes intercambiaron un total de aproximadamente 4,9 millones de mensajes y generaron 300 mil millones de tokens de salida, de los cuales el problema de Navier-Stokes representó 2,7 millones de mensajes y aproximadamente 130 mil millones de tokens de salida.
Sin embargo, el Clay Mathematics Institute actualmente incluye el problema de Navier-Stokes como un problema sin resolver del Premio del Milenio. Según sus reglas, las soluciones candidatas deben publicarse primero en una revista calificada, permanecer disponibles públicamente durante al menos dos años y obtener el reconocimiento general de la comunidad matemática global antes de que el instituto considere otorgar el premio. OpenAI declaró que no tiene intención de recibir el bono de 1 millón de dólares. El lanzamiento tiene como objetivo principal demostrar la velocidad del progreso de su sistema de inteligencia artificial de vanguardia.
Comentarios