Recherche
OpenAI formalise sa proposition pour Navier–Stokes dans Lean, sans clore encore le débat
OpenAI présente une solution proposée au problème du millénaire de Navier–Stokes avec une preuve formelle Lean, encore soumise à l’examen indépendant.