OpenAI publica una prueba generada por IA del problema de Navier-Stokes, formalizada en Lean y aún pendiente de validación independiente y del Clay Institute.
Utilizamos cookies para facilitar la relación de los visitantes con nuestro contenido y para permitir elaborar estadísticas sobre las visitantes que recibimos. No se utilizan cookies con fines publicitarios ni se almacena información de tipo personal. Puede gestionar las cookies desde aquí.
