Maison
OpenAI annonce une véritable avancée dans la résolution d'une énigme mathématique vieille de plusieurs décennies

OpenAI affirme que son dernier modèle de raisonnement a généré une preuve mathématique originale qui réfute une célèbre conjecture non résolue en géométrie, formulée pour la première fois par Paul Erdős en 1946.
Si cela vous semble familier, c'est parce qu'OpenAI a déjà fait des déclarations audacieuses similaires par le passé. Il y a sept mois, l'ancien vice-président de l'entreprise, Kevin Weil, a publié sur X : « GPT-5 a trouvé des solutions à 10 (!) problèmes d'Erdős jusque-là non résolus et a fait des progrès sur 11 autres. »
Il s'est avéré que GPT-5 n'avait en réalité pas résolu ces problèmes ; il s'était contenté de redécouvrir des solutions déjà documentées dans la littérature existante.
Cette annonce a suscité des critiques de la part de rivaux tels que Yann LeCun et Demis Hassabis, PDG de Google DeepMind, ce qui a conduit Weil à supprimer rapidement son message prématuré. Cette fois-ci, cependant, OpenAI semble avoir évité de répéter cette erreur. Parallèlement à cette nouvelle affirmation, l’entreprise a publié des déclarations de soutien de mathématiciens, dont Noga Alon, Melanie Wood et Thomas Bloom — qui gère le site web Erdos Problems et avait précédemment qualifié le message de Weil de « déformation dramatique de la réalité ».
« Pendant près de 80 ans, les mathématiciens ont cru que les meilleures solutions possibles ressemblaient à des grilles carrées », a déclaré OpenAI sur X. « Un modèle d’OpenAI a désormais réfuté cette croyance en découvrant une famille de constructions totalement nouvelle qui donne de meilleurs résultats. »
L'entreprise a décrit cela comme « la première fois que l'IA a résolu de manière autonome un problème ouvert majeur, central dans un domaine des mathématiques ». Selon OpenAI, la preuve provient d'un nouveau modèle de raisonnement à usage général, et non d'un système spécialement conçu pour résoudre des problèmes mathématiques — ni même ce problème en particulier.
OpenAI souligne l’importance de cette réalisation, suggérant qu’elle démontre la capacité croissante des systèmes d’IA à maintenir des chaînes de raisonnement longues et complexes et à relier des idées entre différentes disciplines d’une manière que les chercheurs n’auraient peut-être pas envisagée auparavant. Cette capacité pourrait avoir des implications importantes pour des domaines tels que la biologie, la physique, l’ingénierie et la médecine.
« L’IA nous aide à explorer plus en profondeur la grande cathédrale des mathématiques que nous avons construite au fil des siècles », a déclaré Bloom dans un communiqué. « Quelles autres merveilles invisibles attendent encore d’être découvertes ? »
Article connexe
Sam Altman suscite un débat sur le ralentissement de l'IA
Écouter surApple PodcastsÉcouter surSpotifyLe PDG d'OpenAI, Sam Altman, a récemment suggéré qu'il était peut-être temps de « rythmer le rythme du développement de l'IA » afin de permettre à la société de « se renforcer autour de certains de ces nouv
OpenAI combat l’action en justice pour violation des secrets commerciaux intentée par Apple
OpenAI a réfuté les allégations de violation de secrets commerciaux d’Apple ce mardi, affirmant que le procès est infondé.« Nous prenons ces allégations au sérieux mais ne voyons aucune preuve à leur appui », a déclaré OpenAI, selon Ed Ludlow de Blo
La tête robotique d'OpenAI, Caitlin Kalinowski, démissionne en raison du partenariat avec le Pentagone
Caitlin Kalinowski, responsable de la robotique chez OpenAI, a démissionné à la suite du partenariat controversé de l’entreprise avec le département de la Défense.« Ce n’était pas une décision facile », a expliqué Kalinowski dans une déclaration sur
Recommandations de sujets spéciaux liés
commentaires (0)

OpenAI affirme que son dernier modèle de raisonnement a généré une preuve mathématique originale qui réfute une célèbre conjecture non résolue en géométrie, formulée pour la première fois par Paul Erdős en 1946.
Si cela vous semble familier, c'est parce qu'OpenAI a déjà fait des déclarations audacieuses similaires par le passé. Il y a sept mois, l'ancien vice-président de l'entreprise, Kevin Weil, a publié sur X : « GPT-5 a trouvé des solutions à 10 (!) problèmes d'Erdős jusque-là non résolus et a fait des progrès sur 11 autres. »
Il s'est avéré que GPT-5 n'avait en réalité pas résolu ces problèmes ; il s'était contenté de redécouvrir des solutions déjà documentées dans la littérature existante.
Cette annonce a suscité des critiques de la part de rivaux tels que Yann LeCun et Demis Hassabis, PDG de Google DeepMind, ce qui a conduit Weil à supprimer rapidement son message prématuré. Cette fois-ci, cependant, OpenAI semble avoir évité de répéter cette erreur. Parallèlement à cette nouvelle affirmation, l’entreprise a publié des déclarations de soutien de mathématiciens, dont Noga Alon, Melanie Wood et Thomas Bloom — qui gère le site web Erdos Problems et avait précédemment qualifié le message de Weil de « déformation dramatique de la réalité ».
« Pendant près de 80 ans, les mathématiciens ont cru que les meilleures solutions possibles ressemblaient à des grilles carrées », a déclaré OpenAI sur X. « Un modèle d’OpenAI a désormais réfuté cette croyance en découvrant une famille de constructions totalement nouvelle qui donne de meilleurs résultats. »
L'entreprise a décrit cela comme « la première fois que l'IA a résolu de manière autonome un problème ouvert majeur, central dans un domaine des mathématiques ». Selon OpenAI, la preuve provient d'un nouveau modèle de raisonnement à usage général, et non d'un système spécialement conçu pour résoudre des problèmes mathématiques — ni même ce problème en particulier.
OpenAI souligne l’importance de cette réalisation, suggérant qu’elle démontre la capacité croissante des systèmes d’IA à maintenir des chaînes de raisonnement longues et complexes et à relier des idées entre différentes disciplines d’une manière que les chercheurs n’auraient peut-être pas envisagée auparavant. Cette capacité pourrait avoir des implications importantes pour des domaines tels que la biologie, la physique, l’ingénierie et la médecine.
« L’IA nous aide à explorer plus en profondeur la grande cathédrale des mathématiques que nous avons construite au fil des siècles », a déclaré Bloom dans un communiqué. « Quelles autres merveilles invisibles attendent encore d’être découvertes ? »
Sam Altman suscite un débat sur le ralentissement de l'IA
Écouter surApple PodcastsÉcouter surSpotifyLe PDG d'OpenAI, Sam Altman, a récemment suggéré qu'il était peut-être temps de « rythmer le rythme du développement de l'IA » afin de permettre à la société de « se renforcer autour de certains de ces nouv
OpenAI combat l’action en justice pour violation des secrets commerciaux intentée par Apple
OpenAI a réfuté les allégations de violation de secrets commerciaux d’Apple ce mardi, affirmant que le procès est infondé.« Nous prenons ces allégations au sérieux mais ne voyons aucune preuve à leur appui », a déclaré OpenAI, selon Ed Ludlow de Blo
La tête robotique d'OpenAI, Caitlin Kalinowski, démissionne en raison du partenariat avec le Pentagone
Caitlin Kalinowski, responsable de la robotique chez OpenAI, a démissionné à la suite du partenariat controversé de l’entreprise avec le département de la Défense.« Ce n’était pas une décision facile », a expliqué Kalinowski dans une déclaration sur











