GPT-5.4 Pro Résout la conjecture d’Erdős sur 60 ans #1196
Selon des informations rapportées par OpenAI et ScientificAmerican, le 23 ans amateur Liam Price a résolu, avec l’aide de GPT-5.4 Pro, le problème initial de l’ensemble Erdős#1196 resté sans solution pendant 60 ans. Environ 80 minutes de raisonnement, puis 30 minutes pour organiser le tout en LaTeX et soumettre sur erdosproblems.com en attente de validation. L’idée clé consiste à établir un lien entre la structure des entiers et un processus de Markov ; Tao et Lichtman ont exprimé leur approbation. À ce stade, la vérification par la communauté est toujours en cours, et il n’a pas encore fait l’objet d’un examen par les pairs ; les informations se trouvent dans ABMedia et le Podcast OpenAI du 28/4.
ChainNewsAbmedia·04-29 01:57
