Il y a la communication d’OpenAI. Et puis il y a la façon dont la communauté scientifique accueille tout cela. Or, le moins que l’on puisse dire, en lisant le communiqué de l’Advisory Group on Mathematics and Artificial Intelligence (AGMAI), c’est que les toutes dernières annonces de l’entreprise américaine spécialisée en IA font encore parler.
Rappel des faits : OpenAI a présenté ce lundi 26 octobre trois résultats de tout premier plan en mathématiques, en informatique et en physique.
Le résultat en physique fait réagir l’AGMAI. OpenAI avait approché certains de ses membres pour monter un comité consultatif externe. En accord avec l’entreprise, ils ont préféré créer un groupe indépendant et bénévole, qui conseille toutes les entreprises d’IA sur la publication de résultats mathématiques.
En l’espèce, un modèle interne d’IA aurait prouvé l’existence mathématique de la théorie de Yang-Mills en quatre dimensions. L’IA d’OpenAI aurait aussi prouvé celle de la chromodynamique quantique, c’est-à-dire la théorie de la force qui lie les quarks entre eux, au cœur des atomes. Sauf que personne n’a pu lire ses preuves, hormis cinq physiciens choisis par OpenAI et menés par David Gross, prix Nobel de physique 2004.
Aucune raison scientifique de retarder cette publication
Cela pose cependant un gros problème à l’AGMAI, qui est un collectif de neuf mathématiciens rattaché à l’Institute for Advanced Study de Princeton. Leur justification ? Les découvertes liées à Yang-Mills ont de toute évidence des implications considérables en mathématiques. Dès lors, l’AGMAI juge qu’il faut partager cela avec la communauté.
OpenAI date sa preuve de Yang-Mills au 9 septembre. Le groupe dit avoir attendu la fin de sa traduction en Lean, un logiciel qui vérifie étape par étape une démonstration. Ce travail s’est terminé le 16 octobre. Aux yeux de ce comité, les choses sont donc claires : si la vérification est finie, il n’y a plus « aucune raison scientifique » de retarder la publication.
« Nous appelons OpenAI à rendre publiques sans délai ses productions en langage naturel et en Lean qui sous-tendent l’annonce de ses preuves d’existence pour la théorie de Yang-Mills, la chromodynamique quantique et une complétion du modèle standard », lit-on dans le communiqué publié ce lundi 26 octobre.
« Nous appelons OpenAI à rendre publiques sans délai ses productions »
AGMAI
« Bien qu’il s’agisse de questions centrales en physique, note l’AGMAI, ce sont également des questions majeures en mathématiques. L’existence de [cette théorie] fait partie d’un des problèmes du millénaire, et la construction de théories quantiques des champs en interaction à quatre dimensions est un objectif de la physique mathématique depuis des décennies. »
L’appel de l’AGMAI est d’autant plus fort que dans le même temps, OpenAI a pourtant mis en ligne le texte et le code Lean d’un autre résultat annoncé le même jour : celui de la réfutation de l’hypothèse du temps exponentiel, décrit comme étant « peut-être la plus grande surprise » depuis 20 ans dans ce domaine, selon un chercheur en IA d’OpenAI.
« La connaissance doit se développer au grand jour, chacun disposant du même niveau d’accès. OpenAI a déclaré avoir retardé la publication jusqu’à ce que la formalisation en Lean soit terminée. Selon leurs propres dires, c’est désormais chose faite ; il n’y a donc aucune raison scientifique de retarder davantage cette publication », ajoute l’AGMAI.
Des pratiques contestées et un résultat qui ne règle pas tout
Comme le pointe Scientific American, confier la preuve à des experts choisis par l’entreprise va contre une note que l’AGMAI a publiée la veille, le 25 octobre. Ce texte déconseille aux firmes d’IA de choisir les chercheurs qui voient les résultats en premier. Début octobre, un autre collectif, l’Association for Human Mathematics, appelait déjà à cesser toute collaboration avec OpenAI.
Même publiée, cette preuve ne suffirait pas à résoudre le problème du millénaire sur Yang-Mills. L’Institut de mathématiques Clay a posé ce problème en 2000, avec six autres grandes questions mathématiques, chacune dotée d’un million de dollars (environ 860 000 euros). Son énoncé demande aussi de démontrer l’existence d’un « écart de masse », c’est-à-dire une masse minimale strictement positive pour les particules de la théorie. OpenAI ne revendique pas cette partie.
+ rapide, + pratique, + exclusif
Zéro publicité, fonctions avancées de lecture, articles résumés par l'I.A, contenus exclusifs et plus encore.
Découvrez les nombreux avantages de Numerama+.
Vous avez lu 0 articles sur Numerama ce mois-ci
Tout le monde n'a pas les moyens de payer pour l'information.
C'est pourquoi nous maintenons notre journalisme ouvert à tous.
Mais si vous le pouvez,
voici trois bonnes raisons de soutenir notre travail :
- 1 Numerama+ contribue à offrir une expérience gratuite à tous les lecteurs de Numerama.
- 2 Vous profiterez d'une lecture sans publicité, de nombreuses fonctions avancées de lecture et des contenus exclusifs.
- 3 Aider Numerama dans sa mission : comprendre le présent pour anticiper l'avenir.
Si vous croyez en un web gratuit et à une information de qualité accessible au plus grand nombre, rejoignez Numerama+.
Toute l'actu tech en un clin d'œil
Ajoutez Numerama à votre écran d'accueil et restez connectés au futur !
Un édito exclusif, un guide, une reco de lecture et l’agenda de la rédaction : c’est ce que vous trouverez tous les jeudis dans ToujoursPlus, la newsletter tech écrite par Julien Cadot. Inscrivez-vous gratuitement ici !