OpenAI inonde la recherche avec 722 « prépublications » de mathématiques générées par IA

Le 7 octobre 2026, OpenAI, l’entreprise derrière des modèles d’intelligence artificielle comme ChatGPT, a publié 722 documents mathématiques sous forme de prépublications (ou preprints en anglais) sur une plateforme en ligne appelée GitHub. Ces documents, présentés comme des manuscrits mathématiques générés par un modèle interne d’OpenAI, ne sont pas signés par des chercheurs humains mais uniquement par l’entreprise elle-même. Ils sont décrits comme des résultats se trouvant à différents stades de vérification, ce qui signifie qu’ils n’ont pas tous été validés ou formalisés de manière rigoureuse. Par exemple, certains ne sont pas accompagnés de formalisations Lean, un langage informatique utilisé pour vérifier mathématiquement la justesse des démonstrations.

OpenAI utilise le terme prépublication pour désigner ces documents, mais cette appellation peut prêter à confusion. Traditionnellement, une prépublication est un article scientifique partagé avant sa validation par des pairs, dans l’attente d’une publication officielle dans une revue. Cependant, les documents d’OpenAI ne suivent pas ce processus classique : ils ne sont pas associés à des chercheurs individuels, ne portent pas de signatures humaines et ne sont pas soumis à une revue par les pairs. Le dépôt GitHub précise que ces fichiers ne sont pas prêts à être publiés comme des articles scientifiques, mais qu’ils sont mis à disposition pour stimuler la discussion et la collaboration dans la communauté mathématique.

Pour encadrer cette initiative, OpenAI s’appuie sur un groupe de chercheurs indépendants, dont le mathématicien François Charles. Ce groupe a pour mission de définir les meilleures pratiques pour le partage de résultats mathématiques générés par l’IA. Selon François Charles, ce groupe agit comme un canal de communication entre les entreprises technologiques et la communauté scientifique. Il vise à établir des règles éthiques et des protocoles pour éviter les dérives, comme la publication de résultats non vérifiés ou trompeurs. Cependant, l’indépendance de ce groupe est questionnée, car il est financé et soutenu par OpenAI, ce qui soulève des interrogations sur son impartialité.

Cette initiative d’OpenAI suscite des réactions contrastées au sein de la communauté mathématique. Certains chercheurs, comme ceux cités dans l’article, prennent ces documents au sérieux et les étudient pour leurs travaux. Par exemple, un commentaire anonyme mentionne que ces résultats, bien que parfois laids ou peu structurés, sont pris très au sérieux par les mathématiciens de haut niveau, notamment pour aborder des problèmes complexes comme le XVIème problème de Hilbert. Cependant, d’autres chercheurs expriment des réserves, soulignant que ces documents ne remplacent pas le travail humain et pourraient compliquer la vérification des résultats. Le terme euphorie est jugé excessif pour décrire l’accueil réservé à ces prépublications.

L’article met en lumière les tensions entre innovation technologique et rigueur scientifique. OpenAI est critiquée pour ses mauvaises pratiques scientifiques, notamment après avoir été accusée d’utiliser des méthodes discutables pour résoudre des problèmes de mathématiques. Cette initiative s’inscrit dans un contexte où l’IA générative est accusée de menacer la pratique scientifique, en automatisant des tâches qui nécessitent traditionnellement l’expertise humaine. Les mathématiciens interrogés soulignent que ces outils pourraient accélérer certaines recherches, mais qu’ils posent aussi des défis majeurs en termes de vérification, de transparence et de propriété intellectuelle. OpenAI, de son côté, insiste sur sa volonté de dialogue avec la communauté scientifique pour établir des normes responsables.