OpenAI says internal model proved Navier-Stokes in 3.5 days
A Spanish-language post says OpenAI used about 10,000 AI agents over roughly 88 hours to produce an analytical proof, then formalized it in Lean in 17 hours with Astra, with the Clay prize still awaiting academic review.
🇺🇸 LO ÚLTIMO: OpenAI afirma que uno de sus sistemas internos resolvió en unos 3 días y medio el problema del milenio de Navier-Stokes, uno de los mayores desafíos matemáticos de los últimos 90 años. Las ecuaciones de Navier-Stokes describen cómo se mueven los fluidos. El problema busca determinar si, en tres dimensiones, sus soluciones pueden mantenerse suaves para siempre o si pueden "explotar" y formar una singularidad en tiempo finito. Según OpenAI, no fue el ChatGPT disponible en la app, sino un modelo interno más avanzado que trabajó con unos 10 000 agentes de IA durante cerca de 88 horas para producir una prueba analítica. La empresa también afirmó que la demostración fue formalizada y verificada en Lean, un lenguaje usado para comprobar pruebas matemáticas. Ese proceso tomó otras 17 horas con apoyo de GPT-6 Astra. El Clay Mathematics Institute todavía no ha entregado el premio de un millón de dólares. Ahora la comunidad matemática deberá revisar la prueba antes de considerar oficialmente cerrado uno de los siete problemas del milenio.