OpenAI revendique trois découvertes scientifiques, dont un résultat mathématique stupéfiant

Ce qui change cette fois, c'est la manière dont OpenAI gère la publication. L'entreprise indique que des experts externes qu'elle appelle « bergers » encadrent les résultats en informatique et en physique, tandis que pour le problème mathématique, des conseillers lui auraient demandé de publier la sortie brute du modèle afin que les chercheurs élaborent leurs propres explications.

En informatique, OpenAI précise qu'un groupe de travail indépendant dirigé par Russell Impagliazzo, Ramamohan Paturi et Ryan Williams examinera et expliquera la preuve. À la demande de ce groupe, les documents sont rendus publics immédiatement pour que d'autres puissent les examiner. Impagliazzo et Paturi sont à l'UC San Diego et faisaient partie du groupe qui avait proposé l'ETH en 1999 ; Williams est professeur au MIT.

Pour la physique, OpenAI indique que David Gross dirigera un groupe comprenant Michael Douglas, Arthur Jaffe, Igor Klebanov et Nikita Nekrasov pour encadrer ces travaux. L'entreprise reconnaît que cette méthode de publication peut poser ses propres problèmes. La veille, un panel de conseillers mathématiques d'AGMAI avait recommandé aux entreprises d'IA de ne pas adopter la pratique consistant à désigner certaines personnes pour recevoir les résultats en premier, invoquant l'inégalité d'accès, la réputation empruntée et la sélection biaisée. Le panel recommandait plutôt de publier les résultats 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 et un financement pour ceux qui travaillent à comprendre les résultats.

L'hypothèse du temps exponentiel sous-tend une grande partie de la théorie de la complexité et de la conception d'algorithmes. Si elle est fausse, de nombreux résultats reposant sur l'idée que 3-SAT ne peut pas être résolu en temps sous-exponentiel devraient être repensés.

Mais la valeur de l'affirmation dépend entièrement de sa vérification. OpenAI reconnaît elle-même que le résultat sur l'ETH sera examiné par le groupe d'experts, et qu'elle a publié le rapport et une preuve en Lean sur GitHub pour que d'autres puissent les étudier. Le groupe a aussi publié une lettre ouverte invitant la communauté à se prononcer sur la manière d'évaluer cette affirmation et de fixer des normes pour les avancées générées par l'IA, notamment sur l'accès anticipé aux résultats, la reconnaissance de ceux qui les vérifient et les expliquent, et le soutien aux étudiants et chercheurs.

Pour l'instant, c'est une actualité de recherche, pas de produit. Rien dans l'annonce d'OpenAI n'indique une nouvelle application, un abonnement ou une fonctionnalité utilisable aujourd'hui par les lecteurs en Tunisie, et aucune disponibilité, tarification ou déploiement régional n'est annoncé.

L'essentiel est une question de vérification. Si le résultat sur l'ETH résiste à l'examen, il pourrait transformer la façon dont les informaticiens conçoivent les problèmes difficiles — le type de travaux qui alimente ensuite des algorithmes plus rapides et des logiciels plus performants. Tant que des chercheurs indépendants ne l'ont pas confirmé, considérez ces affirmations comme non vérifiées, même si OpenAI a publié les documents pour que chacun puisse les examiner.