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 établit un lien entre 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 (#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 principal 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 lançais simplement parfois le problème d’Erdős à l’IA pour voir ce qu’elle en 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 entiers par un processus de Markov, Tao qualifie « la première erreur de l’humanité dès la première étape »

Erdős #1196 appartient au domaine des « ensembles primitifs » — un groupe d’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 à deux reprises, citations largement relayées. Il décrit « cette question comme différente des autres — l’humanité l’a effectivement vue, mais a commis une erreur dès la première étape », ajoutant « 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, affirme que la voie adoptée par l’IA confirme sa longue intuition : ces problèmes partagent « une certaine unité commune. »

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 encore en phase de validation communautaire sur le forum erdosproblems.com, n’ayant pas encore passé la revue par des pairs formelle ; le rapport de TheDecoder du 15 avril indique que « la vérification formelle est toujours en cours ». Le podcast d’OpenAI d’aujourd’hui 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 résout un problème mathématique suspendu depuis 60 ans avec ChatGPT : décryptage en 80 minutes》
• Auteur original : Elponcrab