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 (…)