OpenAI publie 722 manuscrits prétendant résoudre des centaines de problèmes mathématiques ouverts

OpenAI a publié un lot massif de 722 manuscrits détaillant des solutions à des centaines de problèmes mathématiques ouverts, générés par un modèle d'intelligence artificielle de pointe non encore commercialisé. La collection couvre 372 familles de résultats distinctes regroupant des articles connexes dans de multiples sous-domaines des mathématiques. Selon le Groupe consultatif sur les mathématiques et l'intelligence artificielle (AGMAI), un panel indépendant formé pour évaluer ces développements, cette publication apporte des solutions à un vaste éventail de questions jusqu'ici non résolues.

La documentation publiée fournit des résumés des processus de raisonnement du modèle, les dépenses de calcul estimées et des données sur les problèmes tentés. OpenAI a affirmé que le « résultat moyen » nécessitait l'équivalent computationnel d'environ trois heures de réflexion de ChatGPT Pro. Ces conclusions font suite à une divulgation initiale en septembre où l'entreprise affirmait avoir résolu plus de 100 problèmes mathématiques de longue date.

La publication respecte partiellement les recommandations de l'AGMAI, qui a exhorté les laboratoires d'IA à publier les percées mathématiques via des canaux scientifiques établis. L'AGMAI a exigé que les développeurs s'abstiennent de traiter les résultats mathématiques comme des outils marketing, avertissant que les annonces sensationnalistes nuisent à la communauté mathématique.

L'évaluation de la validité mathématique et de la rigueur académique des manuscrits nécessitera des mois d'examen par des chercheurs du monde entier. Cette divulgation intensifie un débat en cours sur l'éthique de l'IA, l'attribution appropriée aux mathématiciens humains et la concurrence croissante entre OpenAI et ses rivaux comme Anthropic.