https://www.youtube.com/watch?v=eyM1h95Fe5E
本视频（标题：AI会砸掉大量数学家饭碗，但数学本身反而会大爆发！）由“道可道Science-硬核科普”发布，主要探讨了 AI 时代对数学学科、数学家群体以及科学研究的深远影响。
视频的核心观点是：AI 不会杀死数学，反而会引发数学的大爆发，但它会淘汰大量传统的数学岗位。
以下是视频中提出的 6 大核心预测 以及对数学底层逻辑的深刻反思：
一、 核心痛点：数学的“孤岛效应”
- 现状： 现代数学大约有 5000 到 1 万个分支，知识极其分散。一位数学教授通常只能精通极少数分支，隔壁分支在聊什么往往完全听不懂，就像一万座互不相通的“孤岛” [[00:10]]。
- AI 的作用： AI 能够跨越这上万座“孤岛”，在看似毫无关联的知识之间架起桥梁（类似于当年怀尔斯用一座桥连接了椭圆曲线和模形式，从而解决费马大定理） [[00:39]]。在 AI 的加持下，数学各分支将迎来前所未有的大融合。
二、 与 AI 相关的 6 大未来预测
1. 预测一：数学教授和研究岗位大幅减少 [[01:28]]
- AI 不会杀死数学，但会杀死绝大多数传统的数学教学和研究岗位。不过，与 AI 强相关的岗位（如统计学、计算数学）会大幅增加。
2. 预测二：整个自然科学迎来大爆发 [[01:48]]
- 以往物理、化学、工程等领域的科研人员常因数学工具不够用而头疼。AI 可以作为“超级翻译官”，帮各行各业挑选并应用合适的数学工具（例如电池材料工程师无需自学多年偏微分方程，也能让 AI 帮忙建模求解），推动所有自然科学无一例外地大提升 [[01:59]]。
3. 预测三：数学从“证明中心主义”向“计算中心主义”转变 [[02:27]]
- 延续了 2000 多年的欧几里得公理证明传统，就像绳索一样捆住了数学。视频作者认为“计算可能比证明更基础”，原因在于传统证明有两个底层缺陷：
- 哥德尔不完备定理与柴廷定理： 99% 以上的数学定理是无法通过固定公理系统证明出来的，绝大多数数学定理是孤立的 [[03:09]]。
- 计算不可约原理： 宇宙中很多复杂现象（如三体运动、元胞自动机等）不存在能跳过计算过程的捷径，只能通过一步步计算来观察和发现 [[03:51]]。
4. 预测四：数学家将变成“AI 证明翻译师” [[04:51]]
- 未来数学家最重要的工作，可能不再是自己去证出一个定理，而是把 AI 生成的庞大、晦涩的证明“翻译”成人类能够理解的思想和语言 [[04:52]]。
5. 预测五：民间涌现大量数学“民科” [[05:13]]
- 数学不再被职业数学家垄断。如果未来某个中学生用 AI 随手“抽卡”意外证明了黎曼猜想，菲尔兹奖该不该颁给他？这将成为一个有趣的现实问题 [[05:17]]。
6. 预测六：学术荣誉从“谁证明了定理”转向“谁提出了好问题” [[05:26]]
- 当 AI 承担了越来越多的证明工作后，“证明”变得越来越便宜，而“好问题”和“新概念”将变得极其稀缺。未来数学界的最高荣誉和地位，可能会颁给那些提出重大数学问题或构建新概念的人（视频戏称为“菲尔兹出题奖”） [[05:30]]。
Top comments (0)