OpenAI expose une preuve montrant que les solutions des équations de Navier-Stokes peuvent développer une singularité en un temps fini. Ce problème, qui porte sur l’existence des solutions, restait depuis près de 90 ans l’une des grandes questions non résolues des mathématiques.
La preuve a été produite par un modèle interne d’OpenAI. Selon l’entreprise, environ 10 000 agents ont travaillé sur le problème, dont la résolution a été obtenue le 5 septembre. OpenAI précise qu’elle ne prétend pas au prix du millénaire pour ce résultat, qui doit encore être évalué par la communauté mathématique.
DERNIÈRE MINUTE 
booster
