AI 已改写数学研究流程，但还没成为数学家
APPSO · wechat · 2026-07-23
这篇长文讨论的是：AI 已经在改写数学研究的工作方式，但还没有取代数学家。
- 开篇从 2025 年菲尔兹奖切入，提到邓煜、王虹同年获奖，这是历史上首次有两位中国出生数学家同届获奖。
- 文章借此追问：当 AI 已经能解题、验算证明、检索定理库时，职业数学家到底还在做什么。
- 文中强调一个关键区别：把答案写出来，不等于给出一个漂亮而有洞见的证明；证明变短也不等于数学变简单。
- 受访数学家表示，AI 已经从“解题工具”变成研究流程里的日常合作者。
- 文章认为 AI 在模式搜索、证明探索、形式化验证上很强，但仍不擅长判断什么问题值得做、解释证明为什么美、把零散结论组织成理论。
- 结论是：下一代数学大概率会和 AI 共工作战，而更稀缺的人类能力，会变成提出好问题、识别结构、解释答案的意义。
所属事件:AI 冲击基础数学研究，数学界探讨学科范式转折(11 条相关)→
「漫话AGI」频道最新
- CJR 批评记者滥用「rogue」：别把 AI 写得像有了人性 — ShakeelHashim · 2026-10-27
- AI 致 PhD 申请邮件暴涨约 4 倍，不用 AI 写信反而更易突围 — AI4Code · 2026-10-27
- Weil 律所崩塌复盘：击垮 BigLaw 的不是商业模式，是信心 — jkubicki · 2026-10-27
- Transformer 论文八位作者全部离职，Google 白送竞争对手万亿价值 — signulll · 2026-10-27
- Anthropic S-1 写明两大 AI 愿景：治愈疾病与覆盖 46 亿缺医人口 — petergyang · 2026-10-27
- 高盛：美企 AI 采纳率与就业增长呈显著负相关 — ben_j_todd · 2026-10-27