**Titre français :** L'IA réalise quatre recherches de premier plan dans des revues scientifiques majeures, pourquoi les mathématiciens sont-ils inquiets ?

Résumé des points clés

Il y a 80 ans, le mathématicien Erdős a posé une question qui semblait simple : sur un plan, combien de paires de points peuvent-elles avoir une distance exactement égale à 1 centimètre ? Il a supposé que la croissance de ce nombre serait proche de n (presque linéaire, par exemple n multiplié par un nombre qui diminue progressivement), sans dépasser le niveau de n^1, ce qui serait considéré comme une croissance « presque linéaire ». En mai de cette année, le modèle d'IA généraliste d'OpenAI (pas conçu spécifiquement pour les mathématiques) a utilisé des méthodes complexes en algèbre et théorie des nombres pour infirmer cette supposition, démontrant l'existence d'un petit nombre positif δ (par exemple 0,014), permettant que le nombre de paires de points à une distance unité atteigne n^(1+δ), ce qui représente une croissance plus rapide que celle prédite par Erdős. C'est la première fois qu'une IA réalise une telle avancée dans un problème mathématique majeur. La démonstration, élaborée par Chen Lijie, un expert reconnu dans les compétitions, a été rendue accessible aux humains, suscitant des débats sur la capacité de l'IA à bouleverser la recherche en mathématiques.

I. La supposition d'Erdős : combien de paires de points à une distance de 1 centimètre peuvent-elles exister sur un plan ?

Imaginez que vous tracez n points sur une feuille de papier et que vous vouliez que la distance entre le plus grand nombre possible de ces paires soit exactement de 1 centimètre. La question d'Erdős était : quel est ce « maximum » ?

• Cas le plus simple : un point central entouré de n-1 points situés sur des cercles de rayon 1 centimètre, ce qui donne n-1 paires à une distance unité (du centre à chaque point).
• Mais que faire pour en obtenir davantage ? Par exemple, dans un réseau de carrés (grille entière), combien de points voisins ont-ils une distance de 1 centimètre ? Cependant, les propriétés géométriques du plan imposent une limite : au plus, trois points peuvent être à égale distance les uns des autres (un triangle rectangle), donc il est impossible que tous les points soient à une distance de 1 centimètre les uns des autres.

Erdős a supposé que la croissance de ce nombre serait de l'ordre de n^(1+o(1)), c'est-à-dire légèrement plus rapide que n, mais pas de manière exponentielle (comme n²). Cette hypothèse a préoccupé les mathématiciens pendant 80 ans.

II. La stratégie ingénieuse de l'IA : utiliser la géométrie en haute dimension pour contourner les limitations du plan

Les humains ont tenté jusqu'à présent d'utiliser des réseaux bidimensionnels (comme les grilles) pour créer le plus grand nombre possible de paires à distance unité, mais l'IA a emprunté une voie peu explorée :

1. Passer aux nombres en haute dimension : alors que les humains utilisent des entiers ordinaires (en 2D), l'IA a recouru à des systèmes numériques plus complexes en haute dimension. Dans ces systèmes, un nombre peut se décomposer en plusieurs facteurs, permettant de créer davantage de paires à la même distance.

2 Équilibrer algèbre et géométrie : les points en haute dimension, lorsqu'ils sont projetés sur un plan 2D, se compressent (comme des fils en acier aplatis contre un mur, créant de nombreux points d'intersection). L'IA a utilisé des structures mathématiques complexes (théorie des corps + théorème de Goldbach-Shafarevich) pour garantir la production d'un nombre suffisant de paires à distance unité tout en contrôlant leur densité dans le plan 2D.

Résultat : l'IA a démontré que le nombre de paires à distance unité peut atteindre n^(1+0,014), infirmant ainsi la supposition d'Erdős.

III. La portée de cette avancée

Cette découverte est significative pour plusieurs raisons :

• Un modèle d'IA généraliste : l'IA n'a pas été conçu spécifiquement pour les mathématiques, mais s'est avéré capable de résoudre ce problème complexe.
• Reconnaissance de premier plan : Le lauréat du prix Fields, Gowers, a déclaré que si cette démonstration avait été écrite par un humain, elle pourrait être publiée dans la revue mathématique de référence *Annals of Mathematics* (la même publication qui a publié la preuve du théorème de Fermat).
• Défi à l'intuition : Les problèmes mathématiques exigent souvent une pensée constructive, et on croyait jusqu'à présent que cette capacité était propre aux humains. L'IA a prouvé qu'elle pouvait non seulement résoudre des problèmes, mais aussi générer de nouvelles méthodes de preuve.

IV. Le rôle clé de Chen Lijie

Derrière cet exploit se trouve un mathématicien chinois : Chen Lijie.

• Carrière exceptionnelle : Il a remporté la médaille d'or en informatique à l'âge de 16 ans et celle de l'IOI (International Olympiad in Informatics) à 18 ans. Diplômé de Tsinghua, il est docteur à MIT.
• Pionnier dans l'intégration IA et mathématiques : Il a rejoint OpenAI au début de cette année et a supervisé la transformation de la démonstration d'IA en une forme compréhensible par les humains (la chaîne de pensée originale de l'IA comptait 125 pages). Il a déclaré : « Je n'aurais jamais cru qu'une telle avancée serait réalisée en seulement cinq mois. »

Son rôle montre que les réalisations de l'IA nécessitent la collaboration des experts humains pour être interprétées et vérifiées, soulignant l'importance de la coopération entre humains et IA dans le domaine mathématique.

V. L'IA face aux mathématiciens : assistant ou remplaçant ?

Cette avancée a déclenché de vifs débats :

• Avantages de l'IA : Elle peut manipuler des concepts mathématiques en haute dimension hors de portée humaine, avec un faible coût d'essai et une grande capacité à combiner des outils existants. Certains affirment même que le cerveau humain n'est peut-être pas l'optimisation idéale pour les mathématiques avancées.
• Limites de l'IA : L'IA ne peut pas proposer de nouvelles directions de recherche ou créer de nouvelles théories (contrairement à Erdős), elle ne peut que combiner des outils existants.
• Le paradoxe de Moravec : Les mathématiques sont difficiles pour les humains, mais faciles pour l'IA ; en revanche, des tâches simples comme la cuisine ou la marche sont plus difficiles pour l'IA.

La conclusion actuelle est que l'IA est un assistant puissant, mais elle n'a pas encore atteint le niveau de remplacement des mathématiciens humains. Le « goût », la « curiosité » et la capacité à poser de nouvelles questions restent des compétences uniques aux humains.

Conclusion

L'infirmerie de la supposition d'Erdős n'est pas la fin, mais le début d'une nouvelle ère. Elle nous oblige à réfléchir : les mathématiques sont-elles vraiment le dernier bastion de l'intelligence humaine ? À l'avenir, la collaboration entre IA et mathématiciens pourra peut-être mener à des découvertes inimaginables. Pour l'instant, les humains demeurent l'essence de la recherche en mathématiques : l'IA s'occupe des calculs et de la construction, tandis que les humains apportent la direction et l'imagination.