Des mathématiciens consultés par OpenAI dénoncent un flot de preuves qui enfreint les règles de la discipline

Selon TechCrunch, la vague de preuves mathématiques publiée par OpenAI ne respecte pas les règles élaborées par un groupe de chercheurs en mathématiques. Ce groupe a lui-même conseillé le laboratoire. L'article ne contient aucun chiffre : ni le nombre de preuves, ni celui des travaux faisant l'objet de remarques. Le tableau, en revanche, est clair. Une entreprise qui vend ses modèles comme un outil pour la science vient d'essuyer une critique publique de la part d'une communauté dont elle a besoin de la reconnaissance.

Ce que l'on sait à ce jour

La source ne livre qu'un seul constat : le « flot » de preuves d'OpenAI s'écarte des principes directeurs fixés par des consultants issus du milieu mathématique. Tout le reste doit être reconstitué à partir du contexte. Je n'inventerai pas de détails absents de l'article.

• Date et source : TechCrunch, 8 octobre 2026.
• Objet du grief : la publication en masse de preuves préparées par OpenAI.
• Nature du grief : non-conformité aux règles validées par les mathématiciens consultants.
• Non divulgué : le nombre de travaux, les points précis des règles, la liste des preuves contestées.
• Non divulgué : la réaction officielle d'OpenAI.

Pourquoi les mathématiciens sont si pointilleux

En mathématiques, un résultat vaut exactement ce que vaut sa vérification. Une preuve doit être complète, reproductible, clairement attribuée et appuyée sur la littérature connue. Lorsqu'elles arrivent en paquet, sans procédure convenue, les relecteurs doivent déblayer l'amas à la main. Or les experts capables d'évaluer une preuve complexe se comptent par dizaines sur un sujet pointu. Leur temps est limité, et les principes de publication existent précisément pour l'économiser.

La formule « s'est écarté des principes directeurs » est donc plus dure qu'il n'y paraît. Le débat ne porte pas forcément sur la validité d'un théorème donné. Il porte sur la confiance que l'on peut accorder au canal par lequel les résultats parviennent aux humains.

Pas un premier épisode

OpenAI a déjà eu des différends publics avec des mathématiciens. En octobre 2025, des employés de l'entreprise ont annoncé que GPT-5 avait « trouvé des solutions » à plusieurs problèmes de Paul Erdős. Le mathématicien Thomas Bloom, qui tient le catalogue de ces problèmes, a répliqué : le modèle avait retrouvé des publications existantes, mais n'avait obtenu aucune solution nouvelle. Le message a été supprimé, et l'industrie a débattu de la façon dont la formulation des annonces devance la vérification. À l'été 2025, la médaille d'or à l'Olympiade internationale de mathématiques avait aussi suscité des polémiques, notamment sur le moment choisi pour annoncer le résultat.

Dans ce contexte, la nouvelle affaire s'inscrit dans la continuité. Les modèles de langage deviennent réellement plus utiles en raisonnement formel, et les mathématiciens eux-mêmes le reconnaissent. Mais chez ce laboratoire, la cadence de sortie des produits diverge régulièrement du rythme de vérification qu'impose la science.

Comment lire ce type d'annonces

Pour le lecteur, l'investisseur ou le développeur qui construit un produit sur les capacités mathématiques des modèles, plusieurs conclusions pratiques s'imposent.

• Regardez qui a vérifié. Une expertise indépendante ou une vérification formelle, par exemple en Lean, pèse plus lourd qu'un communiqué de presse.
• Cherchez la procédure. Existe-t-il un protocole public : quels problèmes, quelles contraintes, comment la contribution du modèle et celle des humains sont-elles consignées ?
• Distinguez les types de résultats : nouvelle preuve, reformulation d'un résultat connu, recherche dans la littérature. Ce sont des réalisations différentes.
• Attendez la réponse d'OpenAI et la liste des travaux contestés. On ignore pour l'instant s'il s'agit de simples défauts de présentation isolés ou d'un problème systémique.

Si le laboratoire veut que ses modèles soient considérés comme un outil scientifique, il devra vivre selon les règles de la science, y compris celles écrites par ses propres consultants. Sinon, chaque nouvelle annonce sera accueillie non par la question « qu'y a-t-il de neuf ? », mais par « qu'est-ce qui cloche encore cette fois ? ».