OpenAI a annoncé que son nouveau modèle de raisonnement a produit une preuve mathématique originale réfutant une célèbre conjecture non résolue en géométrie posée pour la première fois par Paul Erdős en 1946. Cette réalisation fait suite à une affirmation controversée faite par l’ancien vice-président d’OpenAI Kevin Weil il y a sept mois, lorsqu’il a déclaré sur X que GPT-5 avait trouvé des solutions à dix problèmes d’Erdős jusqu’alors non résolus, ainsi que des progrès sur onze autres. Il a été précisé plus tard que GPT-5 n’avait pas réellement résolu ces problèmes mais avait identifié des solutions existantes dans la littérature.
Des rivaux dans le domaine de l’IA, dont Yann LeCun et le PDG de Google DeepMind, Demis Hassabis, ont critiqué cette affirmation antérieure, incitant Weil à supprimer son poste. L’annonce mise à jour d’OpenAI comprenait des remarques de mathématiciens notables tels que Noga Alon, Melanie Wood et Thomas Bloom, qui ont soutenu la réfutation et ont qualifié les déclarations antérieures de Weil de « fausse déclaration dramatique ».
OpenAI a déclaré que pendant près de 80 ans, les mathématiciens pensaient que les solutions optimales à la conjecture ressemblaient à des grilles carrées. Le nouveau modèle aurait découvert une toute nouvelle famille de constructions qui surpasse cette croyance de longue date. Ce cas marque le premier cas où l’IA résout de manière autonome un problème ouvert important en mathématiques, selon OpenAI.
La preuve provient d’un modèle de raisonnement à usage général, plutôt que d’un système adapté aux mathématiques, mettant en évidence la capacité de l’IA à gérer des tâches de raisonnement complexes et à interconnecter des idées dans divers domaines. OpenAI a souligné les implications potentielles de ce développement pour la biologie, la physique, l’ingénierie et la médecine.
Le mathématicien Thomas Bloom a fait remarquer que l’IA facilite une exploration plus approfondie des mathématiques, se demandant quelles autres découvertes importantes pourraient nous attendre. “L’IA nous aide à explorer plus en profondeur la cathédrale des mathématiques que nous avons construite au fil des siècles”, a-t-il déclaré.
