Tu suis la course aux modèles IA ?
Chaque sortie (GPT, Claude, Gemini, Mistral…) décryptée le soir même, en 5 min. Gratuit.
Inclus dès l'inscription : notre sélection des meilleurs guides & comparatifs IA.
Choisis ton rythme
Gratuit · Pas de spam · Désabonnement en 1 clic
OpenAI a récemment affirmé que son dernier 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 par Paul Erdős en 1946. Cette annonce marque un tournant dans l'utilisation de l'intelligence artificielle pour résoudre des problèmes mathématiques complexes.
Il y a quelques mois, OpenAI avait déjà attiré l'attention avec une déclaration audacieuse. Kevin Weil avait annoncé sur X que GPT-5 avait trouvé des solutions à 10 problèmes d'Erdős précédemment non résolus et avait progressé sur 11 autres. Cependant, cette affirmation s'est avérée incorrecte, car GPT-5 avait simplement redécouvert des solutions déjà présentes dans la littérature existante. Face aux critiques de personnalités comme Yann LeCun et Demis Hassabis, Weil a rapidement supprimé son post.
Cette fois-ci, OpenAI semble avoir évité de répéter cette erreur. L'annonce actuelle est soutenue par des mathématiciens de renom, tels que Noga Alon, Melanie Wood, et Thomas Bloom, qui avait précédemment qualifié le post de Weil de "dramatic misrepresentation".
Selon OpenAI, depuis près de 80 ans, les mathématiciens pensaient que les meilleures solutions aux problèmes d'Erdős ressemblaient à des grilles carrées. Cependant, le modèle d'OpenAI a découvert une toute nouvelle famille de constructions plus efficaces. La société a déclaré que cette découverte représente la première fois qu'une IA a résolu de manière autonome un problème ouvert majeur dans le domaine des mathématiques.
La preuve provient d'un nouveau modèle de raisonnement général, et non d'un système spécifiquement conçu pour résoudre des problèmes mathématiques ou ce problème en particulier. OpenAI souligne que cela démontre la capacité des systèmes d'IA à maintenir des chaînes de raisonnement longues et complexes, et à relier des idées à travers différents domaines, ce qui pourrait avoir des implications significatives pour la biologie, la physique, l'ingénierie et la médecine.
Thomas Bloom a exprimé son enthousiasme en déclarant que l'IA nous aide à explorer plus pleinement la "cathédrale des mathématiques" que nous avons construite au fil des siècles, et se demande quelles autres merveilles invisibles pourraient encore être découvertes.
