Terence Tao : de la Grande Médaille aux preuves par ordinateur

Intervenant 10:00

Bienvenue à toutes et à tous dans le podcast du magazine Tangente. Aujourd'hui, on va aborder un sujet qui secoue vraiment la communauté scientifique. Et si le prochain grand théorème mathématique n'était pas l'œuvre d'un esprit humain, mais d'une machine ?

Intervenant 20:16

Oui, c'est une question qui provoque un véritable séisme en ce moment. Et pour bien comprendre cette bascule, on s'est plongé dans les notes de la rédaction et surtout dans le compte-rendu d'un événement parisien assez historique.

Intervenant 10:28

C'est ça, un événement qui s'est tenu le 21 mars dernier. La grande salle des séances de l'Institut de France était pleine à craquer, littéralement, pour accueillir une véritable star de la discipline, Terence Tao.

Intervenant 20:39

Né en 1975 d'ailleurs, il recevait l'une des récompenses les plus prestigieuses, la Grande Médage de l'Académie des sciences, avec une introduction en français par Etienne Guisse, le secrétaire perpétuel.

Intervenant 10:50

Exactement, mais la mission de notre analyse d'aujourd'hui, c'est pas de retracer sa carrière impressionnante. On va plutôt décortiquer le débat fascinant qui est né ce jour-là sur le futur des mathématiques face à l'intelligence artificielle.

Intervenant 21:03

Parce que lors de sa mini-conférence qu'il a donnée en anglais, Tao n'a pas du tout parlé de son passé. Il a immédiatement braqué les projecteurs sur l'avenir, et plus précisément sur les preuves assistées par ordinateur.

Intervenant 11:14

Il observe que les grands modèles de langage et les logiciels d'assistance, comme Lean par exemple, sont en train de muter, non ?

Intervenant 21:21

Tout à fait. Ils ingèrent des bases de données massives de publications scientifiques. Le but, c'est de repérer des structures logiques que notre cerveau ne peut tout simplement pas embrasser dans sa globalité.

Intervenant 11:32

Donc on est très loin de la simple calculatrice améliorée. En fait, c'est presque comme un exosquelette pour l'esprit mathématique.

Intervenant 21:39

Ah, l'image de l'exosquelette est super pertinente, c'est exactement ça.

Intervenant 11:44

L'humain garde la direction, il pose la question de base et la machine fournit la force de calcul brut pour franchir les obstacles techniques.

Intervenant 21:51

Ouais, Tao envisage vraiment ses IA comme de véritables assistants numériques. Des assistants capables de trouver des coïncidences improbables, par exemple.

Intervenant 11:59

Genre, relier deux domaines qui n'ont rien à voir.

Intervenant 22:01

C'est ça. Relier un problème de géométrie hyper pointu à un concept apparemment déconnecté en théorie des nombres. Le système pourrait suggérer des méthodes inédites ou même rédiger les premiers brouillons techniques.

Intervenant 12:13

Ce qui libère le chercheur du travail laborieux pour qu'il se concentre sur l'architecture globale, tu vois. C'est une vision super optimiste.

Intervenant 22:20

Complètement. Sauf que, et c'est là que ça devient fascinant, on a eu le droit à une autre conférence juste après qui a pris le contre-pied exact de tout ça.

Intervenant 12:27

Ah oui, avec Timothy Gurz.

Intervenant 22:29

Voilà, le professeur britannique du Collège de France. Il est monté sur la même tribune, à parler en anglais aussi, mais alors sa vision était, disons, beaucoup plus sombre.

Intervenant 12:40

Il a carrément dit que l'IA allait nous remplacer, c'est bien ça, non ?

Intervenant 22:43

Purement et simplement. Pour lui, à court ou moyen terme, l'IA assumera toute la recherche et même l'enseignement. Elle supplantera les mathématiciens.

Intervenant 12:52

Attends, j'ai quand même une grosse réserve par rapport à ça. Les IA génératives, elles ont tendance à halluciner. Elles inventent des résultats aberrants avec un aplomb terrifiant.

Intervenant 23:01

C'est en fait, ouais.

Intervenant 13:02

Et puis surtout, les mathématiques de haut niveau, ça repose énormément sur l'intuition. Ce fameux saut dans le vide qui permet de trouver une solution élégante. Comment une machine pourrait reproduire cette étincelle créative sans même comprendre ce qu'elle manipule ?

Intervenant 23:15

C'est justement là que l'argument de Gowers force à réfléchir. Il suggère de redéfinir notre conception même de l'intuition.

Intervenant 13:21

C'est-à-dire ?

Intervenant 23:22

Pour lui, ce qu'on appelle la créativité ou l'étincelle, ce n'est finalement qu'une capacité subconsciente et extrêmement complexe à reconnaître des schémas sous-jacents.

Intervenant 13:32

Ah, donc si on nourrit une IA avec des siècles de raisonnement mathématique,

Intervenant 23:37

Ces algorithmes de reconnaissance de formes deviendront tellement sophistiqués qu'ils simuleront parfaitement cette intuition. Ce sera plus de la simple imitation, mais une nouvelle forme de créativité algorithmique.

Intervenant 13:48

Capable de surpasser la nôtre donc ? C'est assez vertigineux comme hypothèse.

Intervenant 23:51

C'est clair.

Intervenant 13:52

Parce que si la fulgurance d'un génie peut être réduite à une simple mécanique de reconnaissance de schémas, Ça veut dire que la créativité dans n'importe quel autre domaine pourrait suivre la même trajectoire.

Intervenant 24:02

Exactement. C'est pour ça que cette journée était si marquante. D'un côté, on a Tao qui voit l'IA comme l'outil d'accompagnement ultime, un super copilote. Et de l'autre, Gowers qui l'aperçoit comme notre successeur inévitable.

Intervenant 14:15

Et c'est précisément sur cette frontière pourreuse entre le simple outil et le créateur autonome qu'il faut laisser reposer notre réflexion.

Intervenant 24:23

Tout à fait.

Intervenant 14:24

Si un algorithme parvient un jour à formuler et à prouver un théorème d'une complexité telle qu'absolument aucun cerveau humain ne puisse en comprendre le sens, est-ce que les mathématiques appartiendront encore à l'humanité ?