{"id":21994,"date":"2026-09-29T10:45:11","date_gmt":"2026-09-29T14:45:11","guid":{"rendered":"https:\/\/notes.math.ca\/article\/collaboration-avec-nos-nouveaux-maitres-robots-ii\/"},"modified":"2026-09-29T10:49:58","modified_gmt":"2026-09-29T14:49:58","slug":"collaboration-avec-nos-nouveaux-maitres-robots-ii","status":"publish","type":"article","link":"https:\/\/notes.math.ca\/fr\/article\/collaboration-avec-nos-nouveaux-maitres-robots-ii\/","title":{"rendered":"Collaboration avec nos nouveaux ma\u00eetres robots : II"},"content":{"rendered":"<p>Les choses \u00e9voluent rapidement.<\/p>\n<p>Comme vous l\u2019avez probablement entendu, OpenAI a r\u00e9cemment (en septembre 2026) annonc\u00e9 avoir r\u00e9solu l\u2019un des probl\u00e8mes du prix du mill\u00e9naire de Clay, en construisant une solution singuli\u00e8re des \u00e9quations de Navier\u2013Stokes, dans laquelle des conditions initiales r\u00e9guli\u00e8res et bien comport\u00e9es entra\u00eenent l\u2019apparition d\u2019une singularit\u00e9 en temps fini. La solution propos\u00e9e est un vortex cylindrique qui \u00ab implose \u00bb vers une singularit\u00e9 en un temps fini. La solution n\u2019a pas encore \u00e9t\u00e9 construite explicitement, mais une preuve d\u2019existence v\u00e9rifiable par une machine, utilisant Lean, a \u00e9t\u00e9 publi\u00e9e.<\/p>\n<p>Sur le plan physique, un tel r\u00e9sultat est surprenant, mais il n\u2019est pas sans pr\u00e9c\u00e9dent. La surprise vient en partie du fait que nous n\u2019observons pas ce ph\u00e9nom\u00e8ne dans la vie r\u00e9elle : dans la plupart des cas, les ph\u00e9nom\u00e8nes d\u2019explosion de ce type en physique sont emp\u00each\u00e9s par la d\u00e9faillance du mod\u00e8le. Par exemple, bien qu\u2019un ph\u00e9nom\u00e8ne similaire se produise lorsque des r\u00e9gimes de vent s\u2019\u00e9tendant sur plusieurs kilom\u00e8tres forment une petite tornade tr\u00e8s intense, une tornade ne continue pas \u00e0 s\u2019intensifier jusqu\u2019\u00e0 atteindre des vitesses de vent infinies! Les autres effets qui n\u2019\u00e9taient pas suffisamment importants pour emp\u00eacher la formation de la tornade deviennent plut\u00f4t suffisamment importants, relativement parlant, pour en limiter l\u2019intensit\u00e9.<\/p>\n<p>De m\u00eame, lorsqu\u2019une petite bulle dans un fluide s\u2019effondre sous l\u2019effet de la tension superficielle, sa courbure augmente et la force qui provoque son effondrement augmente plus rapidement que la pression exerc\u00e9e vers l\u2019ext\u00e9rieur par le gaz emprisonn\u00e9 \u00e0 l\u2019int\u00e9rieur. Un mod\u00e8le simpliste laisse croire que le gaz devrait \u00eatre chauff\u00e9 de mani\u00e8re adiabatique jusqu\u2019\u00e0 atteindre une temp\u00e9rature infinie, et cette id\u00e9e a \u00e9t\u00e9 propos\u00e9e comme moyen de r\u00e9aliser la fusion nucl\u00e9aire. Malheureusement, le mod\u00e8le cesse d\u2019\u00eatre valable avant que cela puisse se produire, bien que, dans certaines circonstances, le gaz dans la bulle puisse devenir incandescent avant que cela n\u2019arrive.J\u2019ai aussi d\u00e9j\u00e0 vu une solution au probl\u00e8me gravitationnel \u00e0 cinq corps dans laquelle des vitesses infinies sont atteintes en un temps fini. Bien s\u00fbr, pour lib\u00e9rer cette \u00e9nergie cin\u00e9tique illimit\u00e9e, certains des potentiels<math data-latex=\"-M_iM_jG\/r_{ij}\"><semantics><mrow><mo>\u2212<\/mo><msub><mi>M<\/mi><mi>i<\/mi><\/msub><msub><mi>M<\/mi><mi>j<\/mi><\/msub><mi>G<\/mi><mi>\/<\/mi><msub><mi>r<\/mi><mrow><mi>i<\/mi><mi>j<\/mi><\/mrow><\/msub><\/mrow><\/semantics><\/math> doivent devenir arbitrairement grands, les distances <math data-latex=\"r_{ij}\"><semantics><msub><mi>r<\/mi><mrow><mi>i<\/mi><mi>j<\/mi><\/mrow><\/msub><\/semantics><\/math>doivent tendre vers 0, et le mod\u00e8le cesse d\u2019\u00eatre valable lorsque les corps entrent en collision!<\/p>\n<p>Mais ce qui pr\u00e9occupe les math\u00e9maticiennes et math\u00e9maticiens, ce n\u2019est pas que votre prochaine tasse de caf\u00e9 puisse d\u00e9velopper une singularit\u00e9 et exploser lorsque vous la brasserez. Ce qui les pr\u00e9occupe plut\u00f4t, c\u2019est la mani\u00e8re dont cette recherche a \u00e9t\u00e9 men\u00e9e. Certains soup\u00e7onnent que le grand mod\u00e8le de langage propri\u00e9taire utilis\u00e9 par OpenAI pourrait avoir \u00e9t\u00e9 entra\u00een\u00e9, en partie, \u00e0 partir de publications dans lesquelles des math\u00e9maticiennes et math\u00e9maticiens travaillant sur le m\u00eame probl\u00e8me avaient publi\u00e9 leurs r\u00e9sultats interm\u00e9diaires. Au moment d\u2019\u00e9crire ces lignes, cela ne semble pas avoir \u00e9t\u00e9 v\u00e9rifi\u00e9 et pourrait n\u2019\u00eatre qu\u2019une fausse alerte. Ce qui semble clair, c\u2019est qu\u2019OpenAI, en utilisant d\u2019\u00e9normes ressources d\u2019un type qui n\u2019est g\u00e9n\u00e9ralement pas accessible, s\u2019est immisc\u00e9e dans un domaine de recherche d\u00e9j\u00e0 \u00e9tabli, d\u2019une mani\u00e8re qui n\u2019est g\u00e9n\u00e9ralement pas accept\u00e9e au sein de la communaut\u00e9 math\u00e9matique. Le r\u00e9sultat semble \u00e9galement avoir \u00e9t\u00e9 annonc\u00e9 publiquement sans aucune forme d\u2019\u00e9valuation par les pairs, ce qui constitue une autre faute de go\u00fbt.<\/p>\n<p>Maintenant, l\u2019expression \u00ab\u00a0g\u00e9n\u00e9ralement pas accept\u00e9e\u00a0\u00bb doit \u00eatre interpr\u00e9t\u00e9e avec nuance. Dans le cas d\u2019un probl\u00e8me de petite taille et bien circonscrit, il n\u2019est pas rare que deux (ou plusieurs) math\u00e9maticiennes et math\u00e9maticiens travaillent sur le m\u00eame probl\u00e8me en m\u00eame temps, chacun ignorant que les autres y travaillent. Cela peut se poursuivre jusqu\u2019\u00e0 des publications parall\u00e8les, ou une r\u00e9dactrice ou un r\u00e9dacteur peut sugg\u00e9rer que les autrices et auteurs regroupent leurs travaux dans une publication conjointe. Pour un projet d\u2019envergure comme le probl\u00e8me de Navier\u2013Stokes, il serait peu probable que des chercheuses et chercheurs \u00e9tablis ignorent l\u2019existence de leurs travaux respectifs : ils lisent les m\u00eames revues, assistent aux m\u00eames conf\u00e9rences et, tr\u00e8s probablement, se tiennent mutuellement inform\u00e9s avant d\u2019en informer le reste de la communaut\u00e9. Cela est attendu, mais il est entendu (surtout dans les domaines des math\u00e9matiques les plus \u00ab\u00a0accessibles\u00a0\u00bb) qu\u2019une fois de temps \u00e0 autre, une amatrice ou un amateur, ou encore une \u00e9tudiante ou un \u00e9tudiant de premier cycle, r\u00e9soudra un probl\u00e8me qui laisse perplexe un nombre non nul de sp\u00e9cialistes. Et c\u2019est le jeu. Bien que l\u2019id\u00e9e ait parfois \u00e9t\u00e9 avanc\u00e9e selon laquelle les math\u00e9maticiennes et math\u00e9maticiens devraient se joindre aux avocates et avocats, aux ing\u00e9nieures et ing\u00e9nieurs et aux g\u00e9ologues pour cr\u00e9er un syst\u00e8me ferm\u00e9 et r\u00e9clamer le droit de poursuivre toute personne ext\u00e9rieure qui tenterait de pratiquer le m\u00e9tier depuis l\u2019ext\u00e9rieur du cercle, l\u2019id\u00e9e n\u2019a pas fait son chemin. Et m\u00eame celles et ceux qui la soutiennent ne sont pas, \u00e0 mon avis, motiv\u00e9s par la volont\u00e9 d\u2019emp\u00eacher qu\u2019une personne ext\u00e9rieure empi\u00e8te involontairement sur un projet de recherche d\u00e9j\u00e0 \u00e9tabli.<\/p>\n<p>Cependant, OpenAI est loin d\u2019\u00eatre une amatrice ou un amateur qui cr\u00e9e des d\u00e9monstrations \u00e0 la table de sa cuisine apr\u00e8s avoir fait la vaisselle du souper. On estime que les ressources informatiques consacr\u00e9es \u00e0 cet assaut frontal contre les c\u00e9l\u00e8bres probl\u00e8mes du mill\u00e9naire de Clay ont co\u00fbt\u00e9 des millions de dollars. Bien s\u00fbr, l\u2019objectif principal d\u2019OpenAI \u00e9tait de mettre en valeur ses logiciels, comme le montre notamment le choix de probl\u00e8mes dont tous les journalistes scientifiques ont d\u00e9j\u00e0 entendu parler. Il est n\u00e9anmoins int\u00e9ressant de se demander quel aurait \u00e9t\u00e9 le r\u00e9sultat si les m\u00eames ressources avaient \u00e9t\u00e9 consacr\u00e9es \u00e0 financer des d\u00e9gagements d\u2019enseignement pour toutes les chercheuses et tous les chercheurs de premier plan dans ce domaine. Des injections de fonds de cette ampleur ont tendance \u00e0 produire des r\u00e9sultats\u2026 comme l\u2019avait d\u2019ailleurs pr\u00e9vu l\u2019Institut Clay lorsqu\u2019il a offert ces prix.<\/p>\n<p>On pourrait faire valoir qu\u2019il n\u2019est pas nouveau que certaines chercheuses et certains chercheurs aient acc\u00e8s \u00e0 des ressources informatiques auxquelles d\u2019autres n\u2019ont pas acc\u00e8s. Lorsque Appel et Haken ont utilis\u00e9 des calculs intensifs pour d\u00e9montrer le th\u00e9or\u00e8me des quatre couleurs en 1976, les th\u00e9oriciennes et th\u00e9oriciens des graphes n\u2019avaient pas tous acc\u00e8s aux grandes quantit\u00e9s de temps de calcul sur ordinateur central dont leur d\u00e9monstration avait besoin, m\u00eame s\u2019ils avaient su quoi en faire, et les ordinateurs personnels de l\u2019\u00e9poque n\u2019\u00e9taient pas suffisamment puissants pour accomplir cette t\u00e2che. Plus r\u00e9cemment, il y a eu des p\u00e9riodes o\u00f9 des syst\u00e8mes de calcul formel \u00e9taient disponibles sur certains bureaux et pas sur d\u2019autres. (Comme l\u2019a si bien dit le grand Piet Hein : \u00ab\u00a0L\u2019argent va de travers \/ le diable l\u2019a d\u00e9cr\u00e9t\u00e9 \/ il n\u2019appartient jamais \/ \u00e0 ceux qui en ont besoin.\u00a0\u00bb) D\u2019autres domaines scientifiques connaissent des in\u00e9galit\u00e9s d\u2019acc\u00e8s encore plus importantes; et nous apprenons g\u00e9n\u00e9ralement, bien qu\u2019\u00e0 contrec\u0153ur, \u00e0 accepter la situation.<\/p>\n<p>Mais tout de m\u00eame : est-ce trop demander qu\u2019une nouvelle venue ou un nouveau venu non traditionnel dans une communaut\u00e9, qui consacre des ressources d\u2019une telle ampleur \u00e0 son incursion, se renseigne au moins sur la fa\u00e7on dont les choses se font dans cette communaut\u00e9 et tente de s\u2019y int\u00e9grer avec politesse?<\/p>\n","protected":false},"author":11,"template":"","section":[23],"keyword":[],"class_list":["post-21994","article","type-article","status-publish","hentry","section-editorial-2"],"toolset-meta":{"author-4-info":{"author-4-surname":{"type":"textfield","raw":""},"author-4-given-names":{"type":"textfield","raw":""},"author-4-honorific":{"type":"textfield","raw":""},"author-4-institution":{"type":"textfield","raw":""},"author-4-email":{"type":"email","raw":""},"author-4-cms-role":{"type":"textfield","raw":""}},"author-3-info":{"author-3-surname":{"type":"textfield","raw":""},"author-3-given-names":{"type":"textfield","raw":""},"author-3-honorific":{"type":"textfield","raw":""},"author-3-institution":{"type":"textfield","raw":""},"author-3-email":{"type":"email","raw":""},"author-3-cms-role":{"type":"textfield","raw":""}},"author-2-info":{"author-2-surname":{"type":"textfield","raw":""},"author-2-given-names":{"type":"textfield","raw":""},"author-2-honorific":{"type":"textfield","raw":""},"author-2-institution":{"type":"textfield","raw":""},"author-2-email":{"type":"email","raw":""},"author-2-cms-role":{"type":"textfield","raw":""}},"author-info":{"author-surname":{"type":"textfield","raw":"Dawson"},"author-given-names":{"type":"textfield","raw":"Robert"},"author-honorific":{"type":"textfield","raw":"Dr."},"author-email":{"type":"email","raw":""},"author-institution":{"type":"textfield","raw":"Saint Mary's University"},"author-cms-role":{"type":"textfield","raw":"Editor - CMS Notes"}},"unknown":{"downloadable-pdf":{"type":"file","raw":"","attachment_id":null},"article-toc-weight":{"type":"numeric","raw":"2"},"author-surname":{"type":"textfield","raw":"Dawson"},"author-given-names":{"type":"textfield","raw":"Robert"}}},"_links":{"self":[{"href":"https:\/\/notes.math.ca\/fr\/wp-json\/wp\/v2\/article\/21994","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/notes.math.ca\/fr\/wp-json\/wp\/v2\/article"}],"about":[{"href":"https:\/\/notes.math.ca\/fr\/wp-json\/wp\/v2\/types\/article"}],"author":[{"embeddable":true,"href":"https:\/\/notes.math.ca\/fr\/wp-json\/wp\/v2\/users\/11"}],"version-history":[{"count":6,"href":"https:\/\/notes.math.ca\/fr\/wp-json\/wp\/v2\/article\/21994\/revisions"}],"predecessor-version":[{"id":22002,"href":"https:\/\/notes.math.ca\/fr\/wp-json\/wp\/v2\/article\/21994\/revisions\/22002"}],"wp:attachment":[{"href":"https:\/\/notes.math.ca\/fr\/wp-json\/wp\/v2\/media?parent=21994"}],"wp:term":[{"taxonomy":"section","embeddable":true,"href":"https:\/\/notes.math.ca\/fr\/wp-json\/wp\/v2\/section?post=21994"},{"taxonomy":"keyword","embeddable":true,"href":"https:\/\/notes.math.ca\/fr\/wp-json\/wp\/v2\/keyword?post=21994"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}