Déchiffré en 80 minutes ! Un amateur de 23 ans utilise ChatGPT pour résoudre un problème mathématique vieux de 60 ans

Un amateur de 23 ans, avec l’aide de GPT-5.4 Pro, a résolu une conjecture mathématique d’Erdős suspendue depuis 60 ans (#1196). Le modèle a relié la structure des nombres entiers via un processus de Markov interdisciplinaire, proposant une voie de preuve inexplorée par l’humanité.

Selon l’annonce officielle d’OpenAI du 28 avril et un reportage approfondi de Scientific American du 24 avril, une conjecture mathématique d’Erdős suspendue depuis 60 ans (numérotée #1196) a été résolue avec l’aide du modèle de raisonnement phare ChatGPT GPT-5.4 Pro. Le même jour, OpenAI a organisé un podcast officiel avec le chercheur Sébastien Bubeck, Ernest Ryu et l’animateur Andrew Mayne pour expliquer en détail l’événement et sa signification.

Personnage de l’événement : Liam Price, amateur de 23 ans

Le résolveur Liam Price, 23 ans, sans formation avancée en mathématiques, collabore occasionnellement avec Kevin Barreto, étudiant en deuxième année de mathématiques à l’Université de Cambridge. Price raconte : « Je ne savais pas ce qu’était cette question — je me contentais parfois de poser le problème d’Erdős à l’IA pour voir ce qu’elle sortirait. »

En avril 2026, un lundi après-midi, Price a soumis le fil de discussion Erdős #1196 輸入 GPT-5.4 Pro，模型約 80 分鐘推理後給出證明思路，他再花約 30 分鐘把模型輸出整理為 LaTeX 論文，最後貼上 erdosproblems.com 論壇 #1196 pour revue communautaire. Le reportage approfondi de Scientific American est publié le 24 avril, et le podcast officiel d’OpenAI du 28 avril intervient une semaine plus tard pour expliquer l’événement.

Percée mathématique : relier la structure des nombres entiers via un processus de Markov, Tao critique « la première erreur des prédécesseurs humains »

Erdős #1196 appartient au domaine des « ensembles primitifs » — un groupe de nombres entiers où aucun ne peut être divisible par un autre. La conjecture d’Erdős stipule que, lorsque ces ensembles tendent vers l’infini, la valeur maximale du « score de somme d’Erdős » descend précisément à 1.

La preuve de GPT-5.4 Pro adopte une approche « inexplorée par les mathématiciens humains » : établir un lien entre la structure des entiers (anatomie des entiers) et la théorie des processus de Markov. Ce pont interdisciplinaire n’avait jusqu’ici été envisagé dans aucune recherche.

Le Fields Medal, le prix Nobel des mathématiques, Terence Tao, a commenté cet événement en deux parties, largement citées. Il a décrit « cette question comme différente — les humains l’ont effectivement vue, mais collectivement, ils ont fait erreur dès la première étape », ajoutant que « cette contribution a une signification bien plus grande pour l’étude de la structure des entiers que la résolution de cette question spécifique d’Erdős. »

Un autre mathématicien de Stanford, Jared Duker Lichtman, a déclaré que la voie adoptée par l’IA confirme sa longue intuition : il existe « une certaine unité commune entre ces problèmes. »

Révélation d’OpenAI du 28/04 : podcast et validation ultérieure

Dans le podcast du 28 avril, OpenAI a officiellement invité le chercheur Sébastien Bubeck, Ernest Ryu et l’animateur Andrew Mayne pour discuter « du rôle de l’IA dans la recherche mathématique ». OpenAI a écrit sur Twitter : « Au début de ce mois, une conjecture d’Erdős suspendue depuis 60 ans a été résolue avec l’aide de GPT-5.4 Pro. Maintenant, l’IA maîtrise les mathématiques — que va-t-il se passer ensuite ? »

Au moment de la rédaction, la preuve soumise par Price est toujours en phase de validation communautaire sur le forum erdosproblems.com, n’ayant pas encore passé la revue par des pairs officielle ; le rapport de TheDecoder du 15 avril indique que « la vérification formelle est toujours en cours ». Le podcast d’aujourd’hui d’OpenAI constitue une communication publique, mais ne signifie pas que la preuve mathématique complète a été validée — pour suivre la suite, les lecteurs peuvent consulter le fil #1196 du forum Erdős Problems.

• Cet article est reproduit avec autorisation de : 《链新闻》
• Titre original : 《Un amateur de 23 ans utilise ChatGPT pour résoudre un problème mathématique vieux de 60 ans : décryptage en 80 minutes》
• Auteur original : Elponcrab