OpenAI afirma haber resuelto uno de los Problemas del Milenio con su IA. La que se ha liado después es gorda
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.
Resumen editorial de Safra Report. Texto original en Xataka. Los comentarios son de la comunidad SAFRA, no del medio.
