OpenAI a déposé un ensemble de 722 articles de mathématiques dans un dépôt public sur GitHub. Ils sont répartis en 372 familles de résultats, qui regroupent des découvertes apparentées. Selon l’entreprise, ces travaux proviennent d’un modèle de pointe non encore publié et comprennent des solutions à « des centaines » de questions ouvertes, d’après l’évaluation d’un groupe consultatif indépendant de mathématiciens (AGMAI). OpenAI a également communiqué de brefs résumés du raisonnement, des estimations des ressources de calcul utilisées et le nombre de problèmes examinés.
Les modalités de la publication
OpenAI a annoncé que chaque article serait accompagné d’un protocole de révision et de citation dans le dépôt. L’entreprise a indiqué qu’elle continuerait d’étudier les solutions hébergées par la communauté qui respectent les recommandations d’AGMAI. Créé plus tôt cette année, le groupe consultatif avait exhorté les laboratoires d’IA à publier leurs résultats par les voies universitaires établies et à ne pas utiliser leurs percées à des fins de marketing.
Pourquoi c'est important
Pour les mathématiciens, ces articles apportent un vaste ensemble de nouveaux résultats qu’il faudra vérifier et qui pourraient accélérer la recherche dans certains domaines. Pour le grand public, cette publication montre que l’IA peut produire des solutions mathématiques formelles, mais soulève aussi des questions sur la manière d’attribuer et de vérifier ces travaux avant leur utilisation.
