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
Satya Nadella est prêt à tirer parti du nouvel accord avec OpenAI
Mercredi, un analyste de Wall Street a demandé directement au PDG de Microsoft, Satya Nadella, en quoi le nouveau partenariat avec OpenAI affecterait les résultats financiers de l’entreprise.Nadella a décrit ce nouvel accord comme une victoire pour
OpenAI présente les grandes lignes d'une économie de l'IA fondée sur des fonds de richesse publique, une taxe sur les robots et la semaine de quatre jours
Alors que les gouvernements peinent à gérer l’impact économique des machines superintelligentes, OpenAI a publié une série de propositions politiques décrivant comment la richesse et le travail pourra
Greg Brockman révèle comment Elon Musk a quitté OpenAI
Fin août 2017, les principaux dirigeants d’OpenAI — alors un petit laboratoire de recherche à but non lucratif — se sont réunis pour discuter de la manière dont ils allaient créer une entité à but luc
Recommandations de sujets spéciaux liés
Entreprise
Les meilleurs outils de suivi des dépenses basés sur l'IA : numérisez vos reçus et classez automatiquement les dépenses de l'entreprise
Les meilleurs outils de gestion des dépenses basés sur l'IA en 2026 : les outils les mieux notés pour numériser vos reçus et classer automatiquement les dépenses de votre entreprise. Découvrez des solutions puissantes et révolutionnaires pour une gestion des dépenses sans effort, un suivi financier précis et une conformité simplifiée. Notre comparatif, mis à jour chaque semaine, qui oppose les options gratuites aux options payantes, vous aide à trouver la solution qui vous convient le mieux. Tirez pleinement parti de l'IA grâce aux recommandations d'experts de XIX.AI.
10 outils
xix.ai
Entreprise
Les meilleurs outils de recrutement basés sur l'IA : triez les CV et automatisez la planification des entretiens avec les candidats
Découvrez les meilleurs outils de recrutement basés sur l'IA de 2026 sur XIX.AI. Notre sélection propose des solutions performantes et révolutionnaires pour l'analyse des CV et l'automatisation de la planification des entretiens avec les candidats. Comparez les options gratuites et payantes grâce à des tests concrets et à des classements mis à jour chaque semaine. Trouvez l'assistant de recrutement idéal et optimisez votre processus de recrutement dès aujourd'hui !
10 outils
xix.ai
Productivité
Coaches IA dédiés au bien-être et à la concentration : gérer l'épuisement professionnel et booster son énergie mentale
Découvrez sur XIX.AI les meilleurs coachs IA de 2026 spécialisés dans le bien-être personnel et la concentration. Notre classement, soigneusement établi, présente les outils les mieux notés et les plus innovants pour gérer le surmenage et booster votre énergie mentale. Comparez les options gratuites et payantes grâce à des avis concrets. Ouvrez-vous dès aujourd’hui la voie vers une productivité et un bien-être optimaux.
10 outils
xix.ai
chatbot
Les meilleurs chatbots romantiques basés sur l'IA : nouez des relations durables grâce à des personnalités cohérentes
Découvrez les meilleurs chatbots romantiques basés sur l'IA de 2026, sélectionnés pour vous aider à nouer des relations authentiques et durables. Notre sélection comprend des personnalités fortes et cohérentes, des comparaisons entre versions gratuites et payantes, ainsi que des tests en conditions réelles. Trouvez le compagnon idéal et commencez dès aujourd'hui sur XIX.AI.
10 outils
xix.ai
Éducation et apprentissage
Meilleurs mentors en science des données et intelligence artificielle : maîtrise de SQL, Pandas et des workflows d'apprentissage automatique
Découvrez les meilleurs mentors en sciences des données et en intelligence artificielle pour 2026 afin de maîtriser SQL, Pandas et les workflows d'apprentissage automatique. Explorez notre sélection soigneusement élaborée sur XIX.AI pour bénéficier d'une guidance puissante et révolutionnaire. Comparez les options gratuites et payantes en tenant compte de perspectives pratiques. Développez rapidement vos compétences en sciences des données.
10 outils
xix.ai
chatbot
Les meilleurs outils d'IA pour apprendre à flirter et à converser : renforcez votre charisme social et votre confiance en vous en temps réel
Découvrez les meilleurs outils d'entraînement au flirt et à la conversation basés sur l'IA de 2026 sur XIX.AI. Notre sélection triée sur le volet et très bien notée vous aide à développer votre charisme social et votre confiance en vous en temps réel. Découvrez des outils incontournables qui changent la donne, avec des comparaisons entre versions gratuites et payantes ainsi que des classements mis à jour chaque semaine. Développez dès aujourd'hui vos compétences sociales.
10 outils
xix.ai
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 ? »
Satya Nadella est prêt à tirer parti du nouvel accord avec OpenAI
Mercredi, un analyste de Wall Street a demandé directement au PDG de Microsoft, Satya Nadella, en quoi le nouveau partenariat avec OpenAI affecterait les résultats financiers de l’entreprise.Nadella a décrit ce nouvel accord comme une victoire pour
OpenAI présente les grandes lignes d'une économie de l'IA fondée sur des fonds de richesse publique, une taxe sur les robots et la semaine de quatre jours
Alors que les gouvernements peinent à gérer l’impact économique des machines superintelligentes, OpenAI a publié une série de propositions politiques décrivant comment la richesse et le travail pourra
Greg Brockman révèle comment Elon Musk a quitté OpenAI
Fin août 2017, les principaux dirigeants d’OpenAI — alors un petit laboratoire de recherche à but non lucratif — se sont réunis pour discuter de la manière dont ils allaient créer une entité à but luc
Les meilleurs outils de gestion des dépenses basés sur l'IA en 2026 : les outils les mieux notés pour numériser vos reçus et classer automatiquement les dépenses de votre entreprise. Découvrez des solutions puissantes et révolutionnaires pour une gestion des dépenses sans effort, un suivi financier précis et une conformité simplifiée. Notre comparatif, mis à jour chaque semaine, qui oppose les options gratuites aux options payantes, vous aide à trouver la solution qui vous convient le mieux. Tirez pleinement parti de l'IA grâce aux recommandations d'experts de XIX.AI.
10 outils
xix.ai
Découvrez les meilleurs outils de recrutement basés sur l'IA de 2026 sur XIX.AI. Notre sélection propose des solutions performantes et révolutionnaires pour l'analyse des CV et l'automatisation de la planification des entretiens avec les candidats. Comparez les options gratuites et payantes grâce à des tests concrets et à des classements mis à jour chaque semaine. Trouvez l'assistant de recrutement idéal et optimisez votre processus de recrutement dès aujourd'hui !
10 outils
xix.ai
Découvrez sur XIX.AI les meilleurs coachs IA de 2026 spécialisés dans le bien-être personnel et la concentration. Notre classement, soigneusement établi, présente les outils les mieux notés et les plus innovants pour gérer le surmenage et booster votre énergie mentale. Comparez les options gratuites et payantes grâce à des avis concrets. Ouvrez-vous dès aujourd’hui la voie vers une productivité et un bien-être optimaux.
10 outils
xix.ai
Découvrez les meilleurs chatbots romantiques basés sur l'IA de 2026, sélectionnés pour vous aider à nouer des relations authentiques et durables. Notre sélection comprend des personnalités fortes et cohérentes, des comparaisons entre versions gratuites et payantes, ainsi que des tests en conditions réelles. Trouvez le compagnon idéal et commencez dès aujourd'hui sur XIX.AI.
10 outils
xix.ai
Découvrez les meilleurs mentors en sciences des données et en intelligence artificielle pour 2026 afin de maîtriser SQL, Pandas et les workflows d'apprentissage automatique. Explorez notre sélection soigneusement élaborée sur XIX.AI pour bénéficier d'une guidance puissante et révolutionnaire. Comparez les options gratuites et payantes en tenant compte de perspectives pratiques. Développez rapidement vos compétences en sciences des données.
10 outils
xix.ai
Découvrez les meilleurs outils d'entraînement au flirt et à la conversation basés sur l'IA de 2026 sur XIX.AI. Notre sélection triée sur le volet et très bien notée vous aide à développer votre charisme social et votre confiance en vous en temps réel. Découvrez des outils incontournables qui changent la donne, avec des comparaisons entre versions gratuites et payantes ainsi que des classements mis à jour chaque semaine. Développez dès aujourd'hui vos compétences sociales.
10 outils
xix.ai
