OpenAI publie 377 résultats mathématiques sur GitHub

OpenAI a publié 377 nouveaux résultats mathématiques sur GitHub mardi, accompagnés d'un billet de blog détaillant son approche pour les partager de manière responsable. Selon gizmodo.com, l'un des articles mis en ligne revendique la preuve de la formule complète du terme principal de Birch-Swinnerton-Dyer pour les courbes elliptiques sur Q lorsque leur groupe de Selmer q-puissance a un corang nul ou égal à un pour un certain nombre premier q.

Dans son billet, OpenAI indique vouloir donner directement aux scientifiques des capacités de pointe et travailler à une publication responsable du modèle ayant produit ces résultats. Ce modèle est le même modèle interne, non publié, qui avait déjà généré le résultat antérieur sur Navier-Stokes.

OpenAI précise également qu'il inclut des protocoles pour les révisions d'articles et les citations. L'entreprise dit travailler avec le Advisory Group on Mathematics and Artificial Intelligence (AGMAI) de l'Institute for Advanced Study afin d'élaborer les meilleures pratiques en la matière.

« Les conseils et les recommandations publiques de l'AGMAI ont guidé notre manière de partager ces résultats », a déclaré Lindsay McCallum Rémy, porte-parole d'OpenAI.

Un contexte de discussions sur l'accès aux modèles

Environ un mois avant cet article, le même modèle non publié d'OpenAI avait produit un contre-exemple infirmant les équations de Navier-Stokes. Il est ensuite apparu qu'OpenAI avait achevé un travail mené par une autre équipe de mathématiciens utilisant également l'IA. Dans un billet daté du 29 septembre, l'AGMAI écrivait que certains laboratoires d'IA de pointe testent des problèmes mathématiques avancés sur des modèles propriétaires inaccessibles à la communauté scientifique et leur demandait d'y renoncer. OpenAI avait annoncé un partenariat avec l'AGMAI vers la fin du mois précédent.