OpenAI 称内部模型 3 天半证明 Navier-Stokes
西语帖称 OpenAI 用约一万个 AI 智能体跑了 88 小时给出解析证明，再用 Astra 花 17 小时在 Lean 中形式化，奖项仍待学界审核。
🇺🇸 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.