Pendant 90 ans, les équations de Navier–Stokes ont été un mur qui bloquait les esprits les plus brillants des mathématiques.
Ce problème explique comment l’air et l’eau se déplacent, et il est essentiel pour concevoir des avions, prévoir la météo et comprendre la circulation du sang dans le corps humain. Il faisait partie des sept « problèmes du millénaire » du Clay Mathematics Institute, qui attendent une solution depuis des décennies. Un modèle d’OpenAI s’est attaqué au défi et, après 88 heures de travail ininterrompu et des millions de dollars de puissance de calcul, a apporté une réponse : il a prouvé que ces équations pouvaient cesser d’être valables au fil du temps, exactement comme l’exigeait le problème initial.
L’annonce n’est pas venue sans controverse. Quelques heures plus tôt, deux chercheurs, Tristan Buckmaster de l’Université de New York et Levent Alpoge d’Anthropic, avaient publié leurs propres avancées sur des équations connexes grâce à l’IA. Buckmaster a accusé OpenAI de s’être emparée du problème juste après avoir appris l’existence de ses travaux. L’entreprise l’a nié et a déclaré qu’elle avait proposé de partager le mérite. Ce que personne ne conteste, c’est le timing : ce qui avait demandé des générations entières, une machine l’a résolu en moins de quatre jours.
