数学家为何抵触 AI 证题？不止护饭碗，还有更深一层的道理
rbhar90 · x · 2026-09-15
一篇被广泛转发的长推讨论数学界对 AI 解决数学问题的抵触情绪。作者认为不能简单斥之为「守门」或保住饭碗，并以旧式文明游戏地图作比喻论证数学家的确有道理：证明的价值不止于结论本身。这触及了 AI 时代「理解与产出孰重」的核心争论。
「漫话AGI」频道最新
- 两年前还在争论 LLM 会不会规划和算术,如今已成旧闻 — maksym_andr · 2026-09-15
- Anthropic 曾拒发 GPT-2？Leclerc 质疑安全机构「永不安全」文化 — robleclerc · 2026-09-15
- 旧金山人对企业级工作流的想象很抽象,纽约人才是真 panic — willcb · 2026-09-15
- 十年前马斯克、Hassabis 等九人已警示 AI 风险，旧视频再热传 — iruletheworldmo · 2026-09-15
- AI 为什么不能有意识?Reddit 长帖引发讨论 — Successful-Lie1603 · 2026-09-15
- Reddit 热议：模型不能持续学习就谈不上 AGI — Monochrome21 · 2026-09-15