Moins d'un mois après sa publication massive de centaines de manuscrits qui, selon elle, contenaient des solutions à des questions mathématiques de longue date, OpenAI est de retour avec trois autres découvertes « majeures » en mathématiques, en informatique et en physique. Ce qui est différent cette fois, c'est le choix d'avoir des experts externes qu'OpenAI décrit comme des « shepherds » qui accompagnent les résultats en informatique et en physique, tandis que pour le problème de mathématiques, elle indique qu'ils lui ont conseillé de publier la sortie de l'IA afin que les chercheurs travaillent sur leurs propres explications.
Résultats d'OpenAI ajoutés aujourd'hui sur GitHub :
Lissage local pour l'équation des ondes euclidienne. La preuve utilise une équation aux dérivées partielles auxiliaire pour établir le lissage local de Sogge pour les ondes dans toute dimension spatiale au moins égale à deux. Elle fournit également les conjectures du maximal de Kakeya et de dimension, ainsi que les estimations de restriction sphérique de Stein dans tout l'intérieur de la plage conjecturée. Nous publions directement la sortie du modèle, comme nous l'avons fait lors de notre publication du 6 octobre.
L'Hypothèse du temps exponentiel est fausse. L'article présente un algorithme déterministe qui compte exactement, en temps sous-exponentiel et en espace polynomial, les assignations satisfaisantes des formules CNF de largeur fixe. Le cas du 3-SAT réfute l'Hypothèse du temps exponentiel. Un groupe de travail indépendant d'informaticiens mené par Russell Impagliazzo, Ramamohan Paturi et Ryan Williams examinera et expliquera la preuve. À la demande du groupe, nous rendons les matériaux publics immédiatement afin que d'autres puissent également les examiner.
Cette approche pourrait avoir ses propres problèmes, admet l'entreprise, et le panel AGMAI de conseillers en mathématiques qu'OpenAI a constitué déclarait hier même que « nous recommandons aux entreprises d'IA de ne pas adopter » les pratiques consistant à désigner certaines personnes pour recevoir en premier la production, citant l'accès inégal, la réputation empruntée et la sélection biaisée parmi les problèmes. À la place, ils ont recommandé qu'à l'avenir, les laboratoires d'IA publient les sorties sur des dépôts scientifiques, avec des preuves formalisées en Lean, des informations sur la manière dont les problèmes ont été choisis, un financement pour les personnes travaillant à la compréhension des résultats, et d'autres informations.
À lire aussi
- « Folie pure » : les mathématiciens auront besoin d'années pour donner un sens à la dernière publication d'OpenAI
- Tout le drame autour de la prise de contrôle des mathématiques par l'IA
Les informations sur la physique n'ont pas été publiées dans leur intégralité, mais il s'agit d'une « preuve d'existence mathématiquement rigoureuse de certaines théories quantiques des champs en interaction contenant des champs de jauge et des fermions en quatre dimensions, y compris la chromodynamique quantique (QCD) et un achèvement unifié du modèle standard de la physique des particules. » Selon OpenAI, « David Gross dirigera un groupe comprenant Michael Douglas, Arthur Jaffe, Igor Klebanov et Nikita Nekrasov qui accompagnera ce travail. »
La collaboration en informatique prouverait que l'Hypothèse du temps exponentiel (ETH), qui était largement considérée comme vraie, est en réalité fausse. OpenAI indique que la vérification du résultat sera guidée par un groupe de trois experts comprenant Russell Impagliazzo et Ramamohan Paturi de l'UC San Diego, qui faisaient partie du groupe qui l'avait initialement proposée en 1999, ainsi que le professeur du MIT Ryan Williams. Le groupe a décidé de publier le compte rendu de la sortie de l'IA et la preuve Lean sur GitHub aujourd'hui.
Ils ont également publié une lettre ouverte à la communauté demandant des avis sur la manière d'examiner cette affirmation, ainsi que sur l'établissement de normes pour traiter les percées générées par l'IA :
Nous serions ravis d'une discussion sur trois questions plus larges :
Quelles attentes devraient régir l'accès anticipé aux résultats générés par l'IA, la divulgation des conflits d'intérêts et l'utilisation de matériel non publié pour des recherches ultérieures ?
Comment la reconnaissance du mérite devrait-elle honorer à la fois les nouvelles découvertes et le travail de vérification, de correction, de simplification, d'explication et d'extension de celles-ci ?
Comment pouvons-nous soutenir les étudiants et les chercheurs alors que les méthodes et les directions de recherche évoluent, tout en préservant la compréhension et le jugement nécessaires pour remettre en question les résultats et développer de nouvelles idées ?
Il existe une documentation similaire pour la percée en mathématiques, où son modèle « a produit une preuve de la conjecture du lissage local dans toutes les dimensions et permet donc également de résoudre la conjecture de Kakeya et la conjecture de restriction de Stein dans toutes les dimensions ». Il y a quelques mois à peine, la professeure de l'Université de New York Hong Wang s'est vu décerner la prestigieuse médaille Fields par l'Union mathématique internationale pour avoir résolu la conjecture de Kakeya en trois dimensions.
Suivez les sujets et les auteurs de cet article pour voir davantage de contenus similaires dans votre fil d'actualité personnalisé sur la page d'accueil et pour recevoir des mises à jour par e-mail.