OpenAI afirma haber resuelto uno de los Problemas del Milenio con su IA. La que se ha liado después es gorda
Resumen editorial de Safra Report. Texto original en Xataka.
La compañía presentó una demostración analítica y su formalización en Lean para el problema de Navier-Stokes, dotado con un millón de dólares. El hallazgo, aún pendiente de escrutinio, generó polémica sobre el mérito del trabajo previo de matemáticos humanos.