OpenAI publie près de 400 résultats mathématiques générés par IA
OpenAI a mis en ligne près de 400 résultats mathématiques générés par IA, répartis dans plus de 700 manuscrits, avec des niveaux de vérification hétérogènes.
OpenAI a publié près de 400 résultats mathématiques générés par IA, répartis dans plus de 700 manuscrits disponibles dans un dépôt GitHub. L'entreprise a précisé que ces travaux couvrent la combinatoire, plusieurs branches de la géométrie, la théorie des nombres, l'informatique théorique, l'algèbre, la topologie, les probabilités et la mécanique statistique, ainsi que la physique mathématique.
OpenAI reconnaît que ces résultats se trouvent à des stades de vérification différents. Selon l'entreprise, 300 des 719 manuscrits ont été formalisés, soit environ 42 %. Elle indique qu'elle mettra à jour le dépôt au fur et à mesure des formalisations obtenues.
OpenAI a également publié des indications pour naviguer dans le dépôt GitHub qui rassemble ces travaux.
Un travail de lecture qui s'annonce long
En marge de cette publication, des mathématiciens interrogés par The Verge ont estimé qu'il faudrait des années pour simplement comprendre ce qu'OpenAI a mis en ligne. Plusieurs d'entre eux ont indiqué que parcourir la table des matières et les résumés, qui représentent environ 40 pages, leur a pris près d'une heure. Kevin Buzzard, professeur de mathématiques à l'Imperial College London, a déclaré avoir identifié de nombreux théorèmes en théorie algébrique des nombres, dont seulement environ six lui ont immédiatement semblé notables.
En bref
Combien de résultats mathématiques OpenAI a-t-il publiés ?
Près de 400 résultats générés par IA, répartis dans plus de 700 manuscrits.
Quels domaines mathématiques sont couverts ?
La combinatoire, plusieurs branches de la géométrie, la théorie des nombres, l'informatique théorique, l'algèbre, la topologie, les probabilités et la mécanique statistique, ainsi que la physique mathématique.
Les résultats sont-ils tous vérifiés ?
Non. OpenAI indique que 300 des 719 manuscrits ont été formalisés, soit environ 42 %, et que les résultats sont à des stades de vérification différents.