Le modèle général résout des problèmes géométriques difficiles depuis 80 ans, c'est un peu exagéré.

Selon la surveillance de Beating, un modèle de raisonnement général d'OpenAI a pour la première fois brisé la conjecture de distance unitaire du plan d'Erdős.
Grâce à une nouvelle construction de l'ensemble de points, le logarithme de la distance unitaire a été porté à n^{1+δ}, rompant ainsi la limite attendue depuis près de 80 ans.
Le modèle n'a pas utilisé de chaîne d'outils spécialisée, mais a plutôt introduit de manière interdisciplinaire des outils profonds de la théorie des nombres algébriques en géométrie euclidienne.
Des chercheurs externes ont publié une déclaration, indiquant que la dérivation implique des idées de Ellenberg–Venkatesh, Golod–Shafarevich et autres.
Cette réussite est considérée comme une étape majeure en mathématiques pour l'IA, montrant qu'un modèle général peut proposer des idées originales et faire progresser la démonstration sans outils spécialisés.