Après 80 ans, l’IA réfute la conjecture d’Erdős

Intervenant 10:00

Bienvenue dans le podcast du magazine Tangente. Aujourd'hui, on va parler d'un coffre-fort mathématique tellement complexe qu'il a résisté aux esprits les plus brillants pendant 80 ans.

Intervenant 20:11

Et c'est finalement une machine qui a fait sauter la serrure.

Intervenant 10:14

Oui, mais pas en la forçant, en inventant littéralement une nouvelle dimension. Moi, je suis vraiment bluffée par cette histoire.

Intervenant 20:21

C'est un bouleversement majeur pour la discipline, j'en suis convaincu. On va décortiquer aujourd'hui comment un modèle d'open AI a fait tomber la fameuse conjecture des distances unitaires.

Intervenant 10:31

Celle de Pôle Erdős, c'est ça ?

Intervenant 20:32

C'est ça, posée en 1946.

Intervenant 10:34

Mais attention, la machine, elle n'aurait absolument rien pu prouver toute seule sans l'intervention de cerveaux humains derrière.

Intervenant 20:42

Et c'est ça qui rend l'histoire si fascinante. Parce que bon, pour comprendre, que cherchait Erdős exactement avec cette conjecture à la base ? Le problème de départ, il est hyper visuel. En fait, si on place un certain nombre de points sur une surface plane...

Intervenant 10:54

Genre sur une feuille de papier.

Intervenant 20:56

Voilà, sur une feuille. La question, c'est de savoir combien de paires de ces points peuvent être séparées d'exactement une unité de distance. D'accord. Et Erdős pensait que la croissance de ce nombre de paires allait être plafonnée, que ça bloquait asymptotiquement autour de l'exposant 1,

Intervenant 11:11

Autrement dit, une relation presque linéaire, quoi. Si on double l'espace, on double les connexions.

Intervenant 21:17

Tout à fait.

Intervenant 11:18

L'image qui me vient, c'est un peu comme essayer d'asseoir un maximum de convives autour de tables espacées de, disons, exactement un mètre.

Intervenant 21:25

Ouais, c'est une super analogie,

Intervenant 11:26

ça. On finit super vite par bloquer parce que l'espace physique s'épuise et tout le monde se cogne, non ?

Intervenant 21:31

C'est exactement le cœur du problème. En fait, l'espace en deux dimensions, il est exigu.

Intervenant 11:35

Bah oui, on est limité.

Intervenant 21:37

Les contraintes géométriques nous rattrapent super vite. Et pendant 80 ans, tout le monde était persuadé que cette limite spatiale était tout simplement insurmontable.

Intervenant 11:45

Et c'est là que je bloque un peu. Si notre plan en 2D est physiquement saturé, comment l'intelligence artificielle a pu contourner ça sans tricher avec les règles ?

Intervenant 21:54

Eh bien, en n'en restant pas dans notre plan classique, justement.

Intervenant 11:57

Ah !

Intervenant 21:58

Le modèle a fait appel au théorème de Golot-Szafarewicz.

Intervenant 12:00

Oula, le théorème de quoi ?

Intervenant 22:02

Golot-Szafarewicz. C'est un vieux concept d'algèbre hyper complexe des années 60. La logique est vertigineuse. En gros, en 2D, les points se bousculent. Mais en ajoutant virtuellement des dimensions extrêmement hautes, l’IA crée de l'espace mathématique supplémentaire.

Intervenant 12:18

Pour connecter les points nains sans qu'ils se croisent.

Intervenant 22:21

Exactement. Elle utilise cet espace infini pour faire ses liens.

Intervenant 12:25

D'accord, je vois bien le mécanisme. Elle construit son réseau tentaculaire là où il y a de la place. Mais après, comment elle ramène ça à notre problème de départ en 2D ?

Intervenant 22:34

C'est là qu'intervient la projection. En fait, elle projette cette énorme structure multidimensionnelle directement sur notre plan classique.

Intervenant 12:41

Un peu comme l'ombre d'un objet en 3D sur un mur plat.

Intervenant 22:44

C'est ça. Et en écrasant cette structure, ça génère une densité de points à distance que la géométrie plane n'aurait absolument jamais permise par elle-même.

Intervenant 12:53

C'est complètement inattendu. Enfin, c'est presque comme si on mobilisait la mécanique quantique pour réussir une simple recette de cuisine.

Intervenant 23:00

C'est très contre-intuitif, mais ça marche parfaitement. Et ça pulvérise vraiment la limite. Complètement. Cette projection, elle révèle une infinité de configurations où la limite d'Erdős s'est dépassée. Avec un écart qualitatif de 0,014, juste au-dessus de ce fameux exposant 1.

Intervenant 13:17

Donc la machine a littéralement fait exploser le coffre-fort ?

Intervenant 23:20

On peut dire ça, oui.

Intervenant 13:22

Mais j'imagine que le tas de métal tordu qui reste après l'explosion, ça ne ressemble pas vraiment à une belle démonstration mathématique dans les règles de l'art, si ?

Intervenant 23:31

Et c'est toute la nuance de cette avancée. Le chercheur Gaël Varroco a utilisé une métaphore que je trouve géniale pour expliquer ça.

Intervenant 13:38

Ah oui, laquelle ?

Intervenant 23:39

Il dit que l’IA a fonctionné comme une puissante pelteuse mécanique. Une pelteuse ? Ouais. Elle a remué des tonnes et des tonnes de terres algorithmiques à une vitesse folle pour déterrer un filon brut.

Intervenant 13:51

D'accord, mais elle n'a pas construit la maison avec ?

Intervenant 23:53

Non. Il a fallu une équipe de 8 mathématiciens pour ça. Des pointures comme Tim Gowers ou Thomas Bloom qui ont joué les architectes.

Intervenant 14:02

Donc, les humains ont dû trier les débris pour donner du sens à ce que la machine a recraché.

Intervenant 24:07

Précisément. Ils ont pris ces données brutes, complètement opaques, pour les décortiquer, les vérifier et transformer cette trouvaille brutale en une vraie preuve humaine et rigoureuse.

Intervenant 14:18

C'est fou quand on y pense. On célèbre une immense victoire algorithmique, alors que la machine nous balance une réponse sans même nous montrer son brouillon.

Intervenant 24:25

Et c'est bien ça qui pose problème.

Intervenant 14:27

C'est exactement le genre de boîte noire qui terrifie une grosse partie de la communauté scientifique aujourd'hui.

Intervenant 24:32

Ah, l'opacité est totalement au centre des débats en ce moment. Parce que le modèle est fermé, on ne sait pas combien d'essais ont été faits.

Intervenant 14:38

Ni le temps de calcul réel, j'imagine.

Intervenant 24:40

Rien du tout. Et c'est pour ça que 1500 chercheurs ont signé la déclaration de Leiden.

Intervenant 14:46

Pour demander des garde-fous ?

Intervenant 24:48

Voilà. Ils exigent des règles strictes sur la vérifiabilité des preuves générées par ces systèmes massifs. On ne peut pas juste accepter un « croyez-moi sur parole » algorithmique.

Intervenant 14:58

Ce qui nous laisse avec un paradoxe vraiment fascinant au final. On a une machine capable de résoudre une énigme invincible depuis 80 ans.

Intervenant 25:06

Oui, mais uniquement parce qu'on lui a expressément dicté le problème à résoudre.

Intervenant 15:10

C'est ça, l’IA, elle excelle pour exécuter, mais elle ne sait ni poser les questions, ni vraiment comprendre leur profondeur.

Intervenant 25:16

Elle n'a aucune intuition de la valeur mathématique.

Intervenant 15:19

Alors, petite réflexion ouverte pour terminer. Que deviendra la discipline le jour où une machine commencera, de sa propre initiative, à formuler les conjectures qui méritent vraiment l'attention de l'esprit humain ? Laisserons-nous, la pelleteuse, dessiner les plans ?