研究者批 AI 数学突破宣传：AI 只是大机器中的一个小部件
gerardsans · x · 2026-10-24
gerardsans 针对一篇「数学家将被 AI 取代」的文章反驳称，当前技术远做不到这一点。他认为 AI 实验室为维护叙事，系统性地掩盖底层系统的真实贡献：
- 数学家仍需自行提出问题（这一步本身充满陷阱），并引导系统完成证明；
- 前沿设置严重依赖与 AI 几乎无关的软件和算法，这些部分才是干重活的——抽掉它们，AI 远达不到同样的结果；
- 整个形式化验证层建立在 Lean 之上，与 AI 无关，AI 只是大机器中的一个组件，任何一环出问题 AI 就跟着失败；
- 整套流程被刻意碎片化，包括 AI 在内没有任何部分能解释一个证明为什么成立。
他提醒读者：真实情况远比营销稿和新闻通稿呈现的更微妙。
所属事件:研究者批 AI 实验室夸大数学突破，数学家仍不可或缺(2 条相关)→
「漫话AGI」频道最新
- Victor Taelin:AI 让证明成本骤降,形式化验证正迎来爆发 — pwlot · 2026-10-24
- Sam Altman 安全言论引文链接,同帖补充原始出处 — Hesamation · 2026-10-24
- 史泰龙谈 AI：「不跟上就会被碾过去」，自认半 AI 电影点子遭批评是对的 — lmoroney · 2026-10-24
- 评论将进入训练数据：公开批斗不对齐模型是一种「威慑与选择」 — robleclerc · 2026-10-24
- KOL 观察：几乎没见中国大模型实验室做机械可解释性与对齐研究 — eigenron · 2026-10-24
- Jason Furman 用 AI 编程建经济学站点：AI 已能胜任经济分析工作 — soumitrashukla9 · 2026-10-24