14 avr. 2021 · 23 min
Du sable aux pixels : le voyage du transport optimal
L’épisode suit les étapes qui ont mené du problème de Monge aux images numériques, pour découvrir comment les maths minimisent les déplacements.
Collections de cet épisode (9)
Un contenu original Tangente, adapté en podcast avec l’aide de l’IA et validé par notre rédaction. Comment ça marche ?
Transcription
Afficher la transcriptionMasquer la transcription
Transcription automatique
Intervenant 1
Imaginons juste un instant une photographie affichée sur un écran. Tu vois, un visage avec des traits parfaitement définis.
Intervenant 2
Ouais, un truc hyper réaliste avec un grain de peau détaillé, le regard profond et tout.
Intervenant 1
C'est ça, exactement. Le truc où tu te dis waouh, c'est bluffant de naturel. Sauf que cette personne n'existe pas.
Intervenant 2
Elle n'a jamais existé.
Intervenant 1
Jamais. C'est une hallucination numérique complète. Un visage généré de A à Z par une intelligence artificielle. Et je crois que le plus vertigineux dans tout ça ?
Intervenant 2
C'est la machinerie mathématique qu'il y a derrière.
Intervenant 1
Mais grave ! Parce que les algorithmes qui génèrent ces faux visages, ils reposent sur une technique qui a été inventée, attention, pour optimiser le déplacement d'un tas de sable sous le règne de Louis XVI.
Intervenant 2
Non mais c'est le grand écart absolu quoi. C'est le genre de connexion improbable qui te donne un peu le vertige quand tu commences à t'y pencher sérieusement.
Intervenant 1
Carrément. Et bah c'est exactement pour ça qu'on est là. Bienvenue dans le podcast du magazine Tangente. Aujourd'hui, on se lance dans une exploration vraiment hors du commun, pour ceux qui nous écoutent. L'objectif de notre plongée, c'est de comprendre cette trajectoire totalement insoupcionnée.
Intervenant 2
C'est un super programme.
Intervenant 1
N'est-ce pas ? On va décortiquer ensemble une théorie mathématique vieille de deux siècles et demi qu'on appelle le transport optimal. On va voir étape par étape comment une question ultra pragmatique de logistique militaire, genre avec de la boue et de la terre, s'est métamorphosée en un outil d'abstraction surpuissant.
Intervenant 2
Ce qui est vraiment fascinant ici, c'est de réaliser à quel point les mathématiques, c'est une matière hyper vivante, qui voyage à travers le temps. Ouais. T'as une énigme qui semble complètement bloquée à une époque, posée pour des raisons très très terre-à-terre, et qui peut sommeiller pendant des siècles.
Intervenant 1
Jusqu'à se réveiller d'un coup.
Intervenant 2
Voilà. Elle se réveille et elle devient le moteur central de la science des données modernes. Moi je suis fascinée. C'est la preuve que la recherche fondamentale finit toujours par percuter le réel, d'une manière qu'on n'aurait jamais pu anticiper.
Intervenant 1
Bon, alors, décortiquons tout ça. Pour comprendre comment marche Elia qui te dessine des visages aujourd'hui, faut carrément chausser ses bottes et remonter le temps, direction l'année 1781. Ah, la
Intervenant 2
belle époque !
Intervenant 1
C'est là qu'entre en scène un certain Gaspard Monge. Un personnage dont le parcours est déjà en soi un vrai petit roman, je trouve.
Intervenant 2
Complètement. Gaspard Monge, c'est un mathématicien français avec un destin vraiment exceptionnel. Il naît à Beaune, en Bourgogne, dans un milieu très modeste, genre son père était marchand ambulant.
Intervenant 1
D'accord, donc on n'est pas du tout sur l'aristocratie scientifique de base.
Intervenant 2
Pas du tout, mais son génie éclate incroyablement tôt. À dix-sept ans à peine, il dresse un plan ultra détaillé de sa ville natale.
Intervenant 1
À dix-sept ans ?
Intervenant 2
Ouais, avec une précision géométrique qui laisse absolument tout le monde sans voix. Sa capacité à visualiser l'espace, ça crevait les yeux quoi.
Intervenant 1
Une sorte de prodige de la cartographie avant l'heure en fait.
Intervenant 2
Exactement. Et ce talent brut, ça va lui ouvrir les portes de la très prestigieuse École royale du génie de Mézières.
Intervenant 1
Ah ouais, la cour des grands.
Intervenant 2
Sauf qu'à l'époque, il n'a pas les titres de noblesse requis pour y entrer comme élève régulier.
Intervenant 1
Ah bah oui, on s'y régime oblige.
Intervenant 2
Du coup, on l'engage par la petite porte, comme simple assistant. Mais son esprit est tellement vif, ses fulgurances sont tellement nombreuses, qu'il s'impose très très vite et il finit par devenir professeur.
Intervenant 1
Jolie revanche.
Intervenant 2
Grave ! Et ce qui fait vraiment la patte de monge, c'est qu'il refuse catégoriquement de séparer la théorie de la pratique. Il vit entouré de militaires, d'ingénieurs, de bâtisseurs. Pour lui, ces mathématiques doivent servir à résoudre des problèmes concrets.
Intervenant 1
Tangible, quoi. Et d'ailleurs, c'est précisément de cette volonté d'être concret que naît ce fameux problème du tas de sable dont on parlait. En 1791, Monge présente un travail à l'Académie des sciences qui s'intitule le, attention, mémoire sur la théorie des déblais et des remblais.
Intervenant 2
C'est très poétique.
Intervenant 1
N'est-ce pas ? Derrière ce titre un peu aride, l'idée est brillante. En gros, si on a un tas de terre quelque part, le déblai, et qu'on doit déplacer toute cette terre vers un autre endroit précis pour construire un nouveau monticule, le remblai, bah comment on s'y prend ?
Intervenant 2
C'est une vraie question de chantier, en
Intervenant 1
fait. Totalement. Évidemment, le volume de terre reste le même à la fin, mais la forme du tas peut être complètement différente. Et la contrainte un peu infernale que Monge se pose, c'est de trouver comment faire ce transfert pour que la somme des distances parcourues par absolument tous les grains de sable soit la plus petite possible.
Intervenant 2
C'est le cœur même de l'optimisation. Faut s'imaginer que déplacer de la matière au XVIIIe siècle, ça veut dire des brouettes, des chevaux, des bras humains.
Intervenant 1
Ouais, c'est pas des tractopelles.
Intervenant 2
Bah non, ça coûte extrêmement cher en énergie, en temps et en argent. Donc si tu trouves la trajectoire parfaite pour chaque parcelle de terre, tu minimises l'effort global de toute une armée. L'enjeu stratégique est colossal.
Intervenant 1
Attends, pour bien visualiser pour ceux qui nous écoutent. Moi, je me dis, c'est un peu comme si je devais démonter un immense château en Lego, genre brique par brique. Ok,
Intervenant 2
je vois l'idée.
Intervenant 1
Et je dois le reconstruire de l'autre côté du salon, mais en faisant le moins de pas possible au total. Si je prends la mauvaise brique pour la mettre au mauvais endroit, je vais finir par marcher des kilomètres pour rien dans mon salon.
Intervenant 2
C'est ça.
Intervenant 1
C'est un cauchemar absolu à planifier un truc pareil.
Intervenant 2
C'est une super image pour comprendre le défi de l'affectation. Mais il y a quand même une nuance cruciale et c'est ce qui rend le problème de manges si diabolique. Hein,
Intervenant 1
c'est quoi la nuance ?
Intervenant 2
Dans son esprit, la terre, ce n'est pas fait de briques discrètes de l'égo. Le sable, la terre, ce sont des matières continues. C'est beaucoup plus proche d'un flux d'eau que d'un assemblage de petits blocs.
Intervenant 1
Ah oui, on ne peut pas compter les grains de sable un par un.
Intervenant 2
Exactement. Et Moulet cherche une équation globale, une loi géométrique pure, qui décrirait un écoulement continu de matière d'une forme A vers une forme B.
Intervenant 1
Donc en fait, ils cherchent pas un genre d'algorithme informatique étape par étape, ils cherchent une formule mathématique qui dit directement la Terre coule de telle manière et c'est optimal.
Intervenant 2
Tout à fait. Et le truc dingue, c'est que dans sa taquette, il fait quand même une découverte sublime. Qu'on soit sur un plan en 2D ou dans l'espace en 3D, il prouve mathématiquement que pour que le mouvement global soit optimal, les trajectoires empruntées par la matière ne doivent absolument jamais se couper.
Intervenant 1
Jamais se croiser. Genre jamais de chez jamais.
Intervenant 2
Jamais.
Intervenant 1
Donc si le grain de sable A va vers le nord et que le grain B va vers l'est et que leur chemin forme une sorte de X sur le sol, ça veut dire qu'on a fait une erreur de calcul à la base.
Intervenant 2
Précisément, parce que si leur chemin se croisait en un point au milieu du X, on pourrait simplement intervertir leur destination à partir de Scarfour.
Intervenant 1
Ah ouais, ça ferait un raccourci.
Intervenant 2
Exactement, ce qui créerait un chemin plus direct et réduirait la distance totale. C'est d'une logique géométrique complètement imparable.
Intervenant 1
Mais c'est brillant en fait ! Mais alors, voilà où je bloque un peu en lisant nos sources. L'histoire raconte que Monge, donc ce génie absolu, Qui a posé le problème, qui a trouvé cette règle d'or des chemins qui ne se croisent
Intervenant 2
pas.
Intervenant 1
Il n'a jamais réussi à résoudre son propre problème. Il n'a jamais trouvé la fameuse formule magique générale. Comment c'est possible d'échouer sur son propre terrain de jeu ?
Intervenant 2
Et c'est là toute l'ironie, mais aussi la beauté de l'histoire des sciences. Monge a soulevé une montagne qu'il pouvait tout simplement pas porter lui-même.
Intervenant 1
C'était trop dur.
Intervenant 2
Ce casse-tête de l'optimisation continue, c'est d'une complexité mathématique terrifiante. C'est tellement difficile qu'un siècle plus tard, à la fin du XIXe siècle, t'as les esprits les plus brillants d'Europe qui séchaient toujours dessus.
Intervenant 1
Un siècle après. Mais c'est ouf.
Intervenant 2
Ah oui, l'Académie des sciences était un peu désespérée. Ils ont même fini par mettre ce problème à prix, le fameux prix Bordin.
Intervenant 1
Genre wanted, récompense à qui trouve la solution.
Intervenant 2
C'est ça, dans l'espoir qu'un chercheur débloque enfin la situation. Parce que dans un environnement continu, tu as des configurations où une infinité de solutions semblent avoir exactement le même coût, et pire encore.
Intervenant 1
Attends, il y a pire ?
Intervenant 2
Oui, tu as des configurations où il n'y a mathématiquement aucune solution de transport qui obéisse à la règle stricte de Monge, sans se contredire.
Intervenant 1
C'est dingue ça. On a donc un problème hyper concret d'ingénierie militaire avec des brouettes qui se transforment en un mystère mathématique insoluble pendant plus d'un siècle. Et c'est là que ça devient vraiment intéressant dans notre exploration.
Intervenant 2
Parce qu'on change d'approche.
Intervenant 1
Voilà. Puisque l'approche avec le sable, qui est un matériau continu et hyper fluide, c'est beaucoup trop ardu. Les mathématiciens vont opérer un repli stratégique. Ils décident de passer à une version discrète du problème.
Intervenant 2
On abandonne l'eau et on revient au Lego, quoi.
Intervenant 1
Exactement. On arrête de parler de flux interrompus de terre et on se met à compter des unités bien séparées, bien distinctes.
Intervenant 2
Et c'est le réflexe classique face à une impasse théorique. T'arrives pas à résoudre le truc, bah tu simplifies le modèle pour au moins en comprendre la mécanique de base.
Intervenant 1
C'est ça.
Intervenant 2
Imaginons une ville. Dans cette ville, il y a un nombre exact de personnes, disons 1000 lecteurs, qui veulent tous absolument lire le même roman qui vient de sortir. Et par une coïncidence absolument parfaite, il y a aussi exactement 1000 bibliothèques réparties dans la ville.
Intervenant 1
Et chacune a un seul exemplaire du roman.
Intervenant 2
Voilà. Le défi, c'est d'assigner chaque lecteur à une bibliothèque spécifique sans qu'aucun lecteur se retrouve à devoir partager un livre avec un autre.
Intervenant 1
Ce qui ferait des bagarres.
Intervenant 2
Sûrement, ouais. Et le tout en garantissant que la somme des distances parcourues à pied par ces 1000 lecteurs soit la plus petite possible. C'est ce qu'on appelle la version discrète du transport optimal ou alors le problème de l'appariement.
Intervenant 1
Ok, l'appariement. Sauf que moi je réfléchis, si on a 1000 lecteurs et 1000 bibliothèques, le nombre de combinaisons possibles pour faire ces paires, ça doit donner un chiffre mais tellement gigantesque qu'aucun cerveau humain peut se taper toutes les vérifications.
Intervenant 2
C'est astronomique.
Intervenant 1
Comment on s'en sort mathématiquement alors ?
Intervenant 2
Eh bien, on construit une matrice, un grand tableau géant en fait. Imagine 1000 lignes qui représentent les bibliothèques et 1000 colonnes qui représentent les lecteurs.
Intervenant 1
Ok, un énorme tableau Excel.
Intervenant 2
C'est ça. À l'intersection de chaque ligne et de chaque colonne, tu notes le coût. Donc là, c'est la distance physique entre telle personne et tel bâtiment.
Intervenant 1
D'accord.
Intervenant 2
Résoudre le problème, ça revient à choisir exactement 1000 cases dans ce tableau colossal. Avec une contrainte hyper stricte, tu peux choisir qu'une seule case par ligne car la bibliothèque n'a qu'un livre, et une seule case par colonne car le lecteur ne peut lire qu'un livre.
Intervenant 1
Et le but, c'est de trouver la combinaison magique de ces mille cases qui nous donnent l'addition des distances la plus basse possible.
Intervenant 2
T'as tout compris.
Intervenant 1
Bon, ça paraît assez clair dit comme ça. D'ailleurs, de ce que j'ai vu, il y a un cas de figure où la réponse saute complètement aux yeux, sans calcul. C'est si on aligne tout le monde sur une seule ligne droite.
Intervenant 2
Le fameux réarrangement monotone.
Intervenant 1
Si tous nos lecteurs et nos bibliothèques sont disposés le long d'une immense avenue infinie, tout droit.
Intervenant 2
C'est la seule situation où le transport optimal se résout de manière vraiment intuitive. Sur une ligne droite, la règle de non-croisement de manches, elle dicte absolument tout.
Intervenant 1
Pas de X.
Intervenant 2
La foule devient super fluide, les trajectoires sont parallèles, c'est l'évidence même.
Intervenant 1
Bon, le sable, les lecteurs de livres qui courent dans la ville, franchement, je visualise très bien. Mais au début, on a parlé de traitement d'image et de Hollywood CGI. Attends, je bug un peu là.
Intervenant 2
C'est le moment de faire le grand saut.
Intervenant 1
Grave. Quel est le rapport entre un lecteur qui marche vers une bibliothèque dans sa rue et les effets spéciaux d'un film de science-fiction ?
Intervenant 2
Si on relie ça à la vue d'ensemble, c'est ici que l'abstraction mathématique révèle vraiment toute sa puissance de feu. Le transport optimal s'applique de façon magistrale à la colorimétrie numérique.
Intervenant 1
Ah ouais. Laisse-moi essayer de faire le lien. Une image numérique sur un écran, en gros, c'est un tableau gigantesque rempli de pixels.
Intervenant 2
Ouais.
Intervenant 1
Et chaque pixel a une couleur précise, qui est définie par une combinaison de rouge, de vert et de bleu, le fameux RVB.
Intervenant 2
Tout à fait.
Intervenant 1
Donc, au lieu d'avoir une ville en trois dimensions avec, je ne sais pas, de la latitude, de longitude et de l'altitude, l'espace mathématique de notre problème, ça devient un cube de couleurs.
Intervenant 2
Mais c'est exactement ça. Au lieu de calculer la distance physique en kilomètres entre un point A et un point B sur une carte, ton algorithme y calcule la distance géométrique entre, par exemple, un pixel jaune moutarde et un pixel ocre dans ce fameux espace colorimétrique à trois dimensions.
Intervenant 1
Oh la vache ! Et donc, dans un studio de post-production, si le réalisateur veut prendre une vidéo de vacances d'été hyper chaude et hyper jaune...
Intervenant 2
Ouais, très lumineuse.
Intervenant 1
Et qu'il veut lui donner l'ambiance visuelle glaçante et toute bleutée d'un thriller nordique. On utilise le transport optimal. C'est ça. En gros, chaque pixel jaune de la vidéo de vacances devient notre lecteur de la ville de tout à l'heure.
Intervenant 2
Exactement.
Intervenant 1
Et ce pixel cherche désespérément à rejoindre sa nouvelle nuance de bleu qui serait la bibliothèque dans la palette de couleurs du thriller. Et tout ça en parcourant la distance colorimétrique la plus courte possible pour que la transformation paraisse fluide et naturelle.
Intervenant 2
C'est un résumé parfait. L'algorithme déplace tout le nuage de pixels de l'image source pour qu'il épouse la forme du nuage colorimétrique de l'image de référence.
Intervenant 1
En minimisant le coût de transport global, mais dans l'univers abstrait des couleurs.
Intervenant 2
Tu vois, on est passé des brouettes de terre aux palettes de pixels. Mais la logique pure sous-jacente, ça reste strictement celle de Gaspard Monge.
Intervenant 1
C'est fascinant. Mais attends, ça me soulève un gros problème chronologique tout ça. Monge, on a dit qu'il est en 1781. Oui. Le cinéma numérique, c'est aujourd'hui. Or, tu viens de m'expliquer que le problème discret de l'appareillement avec le grand tableau de mille lignes et mille colonnes, il y avait tellement de combinaisons que c'était quasi impossible à calculer de front.
Intervenant 2
C'est vrai.
Intervenant 1
Alors comment l'histoire a fini par basculer ? Comment on a débloqué le calcul pour que nos ordis puissent le faire ?
Intervenant 2
En fait, il a fallu une crise mondiale pour forcer la main aux mathématiques. On se retrouve dans les années 1930, puis éclate la seconde guerre mondiale.
Intervenant 1
D'accord, l'urgence
Intervenant 2
absolue. Voilà. Les enjeux c'est plus du tout de construire un fort, c'est de gérer la survie de nations entières. Faut optimiser le déploiement de millions de soldats, répartir la nourriture depuis des centaines de fermes vers des milliers d'usines.
Intervenant 1
Ouais, approvisionner des lignes de front gigantesques, la logistique de guerre quoi.
Intervenant 2
C'est ça. Et c'est dans ce contexte de pression inimaginable que le mathématicien soviétique Leonid Kantorowicz va réaliser une percée complètement fulgurante.
Intervenant 1
Et de ce que j'en comprends en lisant sur lui, sa méthode pour venir à bout du blocage de Monge, c'est qu'il a complètement triché en fait. Il a carrément changé les règles du jeu en cours de route.
Intervenant 2
On peut totalement avoir cette impression, oui. En termes académiques plus polis, on dit qu'il a relaxé le problème.
Intervenant 1
Relaxé, c'est un bel euphémisme ça. Si on reprend l'exemple de notre ville et de nos bibliothèques, Monge, lui, il était catégorique. C'est un lecteur entier, indivisible, qui marche vers un livre entier. C'est hyper rigide. Oui. Et Kantorowicz, il arrive tranquille et il dit, finis l'individualisme. On regroupe les lecteurs par maison ou par foyer.
Intervenant 2
Et c'est là que ça devient intéressant.
Intervenant 1
Surtout que la règle qui brise tout, c'est qu'il autorise les membres d'une même maison à se séparer pour aller dans des bibliothèques différentes si ça arrange le calcul global de la ville. Genre s'il y a 4 personnes dans une maison, il peut très bien envoyer 2,5 unités de besoins vers le nord et 1,5 unités vers le sud. Il a pris les individus et il les a fondus en fractions. C'est n'importe quoi.
Intervenant 2
Je comprends que l'indignation soit légitime du point de vue de Monge. Mais c'est là qu'est le coup de génie absolu de Kantorowicz. Faisons une petite
Intervenant 1
analogie.
Intervenant 2
Monge s'est puisé à essayer de paver un sol avec des blocs de glace solides. Des trucs hyper rigides et intransigeants. Si la forme du bloc ne correspondait pas parfaitement à l'espace, le problème était mathématiquement insoluble.
Intervenant 1
Ça passait pas à quoi ?
Intervenant 2
La matière, c'est devenu de l'eau. Et de l'eau, c'est infiniment plus facile à faire circuler dans des tuyaux pour l'amener d'un point A à un point B.
Intervenant 1
Ok, la métaphore de la fonte des glaces est super claire. Mais comment cette eau mathématique, elle se gère concrètement, surtout pour un ordinateur naissant des années 40 ? Parce que c'est bien beau de faire fonte des lecteurs, mais il faut calculer tout ça après.
Intervenant 2
Eh bien, on transforme ça en un problème de programmation linéaire.
Intervenant 1
C'est-à-dire ?
Intervenant 2
Ça veut dire que ce n'est plus juste un énorme tableau de distance impossible à résoudre par la force brute. Il s'agit maintenant d'optimiser des flux fractionnés qui sont soumis à des équations de contraintes.
Intervenant 1
Genre quoi comme contraintes ?
Intervenant 2
Par exemple, la somme de l'eau qui quitte un foyer doit correspondre très exactement à la taille du foyer. Tu ne peux pas créer de l'eau. Et la somme de l'eau qui arrive à une bibliothèque doit correspondre très exactement à sa capacité de stockage.
Intervenant 1
Logique. Et comment on résout ces équations de flux ?
Intervenant 2
C'est là qu'intervient l'algorithme du simplex, inventé par l'américain Georges Danzig en 1947. Comment
Intervenant 1
ça marche ce fameux algorithme ? J'en ai souvent entendu parler.
Intervenant 2
Au lieu de tester aveuglement toutes les combinaisons possibles du grand tableau, le fameux truc qui prendrait des siècles dont on parlait, l'algorithme du simplex visualise toutes ces équations de contraintes comme un immense joyau géométrique en multidimension. Un polyèdre avec des milliers de facettes.
Intervenant 1
Un joyau en plusieurs dimensions, d'accord.
Intervenant 2
Et la magie des maths nous dit que la solution optimale, celle qui coûte le moins cher, est garantie de se trouver au point le plus bas de ce joyau, sur un de ses sommets. Donc l'algorithme, il se contente de glisser d'un sommet à l'autre, le long des arêtes du joyau, en descendant toujours un peu plus bas à chaque étape, jusqu'à atteindre le fond, la pointe la plus basse.
Intervenant 1
C'est hyper malin ! Et cherche même pas au milieu, il glisse juste sur les bords vers le bas.
Intervenant 2
C'est d'une efficacité redoutable et c'est cette alliance entre la fonte des glaces de Kantorowicz et le joyau de Danzig qui gère aujourd'hui l'attribution des colis dans les entrepôts Amazon ou qui décide quel chauffeur Uber va venir te chercher.
Intervenant 1
Ça a carrément valu à Kantorowicz le prix Nobel d'économie en 1975 avec Chaling Koopmans.
Intervenant 2
Attends, c'est génial pour nos colis et nos VTC aujourd'hui, mais c'est hyper frustrant pour monge.
Intervenant 1
Ah bah c'est sûr. Problème ininterrompu du XVIIIe siècle, il est resté sans réponse. On l'a juste jeté à la poubelle parce qu'on a trouvé un raccourci économique en 1940.
Intervenant 2
Eh bien pas du tout. Et c'est ici qu'intervient l'un des plus beaux retournements théoriques de l'histoire des maths.
Intervenant 1
Ah j'aime ça.
Intervenant 2
Il a fallu patienter un peu, jusqu'en 1990.
Intervenant 1
Près de deux siècles et demi après le mémoire sur les déblais.
Intervenant 2
Exactement. Le mathématicien français Yann Breynier décide de s'attaquer à nouveau à la montagne. Et il réalise un coup de maître. Il prouve de manière totalement irréfutable que la méthode trichée et fractionnaire de Kontorowicz...
Intervenant 1
Ouais, l'eau, quoi.
Intervenant 2
Eh bien, ce n'était pas qu'une simple approximation utile pour l'économie.
Intervenant 1
C'est-à-dire ? Qu'est-ce qu'il découvre ?
Intervenant 2
Régnier démontre mathématiquement que, sous certaines conditions géométriques très précises, l'eau de Kantorowicz recristallise naturellement pour redevenir la glace de Monge. Si, en résolvant le problème fluide, qui était super facile à calculer avec les ordis, l'algorithme convergeait en fait de lui-même vers la solution pure, solide et déterministe que Monge cherchait désespérément depuis le début.
Intervenant 1
C'est un truc de fou. Le compromis du XXe siècle contenait en fait la clé de l'absolu du XVIIIe siècle. C'est
Intervenant 2
très poétiquement dit, mais c'est ça.
Intervenant 1
C'est le théorème de la réconciliation en fait. Les fractions de lecteurs finissent toutes seules par se reformer en individus complets à la porte de la bibliothèque, sans aucune perte d'optimisation. C'est juste magnifique. Et du coup, ça nous ramène à notre tout premier point de départ. L'intelligence artificielle. La
Intervenant 2
boucle est bouclée.
Intervenant 1
Comment ce théorème de Breynier des années 90 donne-t-il naissance à nos visages virtuels d'aujourd'hui ?
Intervenant 2
Ce pont conceptuel entre le continu de Monge et le calculable de Kantorowicz, ça a déclenché une révolution à partir des années 90, portée d'ailleurs beaucoup par des mathématiciens français et italiens. Le transport optimal est devenu le couteau suisse ultime pour comparer des données complexes. D'accord. En IA, lorsqu'un réseau de neurones génératifs essaye de dessiner un visage hyper réaliste, il génère d'abord un amas de pixels un peu aléatoires, du bruit.
Intervenant 1
On pourrait dire que c'est un tas de sable numérique.
Intervenant 2
C'est exactement un tas de sable numérique. Son objectif est de transformer ce premier tas de sable informe pour qu'il prenne la forme précise du tas de sable réel, c'est-à-dire la base de données de milliers de vrais visages humains qu'on lui a montrés.
Intervenant 1
Et pour savoir s'il est sur la bonne voie pendant qu'il dessine, l'IA a besoin de mesurer la différence exacte entre son œuvre brouillonne et la réalité parfaite.
Intervenant 2
Absolument. Et pour ça, l'algorithme calcule en temps réel le coût de transport optimal pour déplacer ces pixels erronés vers les bonnes positions cibles.
Intervenant 1
Il utilise la géométrie de Monge et la fluidité de Kantorowicz.
Intervenant 2
Voilà. Il sculpte l'information avec une précision chirurgicale, étape par étape, jusqu'à ce que le coût de déplacement entre sa fausse image et les caractéristiques des vraies images tombe à zéro. Quand le coût est à zéro, le faux visage est devenu totalement indiscernable du vrai pour nous.
Intervenant 1
Bon sang. Si je résume tout ce parcours astronomique. Aujourd'hui, en 2026, l'IA générative la plus sophistiquée du monde, le truc qui tourne sur des supercalculateurs surpuissants pour tromper notre propre perception du réel.
Intervenant 2
Ouais.
Intervenant 1
Eh ben elle fait littéralement le calcul imaginé par un géomètre bourguignon qui essayait de fatiguer un peu moins ses soldats en poussant des brouettes de terre. C'est fou.
Intervenant 2
C'est le triomphe éclatant de l'abstraction. La persévérance mathématique sur 250 ans nous prouve que des équations apparemment déconnectées, étudiées pour le simple plaisir de résoudre un casse-tête continu de l'époque, finissent toujours par modéliser notre univers technologique. L'esprit humain tisse des fils invisibles à travers les siècles.
Intervenant 1
Quel voyage époustouflant. Honnêtement, je pense que quiconque nous écoute aujourd'hui ne regardera plus jamais un tas de sable de la même manière. Ni un film d'Hollywood, ni même le livre de sa bibliothèque de quartier.
Intervenant 2
C'est clair.
Intervenant 1
On est parti de l'école de Mézières, sous l'Ancien Régime. On a assisté à la frustration énorme de l'Académie des sciences face à l'impossibilité de cette glace géométrique. On a traversé l'urgence de la guerre, la fonte des contraintes avec Kantorowicz, la puissance du fameux joyau d'Anzig.
Intervenant 2
Tout un programme.
Intervenant 1
Pour finalement aboutir à cette réunification majestueuse par Yann Brenier, du déblayement des tranchées à l'artifice des réseaux de neurones, le transport optimal nous rappelle quand même que des contraintes physiques les plus terre-à-terre peuvent jaillir les idées les plus universelles.
Intervenant 2
Tout à fait. Et pour clore cette plongée, j'aimerais bien laisser une petite réflexion en suspens à tous ceux qui nous
Intervenant 1
écoutent.
Intervenant 2
Quand on constate qu'il a fallu un quart de millénaire pour que l'équation d'un simple monticule de sable devienne l'architecture secrète de l'intelligence artificielle, Moi, je me demande quelle formule mathématique totalement obscure et indéchiffrable, griffonnée aujourd'hui, à cet instant précis sur le tableau noir d'un chercheur isolé, sera la clef de voûte évidente de notre technologie dans deux ou trois cents ans.
Intervenant 1
Ah ouais, ça donne sérieusement le vertige de se dire ça. Et c'est sans doute la meilleure des raisons pour continuer à chercher et à s'émerveiller. Gardez l'œil grand ouvert face aux images un peu trop parfaites sur vos écrans et surtout, restez curieux. À très bientôt pour une nouvelle exploration.
À écouter ensuite
Des épisodes qui partagent une playlist, une figure ou un domaine avec celui-ci.
17 oct. 2024 · 24 min
13 juin 2024 · 17 min
1 déc. 2025 · 14 min
13 oct. 2023 · 22 min
19 mai 2021 · 22 min
21 août 2024 · 15 min