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

> 原标题：Amateur armed with ChatGPT solves an Erdős problem

- 来源：Hacker News 首页
- 发布时间：2026-04-25T17:40:38.000Z
- AX AI 日报：https://ai-daily.ax0x.ai/items/9899
- 原文：https://www.scientificamerican.com/article/amateur-armed-with-chatgpt-vibe-maths-a-60-year-old-problem/

## 摘要

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

## 推荐理由

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

## 锐评

这条新闻最值得点开的地方是：一个数学外行靠一条提示词，就让 GPT-5.4 Pro 给出了一个关于“原始集合”的证明，而且用的方法人类数学家集体没想到。陶哲轩的原话是，大家“在第一步就集体拐错了弯”，说明问题本身可能没想象中那么难，只是存在某种思维定式。

但正文有几处关键信息是缺失的。第一，Price 到底输入了什么提示词，文章没给。第二，这个证明是否通过了同行评审，也没提，目前只是贴在 erdosproblems.com 上。第三，Erdős 问题的难度和重要性参差不齐，之前不少 AI 解出的题后来被发现有水分，所以单凭这一例还不能说 AI 在数学推理上有了质变。

我会先打个折：这更像是一次漂亮的“外挂式”灵感触发，而不是模型独立完成了严谨的数学研究。真正值得关注的是，这种新方法有没有可能推广到其他问题上，但文章自己也说“现在下结论还太早”。