Le modèle de raisonnement interne d'OpenAI a réfuté la conjecture vieille de 80 ans sur la distance unitaire dans le plan, initialement proposée par le mathématicien Paul Erdős en 1946. La conjecture portait sur le nombre maximal de paires de points séparés exactement d'une unité dans un plan, Erdős suggérant un taux de croissance de n élevé à la puissance de 1 plus une constante divisée par log log n. Le modèle d'OpenAI a découvert des configurations atteignant environ n^(1+0,014) distances unitaires, dépassant les constructions précédentes basées sur des grilles carrées. Cette percée de l'IA a été validée par le médaillé Fields Tim Gowers et formalisée par le mathématicien de Princeton Will Sawin, confirmant sa rigueur académique. Ce développement remet non seulement en question une hypothèse mathématique de longue date, mais met également en lumière la capacité de l'IA à relier la géométrie à la théorie des nombres algébriques, avec un impact potentiel sur des domaines tels que la géométrie computationnelle et la conception de réseaux.