OpenAI a récemment franchi une étape majeure en annonçant que son modèle d'intelligence artificielle a résolu le problème des distances unitaires, une conjecture formulée par le mathématicien hongrois Paul Erdős en 1946. Ce problème, qui consiste à déterminer combien de paires de points dans un plan sont séparées par exactement une unité, était resté sans solution pendant près de huit décennies. Le modèle d'OpenAI a prouvé qu'il existe une famille infinie de configurations surpassant les limites de la grille carrée, avec un gain d'exposant quantifié par le mathématicien Will Sawin de Princeton. Ce qui est particulièrement remarquable, c'est la méthode employée par l'IA, qui a établi un lien entre la géométrie discrète et la théorie algébrique des nombres. La preuve, produite par Lijie Chen, a été validée par des experts d'OpenAI et accompagnée d'un article cosigné par neuf mathématiciens, dont des figures de proue comme Noga Alon. Après des tentatives infructueuses en 2025, cette validation par les pairs est un tournant dans l'application de l'IA à la recherche mathématique.