Une preuve signée par une intelligence artificielle

L’information fait du bruit dans le monde des mathématiques. Selon OpenAI, un de ses modèles de raisonnement aurait produit de façon autonome une preuve mathématique originale, s’attaquant à une question restée ouverte depuis des décennies : le problème de la distance unité dans le plan, une conjecture formulée par le mathématicien Paul Erdős en 1946.

Concrètement, la machine n’aurait pas simplement récité des résultats connus : elle aurait construit un raisonnement inédit, débouchant sur une configuration que les spécialistes n’avaient pas envisagée. Un pas de plus dans l’usage de l’intelligence artificielle comme outil de recherche fondamentale, et non plus seulement comme assistant de rédaction ou de calcul.

Le problème de la distance unité, expliqué simplement

La question posée par Erdős a le charme des grands problèmes : son énoncé est simple à comprendre, mais sa résolution résiste depuis quatre-vingts ans. Imaginez que l’on place n points sur une feuille, dans un plan. On s’intéresse alors aux paires de points séparées exactement par une distance de 1. La question est la suivante : combien de telles paires peut-on obtenir au maximum ?

Derrière cette formulation enfantine se cache une difficulté redoutable. Faire croître le nombre de points tout en maîtrisant le nombre de paires à distance exacte de 1 soulève des problèmes de combinatoire et de géométrie d’une grande subtilité. C’est précisément ce type d’énigme, facile à énoncer mais dure à trancher, qu’affectionnait Erdős.

Ce que l’IA aurait réellement apporté

Selon OpenAI, le travail du modèle ne se contente pas de reproduire des méthodes existantes. Il réfuterait une hypothèse dominante dans ce domaine, allant même à l’encontre d’une intuition qu’Erdős lui-même avait exprimée. Pour y parvenir, l’IA proposerait une nouvelle configuration de points, c’est-à-dire une manière inédite de les disposer pour battre en brèche l’idée admise jusqu’ici.

Si l’on met de côté un instant le débat, l’exploit technique est réel : produire une démonstration cohérente, vérifiable et originale sur un problème de ce calibre relève d’un niveau d’abstraction que l’on n’associait pas, il y a peu encore, aux systèmes automatiques.

Des sommités des mathématiques ont examiné le travail

C’est l’un des points les plus marquants de cette annonce : la preuve aurait été examinée et jugée valide par plusieurs mathématiciens de premier plan. Parmi eux figure le médaillé Fields Tim Gowers, l’une des références mondiales de la discipline, mais aussi Noga Alon, Melanie Wood et Thomas Bloom.

Cette validation par des chercheurs reconnus change la nature du débat. On ne parle pas d’une démonstration approximative rejetée par la communauté, mais d’un raisonnement qui a passé le filtre d’experts exigeants. C’est ce qui rend l’épisode aussi intéressant qu’inhabituel.

Un débat qui crée des vagues

Pour autant, l’annonce est loin de faire l’unanimité, et c’est là que la nuance s’impose. Le mathématicien Terence Tao, autre figure majeure du domaine, a relativisé la portée de ce type de résultats. Il estime que certains problèmes posés par Erdős et résolus récemment comptent parmi les « fruits les plus accessibles », c’est-à-dire qu’ils peuvent être traités avec des techniques standard, déjà bien maîtrisées par les spécialistes.

Plusieurs chercheurs pointent par ailleurs un risque de survente : en ligne, certains résultats auraient été présentés comme plus spectaculaires qu’ils ne le sont en réalité. L’enjeu n’est pas de nier l’avancée, mais d’éviter que l’emballement médiatique ne transforme une contribution technique en révolution autoproclamée.

Entre prouesse et prudence, une ligne de crête

Comment s’y retrouver entre l’enthousiasme et le scepticisme ? La réponse tient sans doute dans l’équilibre. D’un côté, il serait injuste de minimiser le fait qu’un système automatique ait produit une démonstration validée par des mathématiciens du plus haut niveau. De l’autre, il serait exagéré d’en conclure que l’intelligence artificielle résout désormais seule les grandes énigmes des mathématiques.

La réalité se situe probablement entre les deux. Ces outils deviennent de puissants assistants de recherche, capables d’explorer des pistes, de tester des configurations et de formuler des propositions que les chercheurs vérifient ensuite. Le jugement humain, l’examen critique et la validation par les pairs restent, eux, au cœur de la démarche scientifique.

Ce qu’il faut retenir

En définitive, l’annonce d’OpenAI illustre à la fois le potentiel et les limites actuelles de ces technologies. La preuve sur le problème de la distance unité, attribuée par OpenAI à l’un de ses modèles, a été validée par des experts, ce qui constitue un signal fort. Mais le débat autour de sa portée, porté par des voix aussi respectées que celle de Terence Tao, rappelle qu’il faut distinguer l’avancée réelle de l’effet d’annonce. C’est à cette condition que l’on mesurera, avec le recul nécessaire, ce que ces outils apportent vraiment à la recherche.