00:00Nos vies numériques, Stéphane Jourdain, vous nous parlez ce matin d'une percée scientifique remarquable
00:06puisqu'OpenAI est venue à bout d'une équation que tous les mathématiciens rêvent de résoudre.
00:12Oui, c'est l'équation de Navier-Stokes, l'un des sept problèmes du millénaire en mathématiques.
00:16Un casse-tête m'y a pris un million de dollars en l'an 2000 et c'est finalement l
00:20'IA qui a relevé le défi.
00:21Alors on y va par étapes. Stéphane, d'abord c'est quoi cette équation ?
00:25C'est une modélisation de l'écoulement des fluides.
00:27Elle montre comment une rivière, par exemple, évolue dans l'espace et dans le temps
00:31en fonction de sa vitesse, de la pression et des frottements de ses molécules d'eau.
00:35Gabriel Perret est mathématicien, chercheur au CNRS.
00:38C'est une équation un peu iconique, donc elle est utilisée absolument partout.
00:42Ça peut être par exemple dans l'aviation, pour calculer des profils d'aile par exemple,
00:44pour avoir les meilleurs profils possibles.
00:46Ou dans les jeux vidéo, s'il y a de l'eau dans un jeu vidéo et qu'on veut
00:49l'assimiler, on va utiliser cette équation.
00:51Donc on l'utilise, mais le grand mystère c'était de savoir si elle s'applique en toutes circonstances,
00:55même si on augmente les variables jusqu'à l'infini.
00:58Les ingénieurs d'OpenAI ont poussé l'équation dans ses retranchements
01:01et ils ont pu mettre en évidence des cas où elle ne fonctionne plus.
01:05Voilà l'un des sept problèmes du millénaire résolu.
01:08C'était sans doute celui sur lequel on s'attendait le plus à ce que ça tombe.
01:11Mais ça demandait beaucoup de calculs, c'était très compliqué à suivre.
01:14Donc l'IA a réussi à mettre tout ça en musique de façon extrêmement précise,
01:18en faisant des calculs très intriqués, ce qui aurait été, je pense, très chronophage et très compliqué
01:23pour des moyens limités qu'on a quand on est un mathématicien humain.
01:26Alors quelle a été la méthode pour y arriver ?
01:28OpenAI a lancé 10 000 agents dans l'affaire.
01:31Ils ont tourné pendant 88 heures et se sont échangés 5 millions de messages.
01:35Et ces agents se sont manifestement appuyés sur des découvertes récentes de scientifiques bien humains.
01:40Oui, deux mathématiciens qui travaillaient comme des forcenés sur ce défi.
01:44Ils n'étaient pas arrivés au bout, mais ils avaient montré la voie.
01:46Et pour avancer dans leurs travaux, ils ont utilisé ChatGPT.
01:50Alors ils se demandent si OpenAI n'a pas été un peu espionné, ce qu'ils faisaient,
01:54ce que la direction de la start-up dément formellement.
01:57Alors si tout ça est confirmé, est-ce qu'on peut parler de la plus grande découverte scientifique permise par
02:02l'IA ?
02:02On retrouve notre chercheur au CNRS.
02:05Oui, très clairement. Surtout que c'est un résultat qui a une portée en physique,
02:08puisque ça consiste à comprendre l'écoulement des fluides.
02:10Donc c'est considéré comme un résultat extrêmement important pour la physique mathématique.
02:14Et ce n'est que le début. Gabriel Perret s'attend à bien d'autres découvertes.
02:18Depuis un an, il y a eu une accélération absolument incroyable.
02:21Alors oui, c'est grisant. C'est vrai qu'on arrive à faire des choses qu'on n'arrivait pas
02:24à faire
02:24il y a même quelques mois, voire quelques semaines.
02:26Je pense qu'il va y avoir une accélération qui va continuer.
02:28Donc c'est assez excitant.
02:29Excitant, pas pour tout le monde.
02:31Hier, la mathématicienne Isabelle Gallagher s'est dit un peu effondrée
02:35de voir que cette belle question, à laquelle elle a consacré des années à discuter
02:38avec des collègues autour d'un tableau,
02:40aurait été résolue en quelques jours par des dizaines de milliers d'agents.
02:44Et oui, nous sommes peu de choses. Merci Stéphane Jourdain.
