OpenAI publie 722 manuscrits mathématiques générés par IA

OpenAI annonce un modèle inédit qui a produit 722 manuscrits mathématiques. L’entreprise indique que ces travaux appartiennent à 372 familles de résultats liés. Le modèle aurait reçu environ 4 000 problèmes de recherche ouverts. Chaque résultat aurait utilisé en moyenne trois heures de calcul de réflexion avec ChatGPT Pro. OpenAI a publié ces travaux dans un dépôt accessible au public. Les manuscrits couvrent notamment la théorie des nombres, l’informatique et la physique. Dix résumés abrégés détaillent aussi des travaux sur π, les verres de spin et un système de plasma relativiste. Cette publication place la quantité de résultats produits par un modèle au centre du débat sur la recherche mathématique. Lire le compte rendu original.

Les domaines couverts dépassent donc une seule spécialité mathématique. OpenAI cite des résultats en théorie des nombres, en informatique et en physique. Certains manuscrits comprennent des formalisations Lean. Ce langage permet à un ordinateur de vérifier mécaniquement si chaque étape logique respecte les règles définies. Cette vérification distingue une preuve lisible d’une preuve effectivement correcte. Elle ne transforme toutefois pas automatiquement chaque manuscrit en découverte validée. OpenAI précise que les résultats se trouvent à différents stades de vérification. Tous ne disposent pas encore d’une preuve formalisée. L’entreprise indique aussi que certains résultats non formalisés peuvent encore contenir des erreurs. Le dépôt réunit donc des travaux produits, mais aussi des travaux restant à examiner.

OpenAI publie des résultats variés

La vérification reste l’enjeu central de cette publication. OpenAI affirme que les formalismes Lean peuvent contrôler les étapes logiques de certaines preuves. Cette méthode offre un contrôle mécanique absent d’un texte mathématique simplement plausible. Elle ne couvre cependant pas encore l’ensemble des 722 manuscrits. L’entreprise indique que les résultats n’ont pas tous atteint le même niveau de validation. Le nombre annoncé ne correspond donc pas à 722 découvertes certifiées. La question se déplace vers la capacité de mathématiciens extérieurs à confirmer les résultats importants. Elle concerne aussi leur aptitude à comprendre ces travaux et à les prolonger. OpenAI a consulté le groupe indépendant de conseil en mathématiques et IA de l’Institute for Advanced Study avant la publication.

OpenAI prévoit ensuite de financer des ateliers et des conférences consacrés aux résultats produits par l’IA. Cette étape vise les travaux considérés comme importants après examen. Le volume annoncé donne aussi une mesure concrète de la production du modèle. Environ 4 000 problèmes ouverts ont servi de point de départ. Le modèle a généré 722 manuscrits répartis dans 372 familles de résultats. La publication comprend également dix résumés abrégés. Ces chiffres décrivent une production automatisée de recherche, mais ils ne mesurent pas encore l’impact mathématique réel. Celui-ci dépendra de la validation des résultats et de leur compréhension par des chercheurs humains. Voir la présentation partenaire sur l’usage de l’IA.

Les chercheurs évaluent les manuscrits

Le prochain indicateur sera donc le nombre de résultats confirmés par un examen indépendant sérieux. La production de manuscrits déplace le problème posé aux systèmes d’IA. Il ne s’agit plus seulement de savoir si un modèle peut répondre à des questions mathématiques difficiles. Il faut aussi déterminer combien de résultats résistent à une vérification extérieure. Il faut ensuite mesurer la vitesse à laquelle des humains peuvent les contrôler, les comprendre et les utiliser. OpenAI prévoit des ateliers et des conférences autour de résultats majeurs. Ces rendez-vous constituent la prochaine étape annoncée pour discuter cette production. La publication ne fournit pas encore un bilan final de validation pour l’ensemble des 722 manuscrits.