菲尔兹奖得主 John Pardon：AI 已 100% 看懂我潦草的证明
141_1337 · reddit · 2026-10-20
2026 年菲尔兹奖得主 John Pardon 表示，AI 现在能理解他写得最简略、最混乱的数学证明，捕捉细微错误，甚至证明非平凡结果——「AI 理解了，100%」。而一年前他的回答会完全相反。
配图采访中他详细说明：过去 AI 校对像跑拼写检查，如今即便他写下含个人笔记与思路提示的模糊句子，人类会问「这是什么？重写一遍」，AI 却能完全理解。它能发现如「all colimits」应为「all finite colimits」这类错误——唯一能知道的方式是理解了全局上下文。他写完证明后曾需反复读五遍确认，现在有了这种确定性，并称这一进展对数学而言是改变世界的。
所属事件:菲尔兹奖得主：AI 已 100% 读懂我潦草的数学证明(2 条相关)→
「漫话AGI」频道最新
- 代码已成软件业最廉价资产，价值正转向规格与测试 — prasanna_says · 2026-10-20
- 训练数据差 ≠ 输出差：用失败航空邮件训练的辩论引争议 — JohnnyNi13 · 2026-10-20
- 数学家抵制 AI 之际回看历史：卢德派对行业错了，对自身职业对了 — soumitrashukla9 · 2026-10-20
- AI 诈骗潮将至？Paras Chopra 建议与亲友约定暗语验证身份 — paraschopra · 2026-10-20
- AI 写的小说算谁的创作？Timothy Lee 用 20 轮迭代类比反驳 — binarybits · 2026-10-20
- 澳洲国民银行 NAB 宣布裁员 2500 人，明确提及 AI 应用激增 — gaganghotra_ · 2026-10-20