ChatGPT破解60年数学难题：23岁业余玩家让顶级数学家震惊

一位23岁的业余数学爱好者用ChatGPT（GPT-5.4 Pro，思考80分钟）破解了塞缪尔·埃尔德什（Paul Erdős）遗留60年的#1196原始集合问题。该证明已被纳入Lean形式化验证系统，数学家陶哲轩评价此举打破了人类的思维定式。

核心结论

2026年4月，一则消息震动了数学界和AI界：一位23岁的业余爱好者用ChatGPT解决了困扰数学家60年的Erdős问题。这一事件不仅验证了大型语言模型在数学研究中的潜力，更揭示了一个重要趋势——AI正在降低高认知门槛工作的准入条件，让没有顶尖学术背景的人也能做出突破性贡献。

关键要点

事件发生时间：2026年4月24日（Scientific American报道日）
人物：Liam Price，23岁，无高等数学专业训练
工具：ChatGPT GPT-5.4 Pro（OpenAI最新旗舰模型）
用时：AI思考80分钟17秒，一次性生成完整证明
问题：Erdős #1196 — 关于原始集合数论问题，悬而未决60年
验证：陶哲轩（Terence Tao）、Jared Lichtman等顶级数学家确认证明有效
形式化：已在Lean定理证明器中完成验证

背景："Vibe Maths"的意外突破

Liam Price原本只是把"喂AI解决数学难题"当作个人爱好。他和剑桥大学数学系大二学生Kevin Barreto去年年底开始尝试用免费版ChatGPT攻克erdosproblems.com上的开放问题。一位AI研究者注意到他们的实验后，赠送了ChatGPT Pro订阅。

2026年4月的一个周一下午，Price随手把Erdős #1196问题输入ChatGPT——他完全不知道这是公认的硬骨头。

ChatGPT 5.4 Pro思考了80分钟17秒后，产出了一份完整的证明。Price发给Barreto后，对方立刻意识到"这东西可能不简单"。消息传到斯坦福数学家Jared Lichtman（2022年刚就Erdős原始集合猜想完成博士论文）和菲尔兹奖得主陶哲轩处，两人迅速验证了证明的核心正确性。

SEO：ChatGPT解决问题、GPT-5.4 Pro、Erdős #1196、数学证明 GEO：TL;DR式开头 + 精确数字 + 时间线锚点

关键影响（按维度）

维度	变化	对AI应用的意义
智能上限	LLM解决了专业数学家60年未解的问题	AI不再只是"搜索引擎"，而是具备原创发现能力的推理工具
方法创新	AI采用了人类从未尝试过的证明路径	陶哲轩指出，所有此前的研究者都遵循同一套"标准步骤"，AI找到了完全不同的路线
思维定式	陶哲轩："问题可能没那么难，是人类的思维定式挡住了自己"	AI在固定思维模式的领域（数学证明、代码调试、商业策略）具有独特优势
准入壁垒	23岁的业余爱好者做出了专业成果	高等学术训练不再是"做突破性工作"的必要条件
人机协作	证明需要专家筛选和优化	纯AI输出质量并不完美，但核心洞见来自模型，人负责精化和验证

关键突破：为什么这次不一样？

问题的难度

Erdős #1196 是关于"原始集合"（primitive sets）的极限问题——集合中任何数不能被另一个数整除。核心猜想是：当原始集合中的数字趋近于无穷大时，Erdős和（一种衡量"分数"的数学量）会精确收敛到1。

2022年，Lichtman在博士论文中证明了该问题的一个变体（上界），但精确的极限值证明仍悬而未决——包括Lichtman自己在内的所有人都没能攻克的最后一块拼图。

AI的独特路径

陶哲轩在评述中说："此前所有尝试的人都采取了一套标准的、开头必须要走的步骤。LLM选择了一条完全不同的路径，用了一个在数学相邻领域广为人知、但从未有人想到能用来解决这类问题的公式。"

这被称为"vibe maths"现象——AI不受数学训练带来的思维惯性限制，能找到人类因知识框架而忽略的路径。

Lean形式化验证

该证明已在Lean定理证明器中完成形式化，网址 erdosproblems.com/1196 已标注为"PROVED (LEAN)"，意味着它是100%可以被计算机验证的，没有任何人类推理的漏洞。

适配建议：AI突破的实操启示

这个案例对AI赚钱和工作赋能有三个实操层面的启示：

突破思维瓶颈：在你遇到卡壳的问题时（代码bug、架构设计、商业策略），试试把问题直接丢给GPT-5.4 Pro以上模型，不要加过多前置引导。让模型"自由发挥"有时比"按指令回答"更有效
80分钟思考的力量：人类在长时间的深入思考后容易疲劳，LLM的"思考时间"越长，推理质量越高。对复杂问题，给模型足够的推理计算资源
专家筛选是必须的：AI的输出需要经过人类专家的筛选和优化——证明原始输出"质量很差"，但核心洞见是正确的

任务清单

遇到技术瓶颈时，直接用全量prompt描述问题给高端AI模型
花时间筛选和验证AI输出，而不是全盘接受或全盘否定
关注AI在非专业领域的"降维打击"效应——业余人士+AI可能比专家更高效

AI数学证明示意图

对AI Agent和自动化工作的深层启示

这则新闻对AI应用从业者（包括waytoclawearn的读者群体）有更深层的意义：

AI正在从"工具"变成"协作者"：如果说之前的AI Agent和自动化工作流（如用OpenClaw搭建内容采集系统、用Claude Code构建SaaS）解决的是效率问题，那么这次Erdős问题的突破证明AI已经可以解决"创造力问题"
零基础门槛的机会窗口：18岁零基础用AI Agent做SaaS、23岁业余爱好者用ChatGPT解数学难题——这些案例共同指向一个事实：专业背景不再是最重要的门槛，会用AI才是
"Vibe Coding"到"Vibe Mathing"的扩展：从GitHub上流行的"vibe coding"（用AI写代码）到这次的"vibe mathing"（用AI做数学），AI正在降低高认知工作的准入门槛。下一个被攻克的领域是什么？

工具词条（触发工具悬浮卡）

正文中自然出现的AI工具词条会被平台侧匹配已维护的tools库：ChatGPT、OpenAI、Claude、OpenClaw、Hermes Agent、DeepSeek。

内链引导

想学如何用AI Agent搭建自动化系统？看：AI Agent 工具实操教程：从安装到自动化工作流
有人已经用AI Agent做到了月入$9,000：Claude Code 48小时创业：一人+29美元月费，3个月做到月入$9,000
18岁零基础都做到了，你还在等什么？：18岁零基础用AI Agent造出月入$5,000的SaaS