30 秒看懂
Matthew Berman 介绍 Neel Somani 的报告：GPT-5.2 Pro 为 Erdős 第 397 号问题生成了一份证明，并经提交获得 Terence Tao 接受。他由此推测可能出现智能爆炸及科学进展。后来人们发现该问题在 2012 年已有完整的人类解答，因此 AI 证明并非该问题的首个解答；这一成果及其获得接受也不能证明智能爆炸已经发生。
- 1AI 辅助证明Berman 回顾 Somani 提交的证明及 Tao 对它的接受。后来发现 2012 年的人类解答，改变了对这一成果的理解。
- 2一波数学成果Berman 描述了近期多项 AI 辅助成果，但它们的难度和新颖性各不相同，需要逐一审查。
- 3推测性的反馈循环他设想 AI 改进自身算法，并为医学和材料研究作出贡献。这份证明并未展示此类循环已经发生。
要点建议
- Somani 称他用 GPT-5.2 Pro 为 Erdős 第 397 号问题生成证明，并借助 Harmonic 的工具进行形式化。
- 后来发现 2012 年已有完整的人类解答，因此 AI 生成的证明并非首个解答。
- 视频没有确立这属于最难的数学问题之一，也没有证明只有几百人能够解决它。
- AI 的递归改进及其在疾病和材料领域的应用仍是推测性结论，而非已展示的结果。
按章节阅读整理后的全文
Erdős 问题的证明
Berman 介绍 Somani 用 GPT-5.2 Pro 对第 397 号问题给出的证明及其获得接受的情况。后来人们发现此前已有完整的人类解答。
Neel Somani 称，他使用 ChatGPT 为一个 Erdős 问题生成了证明。视频中展示的帖子指出这是第 397 号问题，并称 GPT-5.2 Pro 生成的证明借助 Harmonic 完成形式化，随后获得 Terence Tao 接受。我称其为世界上最难的问题之一，但这一排名和我对能够解决它的人数的估计都没有得到确立。
我说这是两周内第六项此类成果，并认为这表明 AI 在数学方面进步迅速。不过，各个问题及其贡献各不相同；第 397 号问题在 2012 年已经出现人类解答，只是后来才被发现。因此，生成的证明并非首个解答，尽管它是一份不同的 AI 辅助证明。
可能的影响
Berman 推测 AI 的递归改进与科学应用。这一数学成果本身并不能确立这些结果。
我在想，能够解决困难数学问题的 AI 是否可能为自己设计更好的算法、应用这些改进，并引发智能爆炸。在这种设想的未来中，更强大的 AI 或许能帮助攻克疾病或开发新材料。这些只是可能性，并非这一数学成果已经确立的结果。
Somani 是一位量化研究人员，他表示模型在接受提示后大约 15 分钟就生成了证明。我认为这可能是智能爆炸的开端。但这仍是推测：一份证明，即使经过审查获得接受，也不能证明递归自我改进或医学突破已经出现。
同频道的其他文章
34:21EN → 简体中文
Matthew Berman· 2026年10月27日Matthew Berman 解读 Anthropic 的上市文件、AI 增长与治理Matthew Berman, Sam Altman · Forward Future主持人审视 S-1 中的财务指标、算力战略和投票结构，并质疑 AI 快速发展与安全之间的张力。
0:36EN → 简体中文Matthew Berman· 2026年10月25日Kimi K3.1 与魔方求解演示Matthew Berman · Forward FutureMatthew Berman 展示一个被打乱的虚拟魔方如何复原，并对 Kimi K3.1 的测试给予积极评价。
25:50EN → 简体中文Matthew Berman· 2026年10月24日Kimi K3.1 Pro 实测：3D 演示出色，表现不一，价格有竞争力Matthew Berman · Forward FutureMatthew Berman 测试这款开放权重模型的编程、3D 渲染和视觉讲解能力，并比较基准成绩与价格。
32:20EN → 简体中文Matthew Berman· 2026年10月23日本地 AI 究竟适合谁？成本、取舍与混合模式的未来Matthew Berman · Forward FutureMatthew Berman 权衡数据控制和自主权，与硬件成本、设置复杂度及推理速度之间的关系。
1:03:37EN → 简体中文Matthew Berman· 2026年10月23日Matthew Berman 团队测试 Kimi K3.1：动画、游戏与图表Matthew Berman, Alex, Brian · Forward Future一场团队直播问答变成了对 Kimi K3.1 的非正式测试，内容涵盖个人智能体工作流、动态图形、浏览器游戏和基准图表。
0:53EN → 简体中文Matthew Berman· 2026年10月22日Sam Altman 谈 AI 与新知识的发现Sam Altman · OpenAIAltman 预计，数学发现方面的进展将延伸到生物学、材料和能源领域。