OpenAI annonce trois découvertes scientifiques et un nouveau mode

Résumé

OpenAI annonce trois découvertes majeures en mathématiques, informatique et physique, accompagnées d’une vérification par des experts externes appelés « guides ».

Les faits

OpenAI annonce trois découvertes présentées comme « majeures » dans les domaines des mathématiques, de l’informatique et de la physique. Cette annonce intervient moins d’un mois après la diffusion massive de centaines de manuscrits contenant, selon l’entreprise, des solutions à des questions mathématiques anciennes. En mathématiques, les travaux portent sur un lissage local pour l’équation des ondes euclidienne. La preuve utilise une équation différentielle partielle auxiliaire et établit le lissage local de Sogge pour les ondes dans toute dimension spatiale au moins égale à deux. Elle produit également des résultats liés aux conjectures de Kakeya ainsi qu’aux estimations de restriction sphérique de Stein dans la partie intérieure de l’intervalle conjecturé. En informatique théorique, OpenAI affirme que l’hypothèse du temps exponentiel est fausse. Le résultat repose sur un algorithme déterministe qui compte exactement, en temps sous-exponentiel et avec un espace polynomial, les affectations satisfaisantes de formules CNF de largeur fixée. Le cas de 3-SAT réfute l’hypothèse du temps exponentiel. En physique, les travaux décrivent une preuve d’existence mathématiquement rigoureuse de certaines théories quantiques des champs en interaction, avec champs de jauge et fermions en quatre dimensions, notamment la chromodynamique quantique et une complétion unifiée du modèle standard. L’information n’a pas été publiée intégralement. OpenAI indique que David Gross dirigera un groupe chargé d’accompagner ces travaux.

Pourquoi c’est important

L’annonce marque une évolution dans la manière dont OpenAI présente ses résultats scientifiques : les productions des modèles sont soumises à l’examen d’experts extérieurs, désignés par l’entreprise comme des « guides ». Pour le résultat informatique, un groupe indépendant dirigé par Russell Impagliazzo, Ramamohan Paturi et Ryan Williams doit examiner et expliquer la preuve. Cette méthode vise à rendre les résultats produits par l’IA examinables par la communauté scientifique. OpenAI indique que les documents relatifs à la preuve informatique, ainsi que la preuve Lean, seront publiés sur GitHub afin de permettre leur analyse par d’autres chercheurs.

Questions fréquentes

Quelles disciplines sont concernées ?

Les mathématiques, l’informatique théorique et la physique.

Que soutient OpenAI en informatique théorique ?

OpenAI affirme que l’hypothèse du temps exponentiel est fausse.

Qui examine la preuve informatique ?

Un groupe indépendant dirigé par Russell Impagliazzo, Ramamohan Paturi et Ryan Williams.

Les travaux de physique ont-ils été publiés intégralement ?

Non. L’article indique que les informations relatives à la physique n’ont pas été publiées intégralement.

Comment les résultats peuvent-ils être examinés ?

OpenAI indique que les documents de la preuve informatique et la preuve Lean sont publiés sur GitHub.

Source

Auteur

Rédaction spécialisée dans la veille et l'analyse de l'actualité de l'intelligence artificielle, des puces IA, des robots, des agents IA et de la recherche.