OpenAI publie des résultats de recherche sur des centaines de problèmes mathématiques

ISTANBUL (AA)

L’entreprise américaine spécialisée dans l’intelligence artificielle OpenAI a publié des centaines de travaux de recherche en mathématiques produits par un modèle d’IA encore inédit, permettant leur examen par la communauté scientifique tout en avertissant que certains résultats pourraient comporter des erreurs.

La collection, publiée mardi sur la plateforme de partage de code GitHub, comprend 722 manuscrits regroupés en 372 ensembles de résultats liés. Ces ensembles peuvent inclure un résultat principal, des arguments à l’appui ou encore des démonstrations alternatives.

Selon OpenAI, le modèle a tenté de résoudre environ 4 000 problèmes de recherche au cours de sa phase de test.

L’entreprise a précisé que les résultats publiés se trouvaient à différents stades de vérification.

Pour un grand nombre d’entre eux, OpenAI a également publié des démonstrations écrites en Lean, un langage de programmation permettant aux ordinateurs de vérifier si des raisonnements mathématiques sont logiquement valides.

L’entreprise prévoit d’en publier davantage au fur et à mesure de leur disponibilité.

OpenAI a par ailleurs publié dix synthèses du raisonnement du modèle ainsi que des estimations de la puissance de calcul utilisée.

Selon l’entreprise, un résultat nécessitait en moyenne une puissance de calcul équivalente à environ trois heures de « réflexion » de ChatGPT Pro.

L’entreprise a indiqué avoir consulté le groupe consultatif indépendant sur les mathématiques et l’intelligence artificielle de l’Institute for Advanced Study afin de déterminer la manière de présenter et de partager ces travaux.

« Il s’agit d’un événement important pour les mathématiques, dont les conséquences, tant pour les mathématiques que pour la communauté mathématique, vont bien au-delà des résultats pris individuellement », a déclaré le groupe, soulignant que son rôle consultatif ne constituait pas une approbation des résultats.

« Rendre ces travaux publics constitue une première étape. Cette publication marque le début, et non l’aboutissement, du processus de compréhension humaine et d’intégration de ces travaux dans les connaissances mathématiques », a-t-il ajouté.

« L’avenir de la recherche mathématique ne peut pas se résumer à la compréhension de résultats produits par les laboratoires d’IA. »

*Traduit de l'anglais par Sanaa Amir