Pendant près de quatre-vingts ans, un problème apparemment simple a résisté aux mathématiciens : si l’on place un certain nombre de points sur un plan, combien de paires de points peuvent être séparées exactement par une distance de 1 ?

Derrière cette question presque scolaire se cache l’un des grands dossiers de la géométrie combinatoire : le problème des distances unitaires dans le plan, formulé en 1946 par le mathématicien hongrois Paul Erdős. OpenAI affirme aujourd’hui qu’un de ses modèles d’intelligence artificielle a réalisé une percée majeure sur ce sujet. Mais comme souvent avec l’IA, il faut distinguer la découverte réelle de son récit spectaculaire.

Selon OpenAI, son modèle interne n’a pas seulement assisté des chercheurs : il aurait produit de manière autonome une preuve mathématique contredisant une conjecture centrale liée à ce problème. Depuis Erdős, l’idée dominante était que les meilleures configurations de points ressemblaient, en gros, à des grilles carrées, et que le nombre de paires à distance unitaire ne pouvait croître que légèrement plus vite que le nombre total de points. Le modèle d’OpenAI aurait trouvé une famille infinie de configurations faisant mieux que cette intuition historique. L’entreprise présente ce résultat comme la première résolution autonome par IA d’un problème ouvert important, central dans un champ mathématique actif.

Le point essentiel est là : l’IA n’a pas “résolu tout le problème” au sens populaire du terme. Elle a plutôt démontré que la conjecture largement admise était fausse. Autrement dit, elle n’a pas donné la réponse définitive à la question du nombre maximal exact de distances unitaires, mais elle a montré que la borne longtemps pressentie par Erdős était trop basse. C’est une nuance décisive.

Le Guardian souligne d’ailleurs que le problème général reste ouvert, même si la percée oblige la communauté mathématique à revoir une conviction installée depuis des décennies.

Ce qui frappe les spécialistes, c’est aussi la méthode. OpenAI indique que la preuve mobilise des outils avancés de théorie algébrique des nombres, un domaine a priori éloigné de cette question géométrique élémentaire. Le modèle aurait donc établi un pont inattendu entre deux territoires mathématiques. L’annonce a été accompagnée d’une vérification par des mathématiciens externes, dont Thomas Bloom, Noga Alon, Tim Gowers, Arul Shankar et Jacob Tsimerman. Tim Gowers, médaillé Fields, parle d’un “milestone” pour les mathématiques assistées par IA, tandis qu’Arul Shankar estime que les modèles actuels ne sont plus seulement des assistants, mais peuvent produire des idées originales.

Pour autant, la prudence reste nécessaire. OpenAI a déjà connu un épisode embarrassant sur des problèmes d’Erdős : une annonce précédente avait été critiquée parce que les solutions prétendument nouvelles existaient déjà dans la littérature. TechCrunch rappelle cet antécédent, tout en notant que cette fois l’entreprise semble avoir pris davantage de précautions, avec publication de la preuve et commentaires de mathématiciens extérieurs.

La portée de cette affaire dépasse les mathématiques. Elle suggère que les modèles d’IA de raisonnement peuvent explorer des pistes que les humains jugeraient peu prometteuses, ou trop longues à suivre. Ce n’est pas seulement une question de vitesse de calcul : c’est peut-être une nouvelle manière de formuler des intuitions, de traverser les frontières entre disciplines, puis de proposer des constructions inédites.

Mais il serait naïf de conclure à la fin du mathématicien. La preuve initiale a été relue, améliorée et contextualisée par des humains. Le rôle humain demeure central : valider, comprendre, simplifier, expliquer, mesurer la portée du résultat. L’IA ouvre une porte ; la communauté scientifique décide si cette porte mène vraiment à une nouvelle pièce du savoir.

La vraie nouvelle n’est donc pas que “la machine a battu l’homme”. Elle est plus subtile, et plus importante : l’IA commence à devenir un acteur de découverte scientifique, capable non seulement de répondre, mais de surprendre. Et quand une machine surprend les mathématiciens sur un problème vieux de 80 ans, ce n’est plus un gadget technologique. C’est un changement d’époque.