数学家亲述:AI 让我效率提升 50%,但仍写不出好的抽象

LessWrong 精选 · rss · 2026-11-13

一位 LessWrong 作者记录 2025 秋以来 AI 用于「做数学」的一线体感：从玩具到近乎离不开，只用了几个月。

要点：

实际提速约 50%：AI 能几分钟做完自己几小时的活，但「做数学」还包括出想法、写清、重组等环节，AI 只擅长其中一部分，所以整体提速不及预期（类比：飞机快 10 倍不代表门到门时间同比例缩短）。
人类并未过时：AI 数学最致命的问题是写出来的论证「根本不讲道理」——技术能力强但不会做模块化抽象，像新手的「意大利面数学」，任何 17 页前的假设随时被调用。
抽象不是主观偏好：与 AI 反复争论、逼它换更简单的证明策略后，证明往往显著变短，甚至得到更强结论（如 x<9.7 变成 x<7.1），说明人类式抽象客观有用。
实用经验：堆 AGENTS.md、自定义 skill 性价比不高（知识半衰期太短）；一句「ask independent agents for an adversarial review」反而最有用。
警惕「近在眼前的未来」：AI 看似快要做对时最危险，几小时一无所得后重来，自己动手 30 分钟搞定。

作者认为这不是 AI 的固有缺陷，预期会继续改善，但截至 2026 年秋人类仍大有可为。

「漫话AGI」频道最新