一个没受过专业数学训练的 23 岁年轻人，用 ChatGPT 的一条提示词解决了一道 60 年未解的 Erdős 猜想

Amateur armed with ChatGPT solves an Erdős problem

Liam Price 没有高等数学背景，靠 ChatGPT Pro 的 GPT-5.4 Pro 模型，只输入了一次提示词，就给出了一个关于“原始集合”的证明，并贴在了 erdosproblems.com 上。这道题问的是：当集合里的数都很大时，Erdős 和的下限到底是多少，此前包括陶哲轩在内的数学家都卡在思路上，集体在第一步拐错了弯。Price 的 ...

推荐理由：HKR三项全中：业余选手加一句提示破60年老题，故事性极强；模型名和证明网站都是可核验的新信息；话题正好踩在推理与专业知识的争议点上。扣到86分是因为正文截断了，没给出完整猜想内容和评审进展，这两块信息缺口让我没法打更高。