Ce n\u2019\u00e9taient pas de nouvelles math\u00e9matiques complexes. Pas vraiment. C’\u00e9tait de l’ent\u00eatement. <\/p>\n
OpenAI a abandonn\u00e9 la solution \u00e0 la conjecture de double couverture de cycle<\/strong> juste avant de lancer son nouveau mod\u00e8le, GPT-5.6 Sol<\/strong>. Le timing ? Du marketing pur, bien s\u00fbr. L’impact ? Une r\u00e9volution tranquille dans la fa\u00e7on dont nous percevons l\u2019intelligence artificielle et ce qu\u2019elle peut faire. Les humains r\u00e9fl\u00e9chissent \u00e0 ce probl\u00e8me depuis plus d\u2019un demi-si\u00e8cle. GPT-5.6 l’a r\u00e9solu en lui disant une chose sp\u00e9cifique : n’abandonnez pas. <\/p>\n Cela fait partie d\u2019une tendance plus large. Les g\u00e9ants de la technologie investissent de l\u2019argent dans les math\u00e9matiques pures. Non pas parce qu\u2019ils se soucient de la beaut\u00e9 pour la beaut\u00e9. Mais parce que les math\u00e9matiques sont la r\u00e9f\u00e9rence ultime. Cela prouve le raisonnement. Ou du moins, la version machine de celui-ci. <\/p>\n “Les outils d’IA vont changer consid\u00e9rablement la recherche math\u00e9matique.” <\/p>\n<\/blockquote>\n \u2014 Noga Alon<\/strong>, math\u00e9maticien de Princeton, \u00e0 propos de la perc\u00e9e de Sol. Alon a qualifi\u00e9 la preuve d’\u00e9tonnamment courte. Ce qui rend les choses plus dr\u00f4les, si vous me demandez. <\/p>\n Voici ce que vous devez savoir. La th\u00e9orie des graphes semble abstraite, voire ennuyeuse. Un graphique<\/strong> n’est constitu\u00e9 que de points (sommets) et de lignes (ar\u00eates) qui les relient. Internet ? C’est un graphique. Votre r\u00e9seau social ? Egalement un graphique. <\/p>\n Dans les ann\u00e9es 1970, les math\u00e9maticiens ont devin\u00e9 quelque chose d\u2019int\u00e9ressant \u00e0 propos de ces formes. Ils pensaient que presque tous les graphiques avaient une double couverture de cycle<\/strong>. Qu’est ce que c’est? Un ensemble de boucles qui couvre toute la structure exactement deux fois. Chaque bord se trouve \u00e0 l\u2019int\u00e9rieur de pr\u00e9cis\u00e9ment deux boucles. <\/p>\n Assez facile \u00e0 imaginer. <\/p>\n Le prouver ? C\u2019est l\u00e0 que sont pass\u00e9es les d\u00e9cennies. <\/p>\n De grands esprits ont essay\u00e9. Ils l’ont craqu\u00e9 pour des cas sp\u00e9cifiques. Ils se sont rapproch\u00e9s. Mais la preuve g\u00e9n\u00e9rale ? Cela s’est \u00e9chapp\u00e9. \u00c0 chaque fois. <\/p>\n Vendredi dernier, l\u2019IA est intervenue. <\/p>\n La solution s\u2019est av\u00e9r\u00e9e \u00e9l\u00e9gante. Simple, presque. L\u2019IA a montr\u00e9 que vous pouvez parcourir le graphique avec pas plus de huit boucles. Bien s\u00fbr, il y a des d\u00e9tails techniques. Les graphiques maintenus ensemble par des fils simples et fins (bords coup\u00e9s) ne comptent pas. Mais pour le reste ? Fait. <\/p>\n Voici la tournure. <\/p>\n La preuve n\u2019a pas utilis\u00e9 de nouvelles id\u00e9es tape-\u00e0-l\u2019\u0153il. Aucune th\u00e9orie r\u00e9volutionnaire n\u00e9e des r\u00eaves de silicium. Il recyclait les m\u00e9thodes que les humains avaient d\u00e9j\u00e0 essay\u00e9es. Des m\u00e9thodes qu\u2019on jetait \u00e0 la poubelle ou qu\u2019on laissait sur une \u00e9tag\u00e8re parce qu\u2019on s\u2019ennuyait. Ou peur. <\/p>\n Avez-vous d\u00e9j\u00e0 pens\u00e9 que \u00ab dur \u00bb pouvait simplement signifier \u00ab impopulaire \u00bb ? <\/p>\n Andrew Sutherland<\/strong> du MIT le pense. Il sugg\u00e8re qu\u2019une r\u00e9putation de difficult\u00e9 peut \u00eatre un pi\u00e8ge. Les \u00e9tudiants restent \u00e0 l\u2019\u00e9cart. Les experts passent \u00e0 autre chose. Cela devient une proph\u00e9tie d\u2019obscurit\u00e9 auto-r\u00e9alisatrice. Lorsqu\u2019un LLM n\u2019a pas \u00e0 se soucier d\u2019ego ou de carri\u00e8re, il creuse. <\/p>\n \u00ab\u00a0Nous continuerons \u00e0 voir des probl\u00e8mes soi-disant \u00ab\u00a0difficiles\u00a0\u00bb ayant des solutions \u00ab\u00a0faciles\u00a0\u00bb. <\/p>\n<\/blockquote>\n Sutherland ne devine pas aveugl\u00e9ment. OpenAI a publi\u00e9 l’invite utilis\u00e9e pour r\u00e9soudre ce probl\u00e8me. Il r\u00e9v\u00e8le le travail m\u00e9canique et laid derri\u00e8re la magie. L\u2019invite n\u2019\u00e9tait pas de la po\u00e9sie. C’\u00e9tait un \u00e9chafaudage. Instructions pour que soixante-quatre agents<\/strong> se parlent en parall\u00e8le. V\u00e9rification crois\u00e9e. Att\u00e9nuer les mensonges et les hallucinations qui affligent ces mod\u00e8les. <\/p>\n Le vrai truc ? La directive. <\/p>\n Ils n\u2019ont pas seulement demand\u00e9 une r\u00e9ponse. Ils ont dit au robot\u00a0: Passez au moins 8\u00a0heures. Ne pensez pas \u00e0 arr\u00eater.<\/em> <\/p>\n La plupart d\u2019entre nous arr\u00eateraient au bout de deux heures. Ou nous dirions : \u00ab C\u2019est impossible \u00bb. <\/p>\n La machine est rest\u00e9e au clavier. Huit heures. <\/p>\n Il s\u2019av\u00e8re que le g\u00e9nie pourrait bien \u00eatre une endurance que nous sommes trop fatigu\u00e9s pour donner. Et maintenant que l\u2019IA est l\u00e0, peut-\u00eatre que la biblioth\u00e8que de probl\u00e8mes ouverts n\u2019est pas une forteresse. C\u2019est un jardin o\u00f9 on a oubli\u00e9 d\u2019arroser les fleurs.<\/p>\n","protected":false},"excerpt":{"rendered":" Ce n\u2019\u00e9taient pas de nouvelles math\u00e9matiques complexes. Pas vraiment. C’\u00e9tait de l’ent\u00eatement. OpenAI a abandonn\u00e9 la solution \u00e0 la conjecture de double couverture de cycle juste avant de lancer son nouveau mod\u00e8le, GPT-5.6 Sol. Le timing ? Du marketing pur, bien s\u00fbr. L’impact ? Une r\u00e9volution tranquille dans la fa\u00e7on dont nous percevons l\u2019intelligence artificielle […]<\/p>\n","protected":false},"author":1,"featured_media":7931,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"tdm_status":"","tdm_grid_status":""},"categories":[1],"tags":[],"amp_enabled":true,"_links":{"self":[{"href":"https:\/\/www.schooler.org.ua\/fr\/wp-json\/wp\/v2\/posts\/7932"}],"collection":[{"href":"https:\/\/www.schooler.org.ua\/fr\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.schooler.org.ua\/fr\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.schooler.org.ua\/fr\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/www.schooler.org.ua\/fr\/wp-json\/wp\/v2\/comments?post=7932"}],"version-history":[{"count":0,"href":"https:\/\/www.schooler.org.ua\/fr\/wp-json\/wp\/v2\/posts\/7932\/revisions"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/www.schooler.org.ua\/fr\/wp-json\/wp\/v2\/media\/7931"}],"wp:attachment":[{"href":"https:\/\/www.schooler.org.ua\/fr\/wp-json\/wp\/v2\/media?parent=7932"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.schooler.org.ua\/fr\/wp-json\/wp\/v2\/categories?post=7932"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.schooler.org.ua\/fr\/wp-json\/wp\/v2\/tags?post=7932"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}\n
\n