AI 已改写数学研究流程，但还没成为数学家
APPSO · wechat · 2026-07-23
这篇长文讨论的是：AI 已经在改写数学研究的工作方式，但还没有取代数学家。
- 开篇从 2025 年菲尔兹奖切入，提到邓煜、王虹同年获奖，这是历史上首次有两位中国出生数学家同届获奖。
- 文章借此追问：当 AI 已经能解题、验算证明、检索定理库时，职业数学家到底还在做什么。
- 文中强调一个关键区别：把答案写出来，不等于给出一个漂亮而有洞见的证明；证明变短也不等于数学变简单。
- 受访数学家表示，AI 已经从“解题工具”变成研究流程里的日常合作者。
- 文章认为 AI 在模式搜索、证明探索、形式化验证上很强，但仍不擅长判断什么问题值得做、解释证明为什么美、把零散结论组织成理论。
- 结论是：下一代数学大概率会和 AI 共工作战，而更稀缺的人类能力，会变成提出好问题、识别结构、解释答案的意义。
所属事件:AI 冲击基础数学研究，数学界探讨学科范式转折(11 条相关)→
「漫话AGI」频道最新
- ChatGPT 6 冲击就业?法国网友称 IQ 低于 130 的员工难有用途引争议 — mitchdeg · 2026-09-11
- 「AGI 已来」vs 现实：AI 实验室做的桌面应用依然又糙又卡 — MilesCranmer · 2026-09-11
- 社会学家 Harry Collins：LLM 无法发明新语言，做不了前沿科学 — whoamisri · 2026-09-11
- 「Waymo 效应」：AI 正在悄悄让科研协作变少 — JohnHammersley · 2026-09-11
- Anthropic 风险表态遭误引，2030 年毁灭概率争议再起 — davidmanheim · 2026-09-11
- 经济学家拆解 Anthropic 增长模型:能写出 15% GDP 增长,不代表会发生 — sebkrier · 2026-09-11