Un amateur résout un problème d’Erdős vieux de 60 ans avec un seul prompt GPT-5.4
Liam Price, 23 ans, mathématicien amateur sans formation avancée, a résolu un problème d’Erdős resté ouvert depuis 60 ans en posant la question à GPT-5.4 Pro un lundi après-midi en avril.
Le modèle a tourné 80 minutes pour produire une preuve qui passe la validation du médaillé Fields Terence Tao. C’est ce que rapporte Joseph Howlett dans Scientific American.
Le problème en question, c’est l’Erdős #1196, posé par le mathématicien hongrois en 1965. L’IA n’a pas tout cassé en force brute. Elle a utilisé la fonction de von Mangoldt, un outil bien connu en théorie des nombres, mais que personne n’avait pensé à appliquer à ce type de question depuis 90 ans.