OpenAI : un modèle remet en question une hypothèse mathématique formulée il y a 80 ans

La conjecture d'Erdos, formulée en 1946, portait sur le nombre maximal de paires de points séparés d'exactement une unité dans un ensemble de n points du plan. Pendant quatre-vingts ans, la communauté mathématique supposait que ce nombre croissait plus lentement que toute puissance n^? pour ?>1. Un modèle d'OpenAI a remis cette hypothèse en question en mobilisant la théorie algébrique des nombres, en particulier des anneaux d'entiers dans des corps de nombres algébriques de degré croissant.

Le travail ne s'est pas arrêté à la proposition de l'IA. Will Sawin a examiné chaque étape de la démonstration, la reformulant pour extraire une constante explicite (légèrement supérieure à 1,01), puis d'autres chercheurs l'ont affinée à environ 1,03. Cette collaboration illustre comment l'IA excelle dans la recherche bibliographique et la vérification de démonstrations, mais demeure moins probante pour générer des idées véritablement nouvelles.

Sawin souligne que l'IA n'accomplit pas ici ce que les humains ne pourraient faire : elle reste un instrument, la responsabilité et la crédibilité des résultats incombant aux chercheurs. Au-delà de ce cas, l'IA pourrait orienter la recherche sur les centaines de conjectures d'Erdos restantes, tout en soulevant des enjeux méthodologiques et éthiques sur la production et la validation des preuves assistées.