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.