顶数数学家谈 AI 解题：数学不会死，问题只会更多
littmath · x · 2026-09-03
引用帖称"计算机解决了问题，所以数学死了"，被顶数学者 Achim 与（Leetcode 创始人）littmath 反驳：每个著名问题被解决后，会立即衍生出数十上百个新问题——数学历来如此，这正是学科的运转方式。littmath 补充，人们担心这些解法对领域核心问题的负面二阶效应可以理解，但"难道你不相信数学吗？总有更多可学的东西。"反映了 AI 冲击数学领域后的代表性态度交锋。
「漫话AGI」频道最新
- Schmidhuber 再谈世界模型源流:2015 年论文已论及抽象思维规划 — jonasgeiping · 2026-09-03
- 全球全职做 AI 验证的工程师或已从不足 10 人增至约 50 人 — HaydnBelfield · 2026-09-03
- The Zvi：Agent 时代的条件反射变了，遇问题直接让 Claude Code 消掉 — TheZvi · 2026-09-03
- ChatGPT 免费层开卖广告，五年前「AI 忠诚度」论文预言成真 — HarrySurden · 2026-09-03
- 安全研究者 Joshua Saxe:别轻信否认 AI 能力飙升的网红生意人 — joshua_saxe · 2026-09-03
- 机器人学的基准与真实差距将远大于 LLM，博主列出 14 项关键挑战 — Ben_Reinhardt · 2026-09-03