Selon l’annonce officielle d’OpenAI du 28 avril et un reportage approfondi de Scientific American du 24 avril, une conjecture d’Erdős mathématique restée en suspens pendant 60 ans (numéro #1196) a été résolue avec l’aide du modèle phare de raisonnement GPT-5.4 Pro de ChatGPT. Le même jour, OpenAI a expliqué officiellement les détails et la signification de l’événement via un Podcast officiel, en dialogue entre les chercheurs Sébastien Bubeck et Ernest Ryu et l’animateur Andrew Mayne.
Personnage central de l’événement : Liam Price, 23 ans, amateur
Le résolveur, Liam Price, 23 ans, sans formation avancée en mathématiques, collabore occasionnellement avec Kevin Barreto, étudiant de deuxième année du département de mathématiques de l’Université de Cambridge, pour des travaux de recherche. Price raconte : « Je ne sais pas ce qu’est ce problème — je balance parfois les problèmes d’Erdős à l’IA pour voir ce qu’elle me renvoie. »
Déroulement :
Price, un lundi après-midi de avril 2026, saisit Erdős #1196 dans GPT-5.4 Pro
Après environ 80 minutes de raisonnement, le modèle fournit une piste de preuve
Puis environ 30 minutes supplémentaires sont consacrées à la mise en forme en papier LaTeX
Price colle la solution dans le forum erdosproblems.com, thread #1196, et soumet pour validation par la communauté
La date de parution du reportage de Scientific American est le 24 avril 2026 ; la révélation du Podcast d’OpenAI du 28 avril constitue une version officielle faite une semaine après coup.
Percée mathématique : relier une structure d’entiers aux processus de Markov, et Tao commente « les prédécesseurs humains ont déjà fait une erreur au tout premier pas »
Erdős #1196 relève du champ de recherche des « primitive sets » (ensembles primitifs) — un ensemble d’entiers tels qu’aucun n’est divisible par un autre. La conjecture d’Erdős dit que lorsque les éléments de ce type d’ensemble tendent vers l’infini, la valeur maximale du « Erdős sum score » retombe exactement à 1.
La preuve de GPT-5.4 Pro adopte une approche « que les mathématiciens humains n’avaient jamais tenté » : faire le lien entre la structure des entiers (anatomy of integers) et la théorie des processus de Markov. Ce pont interdisciplinaire ne se trouvait sur aucun parcours de recherche de qui que ce soit auparavant.
Lauréat du prix Fields, le mathématicien renommé Terence Tao a commenté cet événement en deux phrases largement citées :
« Ce problème est un peu différent parce que les gens l’ont bien regardé, et les humains qui l’ont regardé ont juste collectivement fait un léger mauvais virage au tout premier coup. » (”This one is a bit different because people did look at it, and the humans that looked at it just collectively made a slight wrong turn at move one.”)
« Cette contribution a une signification bien plus grande pour l’étude de la structure des entiers que la simple résolution de ce problème d’Erdős précis. » (”That would be a meaningful contribution to the anatomy of integers that goes well beyond the solution of this particular Erdos problem.”)
L’autre mathématicien de l’Université de Stanford, Jared Duker Lichtman, a quant à lui déclaré que la voie empruntée par l’IA confirme son intuition de longue date : il existe, entre ce type de problèmes, « une certaine sensation d’unification commune ».
Révélation d’OpenAI du 4/28 : dialogue au Podcast et vérifications ultérieures
Lors du Podcast du 28 avril, OpenAI a officiellement invité les chercheurs Sébastien Bubeck et Ernest Ryu d’OpenAI, ainsi que l’animateur Andrew Mayne, pour discuter de « le rôle de l’IA dans la recherche mathématique ». Citation exacte du tweet d’OpenAI : « Earlier this month, an Erdős problem that had been open for 60 years was solved with help from GPT-5.4 Pro. What happens now that AI is getting good at math? »
Au moment de la clôture de la rédaction de cet article, la preuve soumise par Price est toujours en phase de validation par la communauté sur le forum erdosproblems.com, et n’a pas encore été approuvée par une revue académique officielle ; le reportage de TheDecoder du 15 avril indique que « la formal verification est encore en cours ». La révélation faite aujourd’hui via le Podcast d’OpenAI relève de la communication vers l’extérieur, et ne signifie pas que la vérification complète de la preuve mathématique est déjà passée — pour suivre la suite, les lecteurs peuvent consulter le thread #1196 d’Erdős Problems.
Cet article, où GPT-5.4 Pro déverrouille la conjecture d’Erdős #1196 vieille de 60 ans, est apparu pour la première fois sur Chaine News ABMedia.
Avertissement : Les informations contenues dans cette page peuvent provenir de tiers et ne représentent pas les points de vue ou les opinions de Gate. Le contenu de cette page est fourni à titre de référence uniquement et ne constitue pas un conseil financier, d'investissement ou juridique. Gate ne garantit pas l'exactitude ou l'exhaustivité des informations et n'est pas responsable des pertes résultant de l'utilisation de ces informations. Les investissements en actifs virtuels comportent des risques élevés et sont soumis à une forte volatilité des prix. Vous pouvez perdre la totalité du capital investi. Veuillez comprendre pleinement les risques pertinents et prendre des décisions prudentes en fonction de votre propre situation financière et de votre tolérance au risque. Pour plus de détails, veuillez consulter l'
avertissement.
