AI 已改写数学研究流程，但还没成为数学家
APPSO · wechat · 2026-07-23
这篇长文讨论的是：AI 已经在改写数学研究的工作方式，但还没有取代数学家。
- 开篇从 2025 年菲尔兹奖切入，提到邓煜、王虹同年获奖，这是历史上首次有两位中国出生数学家同届获奖。
- 文章借此追问：当 AI 已经能解题、验算证明、检索定理库时，职业数学家到底还在做什么。
- 文中强调一个关键区别：把答案写出来，不等于给出一个漂亮而有洞见的证明；证明变短也不等于数学变简单。
- 受访数学家表示，AI 已经从“解题工具”变成研究流程里的日常合作者。
- 文章认为 AI 在模式搜索、证明探索、形式化验证上很强，但仍不擅长判断什么问题值得做、解释证明为什么美、把零散结论组织成理论。
- 结论是：下一代数学大概率会和 AI 共工作战，而更稀缺的人类能力，会变成提出好问题、识别结构、解释答案的意义。
「漫话AGI」频道最新
- 长文主张 AI 对齐应以真相最大化人类自主性 — GlenBradley · 2026-07-23
- Allison Duettmann 设想仿真时间里的人生与多重生命 — juanbenet · 2026-07-23
- 分析称美国封禁 Kimi 反将助力其 IPO 与国产化叙事 — SumitGup · 2026-07-23
- Antirez 认为该由数学家主导 LLM 可解的开放问题 — antirez · 2026-07-23
- 哈佛 AI 与工作系列讨论：人类还剩哪些 AI 做不到的价值 — garrytan · 2026-07-23
- 开源 AI 框架应按适配度而非价格路由模型 — 0xsachi · 2026-07-23