Le modèle d'inférence développé en interne par OpenAI prouve pour la première fois indépendamment un problème mathématique complexe
OpenAI a annoncé aujourd'hui que son nouveau modèle de raisonnement généraliste indépendant a produit une preuve mathématique originale réfutant un conjecture géométrique non résolue proposée par le célèbre mathématicien Paul Erdős en 1946. « Pendant près de 80 ans, les mathématiciens ont cru que la solution optimale ressemblait approximativement à une structure de grille carrée », a déclaré OpenAI sur X. « Un modèle d'OpenAI renverse désormais cette croyance et découvre un ensemble entièrement nouveau de méthodes de construction plus performantes. » La société qualifie cet événement du « premier cas où l'IA résout de manière autonome un problème ouvert important dans le domaine des mathématiques ». Cependant, OpenAI a tiré des enseignements concernant sa crédibilité. Il y a sept mois, l'ex-Vice-président Kevin Weil avait affirmé que GPT-5 avait résolu dix problèmes d'Erdős jusqu'alors non résolus — mais il s'est avéré qu'il ne s'agissait que de solutions déjà connues dans la littérature, suscitant un large scepticisme au sein de la profession. Cette fois-ci, OpenAI fait preuve d'une prudence manifestement accrue. Parallèlement à la publication des résultats du modèle, l'entreprise a joint des déclarations de soutien émanant de plusieurs mathématiciens, notamment Thomas Bloom, gardien du site dédié aux problèmes d'Erdős, qui avait publiquement critiqué les précédentes affirmations de Weil comme étant « gravement inexactes ». OpenAI insiste sur le fait que cette preuve provient d'un modèle de raisonnement généraliste, conçu sans être spécifiquement destiné à résoudre des exercices mathématiques. Cela signifie que l'IA possède désormais la capacité de maintenir une cohérence lors de tâches de raisonnement complexes impliquant de longues chaînes logiques, ainsi que celle de connecter des idées entre différents domaines — ce qui revêt une importance profonde pour la recherche en biologie, physique, ingénierie et médecine. « L'IA nous aide maintenant à explorer plus pleinement la cathédrale mathématique construite depuis des siècles », déclare Bloom, ajoutant : « Quels autres miracles invisibles nous attendent encore ? »
