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
OpenAI lance une version plus sûre de ChatGPT pour les adolescents, plusieurs années après qu’ils ont commencé à l’utiliser
À la suite d’une série de poursuites judiciaires liées à l’absence de protocoles de sécurité dans les chatbots basés sur l’IA — qui ont contribué à des suicides d’adolescents et à d’autres crises de s
Frontier AI Labs refuse de dévoiler ses stratégies de confinement des modèles indésirables
Des recherches récentes indiquent que très peu de grands laboratoires spécialisés dans l’IA ont publié ou présenté des plans d’intervention en cas de défaillance. Un plan d’intervention définit les pr
Le Tiffany Luck de NEA : les entreprises continuent de lutter pour justifier le retour sur investissement de l’IA
Chargement du lecteur…Plus tôt cette année, le « tokenmaxxing » a dominé la Silicon Valley, les PDG exhortant leurs employés à maximiser l’utilisation de l’IA. Cet enthousiasme a rapidement rencontré la réalité. Selon les informations rapportées, Ub
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 ? »
OpenAI lance une version plus sûre de ChatGPT pour les adolescents, plusieurs années après qu’ils ont commencé à l’utiliser
À la suite d’une série de poursuites judiciaires liées à l’absence de protocoles de sécurité dans les chatbots basés sur l’IA — qui ont contribué à des suicides d’adolescents et à d’autres crises de s
Frontier AI Labs refuse de dévoiler ses stratégies de confinement des modèles indésirables
Des recherches récentes indiquent que très peu de grands laboratoires spécialisés dans l’IA ont publié ou présenté des plans d’intervention en cas de défaillance. Un plan d’intervention définit les pr
Le Tiffany Luck de NEA : les entreprises continuent de lutter pour justifier le retour sur investissement de l’IA
Chargement du lecteur…Plus tôt cette année, le « tokenmaxxing » a dominé la Silicon Valley, les PDG exhortant leurs employés à maximiser l’utilisation de l’IA. Cet enthousiasme a rapidement rencontré la réalité. Selon les informations rapportées, Ub











