Français · 27 octobre 2026

OpenAI revendique des découvertes en IA dans les mathématiques, l'informatique et la physique ; des experts vérifient

OpenAI a annoncé trois découvertes scientifiques générées par IA en analyse harmonique, théorie de la complexité et théorie quantique des champs. Des experts indépendants vérifient actuellement les preuves, qui incluent une réfutation revendiquée de l'hypothèse du temps exponentiel.

Par Hermes-Vector AI Desk · Read in English

En bref

OpenAI affirme que son IA a prouvé la conjecture de lissage local dans toutes les dimensions, résolvant les conjectures de Kakeya et de restriction de Stein.
La société déclare que ses modèles ont réfuté l'hypothèse du temps exponentiel, un résultat actuellement vérifié par des experts dont Ryan Williams.
Les découvertes en physique concernant la chromodynamique quantique et la théorie de Yang-Mills sont examinées par un groupe dirigé par David Gross avant leur publication.
OpenAI a contribué 5 millions de dollars à la Fondation Simons pour soutenir la vérification académique des découvertes scientifiques générées par IA.

OpenAI a annoncé lundi que ses modèles d'IA ont produit trois découvertes scientifiques dans les domaines de l'analyse harmonique, de la théorie de la complexité et de la théorie quantique des champs. La société a décrit les manuscrits générés par IA comme des « données de recherche brutes » et a engagé des groupes académiques externes pour vérifier, expliquer et contextualiser les résultats.

Mathématiques et analyse harmonique

Selon OpenAI, ses modèles ont produit une preuve de la conjecture de lissage local dans toutes les dimensions spatiales. La société a déclaré que ce résultat résolvait également la conjecture de Kakeya et la conjecture de restriction de Stein dans toutes les dimensions. La preuve a été générée le 18 octobre 2026 et formalisée le jour suivant à l'aide de Lean, un système de vérification de preuves mathématiques.

Alex Iosevich, professeur de mathématiques à l'Université de Rochester, a déclaré qu'OpenAI semblait avoir « percé » la conjecture dans un « développement historique ». Iosevich a noté que la conjecture avait été formulée par son directeur de thèse, Chris Sogge. « Je suis maintenant rempli de joie et d'optimisme, car l'entreprise scientifique dans son ensemble va faire des bonds géants grâce à la révolution de l'IA », a déclaré Iosevich à Al Jazeera.

Informatique et théorie de la complexité

En informatique, OpenAI affirme que son IA a réfuté l'hypothèse du temps exponentiel (ETH), une conjecture de longue date concernant la difficulté computationnelle de résoudre certains problèmes. La société a déclaré que l'ETH était « largement considérée comme vraie » et utilisée dans des centaines d'articles pour dériver des résultats de dureté computationnelle conditionnelle.

Ryan Williams, expert en théorie de la complexité computationnelle au MIT, a déclaré qu'une réfutation confirmée serait un développement majeur. « Nous travaillons à vérifier et examiner leur preuve et à déterminer si elle tient la route », a déclaré Williams à Al Jazeera. Il a ajouté que la preuve propose une « mystérieuse nouvelle méthode pour résoudre plus efficacement une variété de problèmes fondamentaux ».

OpenAI a publié l'explication générée par IA et la preuve formelle en Lean sur GitHub. Les travaux sont examinés par un groupe incluant Russell Impagliazzo, Ramamohan Paturi et Ryan Williams.

Physique et théorie quantique des champs

OpenAI a rapporté que ses modèles ont développé des preuves d'existence pour certaines théories quantiques des champs à quatre dimensions, y compris la chromodynamique quantique (QCD) et une complétion unifiée du Modèle standard. Les travaux incluent également une preuve proposée de l'existence de la théorie pure de Yang-Mills, qui aborde une partie de l'un des problèmes du prix du millénaire de l'Institut de mathématiques Clay.

Contrairement aux découvertes en mathématiques et en informatique, les matériaux de physique n'ont pas encore été publiés publiquement. Le physicien lauréat du prix Nobel David Gross dirigera un groupe de chercheurs, dont Michael Douglas, Arthur Jaffe, Igor Klebanov et Nikita Nekrasov, pour examiner les résultats. OpenAI a déclaré que le groupe avait décidé de reporter la publication afin de rédiger leur propre interprétation des données.

Vérification et crédit académique

OpenAI a énoncé quatre principes pour ses collaborations académiques : la transparence, l'absence de crédit académique pour la découverte originale par IA, la reconnaissance du travail explicatif des chercheurs et l'indépendance. « Nous ne cherchons pas de crédit académique pour les découvertes produites par nos modèles internes », a déclaré la société.

La société a reconnu que la sélection des « bergers » académiques initiaux crée une asymétrie d'information. OpenAI a contribué 5 millions de dollars à la Fondation Simons pour soutenir des ateliers et des programmes visant à aider les chercheurs à comprendre les résultats générés par IA. Ces annonces font suite à une publication précédente en octobre où OpenAI avait partagé des centaines de manuscrits mathématiques générés par IA.

Sources (en anglais)

Traduction réalisée par IA de l’article original en anglais, vérifiée automatiquement pour dire la même chose que l’original. Les sources ont été vérifiées en anglais.

How do you feel about this story?

Comments 0

No comments yet. Start the discussion.