RéponsesPublié25 sources
OpenAI affirme avoir résolu plus de 100 problèmes de mathématiques : ce qui est établi, et ce qui ne l’est pas
Le 21 septembre 2026, OpenAI a affirmé qu’un modèle interne, dont l’entraînement aurait commencé le 28 août, avait résolu plus de 100 problèmes ouverts de longue date en mathématiques.[5][15] OpenAI a rendu publics une preuve analytique et une formalisation Lean pour Navier Stokes, mais pas de publication dans une r...
Publié parModifié avec GPT-5.6 TerraImages générées avec GPT Image 2
Réponse de recherche
Points clés à retenir
- Le 21 septembre 2026, OpenAI a affirmé qu’un modèle interne, dont l’entraînement aurait commencé le 28 août, avait résolu plus de 100 problèmes ouverts de longue date en mathématiques.[5][15]
- OpenAI a rendu publics une preuve analytique et une formalisation Lean pour Navier Stokes, mais pas de publication dans une revue admissible ni de validation communautaire achevée ; la liste détaillée des « plus de 10...
- Rien dans les éléments publics fournis ne permet de considérer la conjecture de Hodge comme résolue : OpenAI a évoqué des progrès sur un deuxième problème du Millénaire non identifié, sans divulguer de preuve.[14]
Prompt IA
openai.comCreate a landscape editorial hero image for this Studio Global article: What did OpenAI claim on September 21, 2026, about an unnamed internally trained AI model solving more than 100 long-standing open mathemati. Article summary: OpenAI’s September 21 statement was a claim, not a community-accepted mathematical result: it said an unnamed internal model, trained beginning August 28, had resolved more than 100 long-standing open problems across mat. Topic tags: general, news, general web, education, academic. Style: premium digital editorial illustration, source-backed research mood, clean composition, high detail, modern web publication hero. Use reference image context only for broad subject, composition, and topical grounding; do not copy the exact image. Avoid: logos, brand marks, copyrighted characters, real person likenesses, fake screenshots, UI text, readable text, watermarks, cha
L’annonce d’OpenAI du 21 septembre constitue une affirmation de recherche hors norme, pas un résultat mathématique définitivement établi. L’entreprise a déclaré qu’un modèle interne non nommé, dont l’entraînement avait commencé le 28 août, avait « résolu » plus de 100 problèmes ouverts de longue date dans la plupart des domaines des mathématiques. Cette annonce accompagnait la création d’un groupe consultatif indépendant sur les mathématiques et l’intelligence artificielle, hébergé par l’Institute for Advanced Study (IAS), à Princeton. 5
15
La distinction essentielle est la suivante : une entreprise peut affirmer avoir une solution ; cela ne signifie pas que cette solution a été examinée indépendamment et acceptée par les mathématiciens. Les informations publiques étayent, à ce stade, la première proposition — pas la seconde, pour l’ensemble des problèmes revendiqués.
Ce qu’OpenAI affirme avoir accompli
Le 8 septembre, OpenAI avait déjà affirmé qu’environ 10 000 agents d’IA, utilisant un modèle interne non publié, avaient trouvé en 88 heures une singularité en temps fini pour les équations de Navier-Stokes forcées en dimension trois. L’entreprise a présenté ce résultat comme une résolution du problème d’existence et de régularité de Navier-Stokes et a indiqué avoir produit à la fois une preuve analytique et une formalisation en Lean. 1
13
Le 21 septembre, OpenAI a élargi considérablement cette affirmation : au-delà de Navier-Stokes, son modèle interne aurait résolu plus de 100 problèmes ouverts de longue date. 5
15
Le terme « résolu » est déterminant : c’est la qualification employée par OpenAI. Il ne signifie pas que chaque résultat a été publié, contrôlé par des spécialistes indépendants ou accepté par la communauté mathématique.
Les éléments rendus publics — et ceux qui manquent
Pour Navier-Stokes, OpenAI a décrit publiquement une preuve analytique et une formalisation dans Lean, un assistant de preuve. Une vérification par Lean est un élément sérieux : elle peut établir qu’un théorème formulé de manière précise découle bien des définitions, axiomes et bibliothèques formelles intégrés au système. 13
Mais pour l’affirmation portant sur « plus de 100 » problèmes, le dossier public est bien plus mince. L’annonce du 21 septembre ne fournissait pas de catalogue détaillé : ni liste des problèmes, ni énoncés mathématiques exacts, ni preuves, ni état des formalisations, ni historique des travaux antérieurs, ni statut d’une évaluation indépendante. Sans cela, des chercheurs extérieurs ne peuvent pas contrôler le chiffre avancé, problème par problème. 7
11
Les informations disponibles ne démontrent pas non plus qu’une évaluation humaine indépendante soit terminée, ni que la preuve sur Navier-Stokes ait reçu une acceptation générale. Il s’agit de critères distincts de la mise à disposition d’un artefact de preuve ou de la compilation d’un programme. 1
46
La conjecture de Hodge est-elle résolue ?
Non : les éléments publics fournis ne permettent pas de dire que la conjecture de Hodge est résolue.
Cette conjecture fait partie des problèmes du prix du Millénaire du Clay Mathematics Institute. 37 Des informations de presse indiquaient qu’OpenAI avait reconnu des progrès substantiels sur un deuxième problème du Millénaire, non identifié. L’entreprise n’a toutefois pas déclaré publiquement qu’il s’agissait de la conjecture de Hodge, ni publié de démonstration à son sujet.
14
Une rumeur, un article ou une annonce de progrès ne remplacent pas une preuve accessible et examinable. Tant qu’un énoncé précis et les travaux qui l’étayent ne sont pas publics et évalués de façon indépendante, il est raisonnable de conclure qu’une résolution de la conjecture de Hodge par OpenAI n’est pas établie.
Pourquoi une preuve Lean peut être valide mais difficile à évaluer
La vérification formelle et la compréhension mathématique humaine répondent à des besoins proches, mais différents.
Une formalisation Lean peut offrir une forte assurance qu’un théorème encodé ne comporte pas de lacune logique au regard de son cadre formel. Mais les scripts de preuve rendent explicites de très nombreuses opérations que les mathématiciens jugent routinières : définitions, lemmes, dépendances de bibliothèques, réécritures et étapes techniques. Il peut alors devenir difficile, même pour des spécialistes, de lire la preuve comme un raisonnement conceptuel.
Cela ne veut pas dire que « cela compile » ne vaut rien. Cela signifie que la compilation ne répond pas seule à toutes les questions importantes :
- l’énoncé formalisé correspond-il exactement au problème du Millénaire visé ?
- quelle est l’idée centrale de la construction ou du mécanisme de singularité ?
- quelles estimations ou quels arguments accomplissent le véritable travail intellectuel ?
- le résultat est-il robuste, nouveau et présenté de sorte que d’autres chercheurs puissent s’en servir ?
- comment attribuer correctement les idées et travaux antérieurs ?
La vérification formelle peut donc être une composante majeure de la validation. Elle ne produit pas automatiquement une exposition lisible par l’humain, ne tranche pas les questions de paternité scientifique et ne crée pas à elle seule un consensus.
Les critiques : attribution, priorité et pratiques de recherche
L’annonce a suscité des critiques qui dépassent la seule qualité technique de la preuve. Vingt-cinq lauréats de la médaille Fields ont signé une lettre ouverte, A Severe Misalignment of AI in Mathematics, contestant la course des laboratoires d’IA à résoudre des problèmes célèbres pour démontrer les capacités de leurs modèles. D’après les comptes rendus, les signataires estimaient que ces incitations pouvaient nuire aux mathématiques, à leur culture de recherche et à la formation des chercheurs. 19
21
Une autre controverse porte sur la priorité scientifique et concerne les mathématiciens Tristan Buckmaster et Levent Alpöge. Dans une déclaration publiée à la même période, Tristan Buckmaster a dit avoir été informé qu’un système interne d’OpenAI disposait d’une preuve d’explosion en temps fini pour les équations de Navier-Stokes forcées. Il a aussi expliqué que lui-même et Levent Alpöge se seraient sentis poussés à publier des travaux connexes avant d’avoir achevé leur vérification et leur présentation ; il précise qu’un résultat distinct sur Navier-Stokes hypo-dissipatif n’a pas été publié, car sa vérification dans Lean n’était pas terminée. 17
Ce témoignage est un élément important dans un conflit portant sur le calendrier, le crédit scientifique et la pression à publier. Il ne prouve pas, à lui seul, qu’OpenAI aurait copié les travaux de qui que ce soit. OpenAI a affirmé avoir commencé ses travaux après avoir entendu parler d’une avancée supposée des deux chercheurs et leur avoir proposé une publication simultanée reconnaissant leur priorité. 32
La question non résolue ne se limite donc pas à la capacité d’une IA à générer une preuve. Elle concerne aussi les conditions de diffusion des découvertes assistées par IA : attribution rigoureuse, examen indépendant et fonctionnement normal de l’échange scientifique.
Ce que le groupe consultatif hébergé à l’IAS peut — et ne peut pas — faire
OpenAI a annoncé un groupe consultatif indépendant et non rémunéré de neuf membres, l’Advisory Group on Mathematics and Artificial Intelligence, hébergé par l’Institute for Advanced Study à Princeton. Parmi les membres cités figurent Timothy Gowers et Martin Hairer. 4
5
Sa mission affichée est de donner aux mathématiciens un rôle dans l’évaluation et la communication des travaux générés par l’IA, notamment en conseillant OpenAI sur les pratiques de revue et de publication. 5
15
Ce groupe demeure toutefois consultatif, et non réglementaire. Selon les informations disponibles, il ne peut pas obliger OpenAI à publier les preuves sous-jacentes, imposer le calendrier de recherche de l’entreprise, empêcher une annonce ou décider définitivement de la paternité d’un résultat. 7
Cette limite est fondamentale : l’avis de spécialistes peut améliorer la transparence et la communication, mais il ne suffit pas à transformer une affirmation interne d’entreprise en théorème accepté par la communauté.
Pourquoi aucun prix du Millénaire ne peut être attribué pour l’instant
Les règles du Clay Mathematics Institute sont explicites. Avant même d’examiner une solution proposée à un problème du Millénaire, l’institut exige trois conditions : une publication dans un support admissible, l’écoulement d’au moins deux ans après cette publication et l’acceptation générale du résultat par la communauté mathématique mondiale. 46
Un billet de blog d’entreprise, une prépublication, un dépôt de code ou l’avis d’un groupe consultatif ne remplissent pas automatiquement ces conditions. Après l’annonce relative à Navier-Stokes, le Clay Mathematics Institute a d’ailleurs rappelé que ses règles encadrent à la fois l’évaluation des résultats et l’attribution du crédit scientifique. 42
Même si le résultat d’OpenAI sur Navier-Stokes — ou un résultat ultérieur — s’avérait finalement correct, les annonces de septembre ne les rendent donc pas immédiatement admissibles au prix. Les travaux doivent encore suivre le processus établi de publication, d’examen et d’acceptation.
À retenir
OpenAI affirme qu’un modèle interne a résolu plus de 100 problèmes ouverts de mathématiques, après avoir annoncé une solution formalisée dans Lean pour Navier-Stokes. Pour Navier-Stokes, des éléments publics existent ; pour le portefeuille plus vaste, il n’existe pas encore de dossier public détaillé permettant de vérifier chaque résultat. 13
11
La conclusion raisonnable n’est aujourd’hui ni le rejet automatique ni l’acceptation immédiate. Ces affirmations pourraient avoir des conséquences majeures, mais elles exigent des preuves transparentes, l’examen de spécialistes, une attribution soigneuse et du temps — plus encore lorsqu’il est suggéré qu’un autre problème du Millénaire, comme la conjecture de Hodge, aurait été résolu.
Studio Global AI
Continuez vos recherches
Cette page comprend une réponse basée sur la source que vous pouvez continuer dans Studio Global.
Les gens demandent aussi
Quelle est la réponse courte à « OpenAI affirme avoir résolu plus de 100 problèmes de mathématiques : ce qui est établi, et ce qui ne l’est pas » ?
Le 21 septembre 2026, OpenAI a affirmé qu’un modèle interne, dont l’entraînement aurait commencé le 28 août, avait résolu plus de 100 problèmes ouverts de longue date en mathématiques.[5][15]
Quels sont les points clés à valider en premier ?
Le 21 septembre 2026, OpenAI a affirmé qu’un modèle interne, dont l’entraînement aurait commencé le 28 août, avait résolu plus de 100 problèmes ouverts de longue date en mathématiques.[5][15] OpenAI a rendu publics une preuve analytique et une formalisation Lean pour Navier Stokes, mais pas de publication dans une revue admissible ni de validation communautaire achevée ; la liste détaillée des « plus de 10...
Que dois-je faire ensuite en pratique ?
Rien dans les éléments publics fournis ne permet de considérer la conjecture de Hodge comme résolue : OpenAI a évoqué des progrès sur un deuxième problème du Millénaire non identifié, sans divulguer de preuve.[14]