80 minutes pour résoudre ! Un amateur de 23 ans utilise ChatGPT pour aider, 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 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 officiellement les détails et la signification de l’événement.

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 déclare : « 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 a été publié le 24 avril, et le podcast officiel d’OpenAI du 28 avril a été une communication postérieure d’une semaine.

Percée mathématique : relier la structure des entiers par 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 d’entiers où aucun ne peut être divisé par un autre. La conjecture d’Erdős stipule : lorsque ces ensembles tendent vers l’infini, la valeur maximale du « score de somme d’Erdős » descend précisément à 1.

La preuve par GPT-5.4 Pro adopte une approche « jamais tentée auparavant par des 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 pas été exploré dans aucune recherche.

Le Fields Medal, le prix Nobel des mathématiques, Terence Tao, a fait deux commentaires largement cités à ce sujet. Il a décrit « cette question comme différente — les humains l’ont effectivement vue, mais collectivement, ils ont fait la première erreur », et a ajouté « 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 elle-même. »

Un autre mathématicien de Stanford, Jared Duker Lichtman, a déclaré que la voie adoptée par l’IA confirmait 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 reportage 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 : 《23 岁业余者用 ChatGPT 解 60 年数学难题：80 分钟破解》
• Auteur original : Elponcrab