La ejecución de 10.000 agentes de OpenAI construye una explosión forzada de Navier-Stokes, no la solución de Clay

OpenAI ejecutó aproximadamente 10.000 agentes en paralelo durante unas 88 horas para construir una explosión en tiempo finito para las ecuaciones de Navier-Stokes, y la demostración de 165 páginas fue verificada por máquina en Lean en 17 horas adicionales. La construcción añade un término de forzamiento externo suave, por lo que no cumple con la formulación de Clay: Clay sigue clasificando el problema como no resuelto y OpenAI rechaza el premio de $1M USD. Lo relevante es el método, no el resultado: una gran flota de agentes que produce una demostración a escala de investigación que se verifica formalmente, un indicador de hasta dónde ha avanzado la IA en las matemáticas de frontera.

Fuente: openai.com ↗