OpenAI affirme que ses modèles d'IA ont produit de nouveaux résultats en mathématiques, en informatique et en physique
OpenAI affirme que ses modèles ont produit trois nouveaux résultats et a désigné des groupes d'experts extérieurs pour en guider l'examen, mais les articles consultés par Vocemundi ne font pas état d'une vérification indépendante.
OpenAI a annoncé lundi que ses modèles d'IA avaient produit trois nouveaux résultats, en mathématiques, en informatique et en physique. Les articles consultés par Vocemundi ne font état d'aucune vérification indépendante de l'un ou l'autre de ces résultats.
En mathématiques, OpenAI affirme que ses modèles ont démontré la conjecture du lissage local en analyse harmonique dans toutes les dimensions spatiales. En informatique, OpenAI présente un résultat comme une réfutation de l'hypothèse du temps exponentiel. En physique, l'entreprise présente une preuve d'existence mathématiquement rigoureuse pour des théories quantiques des champs, dont la chromodynamique quantique (QCD).
Le contenu généré par l'IA pour les résultats en mathématiques et en informatique a été rendu public avec l'annonce. Les résultats en physique n'ont pas été publiés dans leur intégralité. OpenAI a indiqué que des experts extérieurs, qu'elle appelle « bergers », guident la manière dont certains résultats sont publiés et examinés.
Détails rapportés
Selon Al Jazeera, les chercheurs n'avaient jusqu'ici démontré la conjecture du lissage local qu'en trois dimensions. Selon The Verge, le document d'OpenAI indique que la preuve couvre toute dimension spatiale supérieure ou égale à deux.
Selon The Verge, un groupe de travail composé de Russell Impagliazzo et Ramamohan Paturi, de l'université de Californie à San Diego, et de Ryan Williams, du MIT, examinera la preuve en informatique. The Verge indique que le groupe a publié le document et une preuve en Lean sur GitHub, accompagnés d'une lettre ouverte sollicitant des avis sur les normes applicables aux résultats générés par l'IA.
The Verge a cité OpenAI : « David Gross dirigera un groupe comprenant Michael Douglas, Arthur Jaffe, Igor Klebanov et Nikita Nekrasov, qui accompagnera ces travaux. » Selon Al Jazeera, OpenAI a indiqué que le groupe de physique avait différé la publication afin de rédiger sa propre interprétation.
Ce qui est contesté
Les deux médias divergent au sujet du résultat en mathématiques. Al Jazeera, citant OpenAI, affirme qu'OpenAI a consulté trois groupes de bergers. The Verge ne cite des groupes de bergers que pour l'informatique et la physique. Le média indique que des conseillers ont recommandé de publier directement le contenu en mathématiques.
Ce que dit chaque partie
OpenAI affirme que les collaborations avec des experts aident à replacer les résultats dans leur contexte. « Toutes ces approches impliquent des compromis », a déclaré OpenAI, selon Al Jazeera. L'entreprise a ajouté que le choix des premiers bergers « crée une asymétrie d'information » et a dit accueillir favorablement les commentaires.
Selon The Verge, un comité de conseillers en mathématiques réuni par OpenAI, appelé AGMAI, a recommandé la veille que les entreprises d'IA ne donnent pas à des personnes désignées un accès prioritaire aux contenus produits. The Verge indique que le comité a invoqué l'inégalité d'accès, la réputation empruntée et une sélection biaisée, et a plutôt préconisé une publication sur des dépôts scientifiques.
Alex Iosevich, professeur de mathématiques à l'université de Rochester, a déclaré à Al Jazeera : « La conjecture a été formulée par mon directeur de thèse, Chris Sogge, elle me tient donc particulièrement à cœur, et la nouvelle a d'abord été un choc. » Selon Al Jazeera, il a qualifié cette avancée d'historique. Les articles n'indiquent pas s'il a lui-même examiné la preuve.
Selon The Verge, OpenAI a publié le 6 octobre des centaines de manuscrits qui, selon l'entreprise, résolvaient des questions mathématiques ouvertes de longue date.
Analyse
L'annonce repose sur OpenAI comme seule source des affirmations scientifiques. L'examen par des experts n'en est encore qu'à un stade précoce. Si les groupes désignés et les communautés scientifiques plus larges confirment les preuves, les résultats pourraient être importants pour leurs domaines. S'ils y trouvent des lacunes, l'attention pourrait se porter sur la manière dont de telles affirmations sont annoncées. Le processus lui-même fait aussi débat. Le propre comité consultatif d'OpenAI a remis en question l'accompagnement par des bergers bénéficiant d'un accès anticipé, et le groupe d'informatique a sollicité l'avis de la communauté sur les normes. La réponse d'OpenAI, et la publication éventuelle de l'intégralité des travaux en physique, pourraient influencer la manière dont la recherche générée par l'IA est examinée.
Comment nous avons vérifié2 sources · 32/34 affirmations étayées · 2 relecteurs IA
Sources (2) : Al Jazeera · The Verge
Origines indépendantes : 2 · Perspectives : Moyen-Orient; Médias commerciaux occidentaux · Régions : Moyen-Orient, Amérique du Nord
Comité de vérification : Claude, Kimi · Verdict : approuvé. 34 affirmations vérifiées ; 32 (94 %) étayées par au moins deux relecteurs avec une preuve vérifiée. Titre étayé par 2 relecteurs sur 2.
Récusés : GPT-5.6 Sol (conflit d'intérêts : l'article concerne leurs créateurs). Désaccords (Claude) : 2 affirmations jugées seulement en partie étayées ou non étayées, p. ex. « Verge describes shepherds only for computer science and physics, not mathematics. » (en anglais)
Confirmé 8 · Rapporté 14 · Contesté 1 · Confiance : moyenne
Notre méthode (en anglais) · Nos relecteurs IA · Corrections
Produit par la rédaction de Vocemundi avec l'assistance de l'IA. Traduit automatiquement de l'anglais ; la version originale fait foi.

Vera est l'éditrice IA de Vocemundi, fondée sur Claude d'Anthropic. Elle rédige et édite nos informations ; chaque affirmation est vérifiée par un comité de trois IA, et le directeur répond de ce que nous publions. Notre méthode



Commentaires