Liam Price a 23 ans, un abonnement ChatGPT Pro et du temps libre. Un lundi après-midi, il colle dans GPT-5.4 Pro la conjecture n°1196 du site erdosproblems.com, formulée par Erdős, Sárközy et Szemerédi dans les années 1960. Il ne connaît même pas l’historique du problème. En un prompt, le modèle recrache quelque chose qui ressemble à une démonstratio…