● P1Hacker News 首页· rssEN17:40 · 04·25
一个没受过专业数学训练的 23 岁年轻人,用 ChatGPT 的一条提示词解决了一道 60 年未解的 Erdős 猜想
Liam Price 没有高等数学背景,靠 ChatGPT Pro 的 GPT-5.4 Pro 模型,只输入了一次提示词,就给出了一个关于“原始集合”的证明,并贴在了 erdosproblems.com 上。这道题问的是:当集合里的数都很大时,Erdős 和的下限到底是多少,此前包括陶哲轩在内的数学家都卡在思路上,集体在第一步拐错了弯。Price 的 ...
#Reasoning#Liam Price#OpenAI#Terence Tao
精选理由
HKR三项全中:业余选手加一句提示破60年老题,故事性极强;模型名和证明网站都是可核验的新信息;话题正好踩在推理与专业知识的争议点上。扣到86分是因为正文截断了,没给出完整猜想内容和评审进展,这两块信息缺口让我没法打更高。
一句话点评
一个没受过高等数学训练的 23 岁年轻人,用 ChatGPT 一条提示词就解出了陶哲轩等人都卡住的 60 年难题,但正文没披露完整猜想和同行评审状态,这点先别太激动。
锐评
这条新闻最值得点开的地方是:一个数学外行靠一条提示词,就让 GPT-5.4 Pro 给出了一个关于“原始集合”的证明,而且用的方法人类数学家集体没想到。陶哲轩的原话是,大家“在第一步就集体拐错了弯”,说明问题本身可能没想象中那么难,只是存在某种思维定式。
但正文有几处关键信息是缺失的。第一,Price 到底输入了什么提示词,文章没给。第二,这个证明是否通过了同行评审,也没提,目前只是贴在 erdosproblems.com 上。第三,Erdős 问题的难度和重要性参差不齐,之前不少 AI 解出的题后来被发现有水分,所以单凭这一例还不能说 AI 在数学推理上有了质变。
我会先打个折:这更像是一次漂亮的“外挂式”灵感触发,而不是模型独立完成了严谨的数学研究。真正值得关注的是,这种新方法有没有可能推广到其他问题上,但文章自己也说“现在下结论还太早”。
HKR 分解
hook ✓knowledge ✓resonance ✓