Le nouveau modèle de raisonnement d'OpenAI a résolu un problème mathématique majeur en réfutant la conjecture de Paul Erdős de 1946 sur la distance unitaire à l'aide d'une preuve originale. C'est la première fois qu'une IA résout de manière autonome un problème mathématique fondamental en recourant à un raisonnement en chaîne. La preuve a fait l'objet d'une vérification indépendante par des mathématiciens et introduit une nouvelle méthode de construction qui dépasse les hypothèses antérieures. Cette avancée marque un progrès significatif dans le raisonnement logique de l'IA, en surmontant les problèmes d'« hallucinations », et offre des applications potentielles dans des domaines tels que la biologie et la science des matériaux.