Un médaillé Fields en larmes : OpenAI publie plus de 700 manuscrits de maths écrits par IA

Hugo Duminil-Copin, médaillé Fields 2022, a reconnu publiquement avoir fondu en larmes à cause d'une annonce d'OpenAI. L'entreprise a mis en ligne plus de 700 manuscrits mathématiques rédigés par une IA. D'après Jiqizhixin, 16 problèmes de cet ensemble relèvent du domaine même de Duminil-Copin. « Ils ont complètement détruit mon domaine de recherche », a déclaré le mathématicien, avant d'ajouter : « Mardi soir, j'ai pleuré et j'ai réveillé ma fille. »

La phrase ressemble à un effondrement émotionnel, mais elle pose une question très concrète : que reste-t-il à l'humain en mathématiques théoriques si un modèle résout des problèmes sur lesquels il a passé des années ?

Ce que l'on sait à ce jour

Le texte source s'interrompt au milieu d'une phrase sur les 16 problèmes, de sorte que certains détails restent flous. On ignore combien des plus de 700 manuscrits ont été examinés par des spécialistes, et combien contiennent de véritables démonstrations. On ne sait pas non plus comment OpenAI a sélectionné les textes à publier, ni sous quel format ils sont diffusés. Seuls trois éléments sont publiquement établis : l'existence de cet ensemble de travaux, le nombre de problèmes qui touchent au champ de Duminil-Copin, et sa réaction.

Le mot clé du message est « manuscrits ». Il ne s'agit pas d'articles relus par des pairs et publiés dans des revues, mais de textes dont la justesse reste à évaluer.

Pourquoi la réaction de cet homme pèse autant

Duminil-Copin a reçu la médaille Fields pour ses travaux sur la théorie probabiliste des transitions de phase en physique statistique. Ses résultats sur le modèle d'Ising et sur la percolation sont considérés comme des classiques de la physique mathématique moderne. Dans ce domaine, l'intuition et les estimations fines ont longtemps paru l'apanage de l'humain.

Quand un spécialiste de ce niveau parle de « destruction » de son champ, il évoque très probablement moins des problèmes isolés que la vitesse. Une série de problèmes ouverts, sur lesquels la communauté travaille depuis des années, peut se retrouver résolue d'un bloc en une seule publication.

Contexte : des olympiades aux problèmes ouverts

Le chemin jusqu'ici a été court. En 2024, AlphaProof, de Google DeepMind, a atteint de justesse le niveau de la médaille d'argent aux Olympiades internationales de mathématiques. En 2025, des modèles expérimentaux d'OpenAI et de DeepMind ont obtenu un résultat de niveau or. L'étape suivante concerne les problèmes ouverts, et non plus les exercices scolaires.

La prudence s'impose. À l'automne 2025, des représentants d'OpenAI ont affirmé que GPT-5 avait « résolu » plusieurs problèmes de Paul Erdős. Il s'est ensuite avéré que le modèle avait retrouvé des solutions déjà présentes dans la littérature, et l'annonce a dû être nuancée. La leçon pour l'affaire actuelle est simple : entre « l'IA a produit un texte » et « l'IA a démontré un nouveau théorème », il y a une vérification.

Faits clés

• Auteur de la réaction : Hugo Duminil-Copin, médaillé Fields 2022, France.
• Origine de l'actualité : publication d'OpenAI d'un ensemble de manuscrits générés par IA.
• Volume : plus de 700 manuscrits mathématiques.
• Recoupement avec son domaine : 16 problèmes.
• Statut de la vérification : aucune vérification indépendante n'est mentionnée dans la source.
• Date de publication de l'article : 12 octobre 2026.

Comment lire ce type d'annonces

Regardez la vérification formelle. Si les manuscrits sont accompagnés de preuves en Lean ou dans un autre vérificateur, c'est un signal fort. Sinon, vous avez affaire à une conjecture, pas à un résultat.

Vérifiez la nouveauté. Il faut s'assurer que le modèle ne reproduit pas des solutions déjà connues, comme cela s'est produit avec les problèmes d'Erdős. Cela demandera des mathématiciens du domaine, pas un communiqué de presse.

Suivez la réaction des collègues des sous-disciplines voisines. Une seule citation émotionnelle ne remplace pas l'évaluation de la communauté. Si plusieurs groupes confirment la justesse d'une partie au moins des 16 problèmes, il faudra prendre cette histoire au sérieux. Si les confirmations restent rares, on aura affaire à une nouvelle annonce trop tapageuse.

Pour ceux qui travaillent en mathématiques et dans les sciences voisines, il est dès à présent raisonnable de se former aux outils de vérification formelle et de s'habituer à considérer l'IA comme un coauteur dont les conclusions doivent être contrôlées aussi rigoureusement que l'article d'un tiers.