最近读到一篇 Quanta Magazine 的文章,标题很直接——《Why Erdős Problems Are Falling to AI》。讲的是 AI 在纯数学领域最近几年最出圈的成果,几乎全部来自一类特殊的题目:Erdős 提出的猜想。
这事本身就挺值得琢磨。Erdős 是 20 世纪出了名的"数学游侠",一辈子不买房、不结婚,到处跑、合作发表论文,个人风格极强。但他更大的遗产是那一千多道挂着自己名字的问题——很多是组合、数论、图论里的开放猜想,表述干净,结论明确,奖励机制也特别:难度越高,悬赏越离谱,最高给过一万美元。这些问题几十年来悬而未决,如今却一个接一个被 AI 啃下来。
为什么是 Erdős 问题,而不是别的?
阅读全文
