Restez toujours informé: suivez-nous sur Google Actualités (icone ☆)
Ce problème mathématique, qui a l'air d'un jeu d'enfant, s'appelle le problème des distances unitaires planaires. Posé en 1946 par le célèbre mathématicien hongrois Paul Erdős, il s'est avéré être un véritable casse-tête. Depuis 1984, aucun être humain n'avait réussi à aller loin dans sa résolution.
C'est désormais chose faite: OpenAI a annoncé qu'un de ses modèles internes d'intelligence artificielle venait de craquer ce secret vieux de 80 ans, marquant une étape historique pour la recherche scientifique.
Combien de distances unitaires peut-on faire tenir sur une seule feuille de papier ?
Crédit image: OpenAI
L'exploit: une IA qui n'était même pas spécialiste en maths
Le plus surprenant dans cette découverte ne réside pas seulement dans le résultat, mais dans la manière dont il a été obtenu. Le modèle d'IA utilisé par OpenAI est un système de raisonnement général. Cela signifie qu'il n'a pas été entraîné spécifiquement pour les mathématiques, et encore moins pour ce problème précis.
Pour dépasser le blocage des humains depuis les années 80, l'IA a emprunté des chemins totalement inédits en combinant la géométrie (l'étude des formes et des espaces) avec la théorie algébrique des nombres (l'étude des propriétés des nombres entiers). Les chercheurs d'OpenAI ont d'ailleurs avoué leur surprise, car si ces concepts algébriques étaient bien connus des spécialistes, personne n'avait imaginé qu'ils puissent s'appliquer à une question de géométrie plane ensemble.
Les représentants de l'entreprise ont ainsi souligné que cette preuve constituait un jalon historique pour les communautés des mathématiques et de l'intelligence artificielle, rappelant qu'il s'agit de la toute première fois qu'un problème ouvert aussi important est résolu de manière autonome par une machine.
L'Humain et la Machine: un travail d'équipe
Face aux craintes de voir l'IA remplacer les chercheurs, OpenAI et la communauté scientifique calment le jeu. L'algorithme a trouvé la clé du problème, mais ce sont des mathématiciens humains qui ont pris le relais pour analyser, nettoyer et améliorer la preuve initiale afin d'en explorer toutes les conséquences.
L'enthousiasme est d'ailleurs partagé par les plus grands experts. Tim Gowers, professeur à l'Université de Cambridge et médaillé Fields, a affirmé sans détour que la solution à ce problème était une étape historique pour l'IA mathématique. Il a ajouté que si un humain avait écrit cet article et qu'on lui avait demandé son avis pour une publication dans la prestigieuse revue Annals of Mathematics, il en aurait recommandé l'acceptation immédiate et sans la moindre hésitation.
Une revanche après de fausses alertes
Cette annonce majeure sonne aussi comme une consécration pour OpenAI, qui avance désormais avec plus de prudence. En octobre 2025, des dirigeants de l'entreprise avaient affirmé un peu trop vite que leur modèle (GPT-5) avait résolu une dizaine d'autres problèmes d'Erdős, avant que des experts ne démontrent que ces questions avaient déjà été réglées par des humains dans le passé.
Cette fois, la découverte a été minutieusement vérifiée et validée par des pairs indépendants. Elle prouve que l'IA ne se contente plus de recracher des connaissances existantes: elle devient capable de faire progresser la science à la frontière de l'inconnu.