数学家可能最先被AI取代
Mathematicians will probably become obsolete before anyone else [pdf]
一篇引发深思的文章指出，在人工智能浪潮席卷各行各业的背景下，数学家这一传统上被认为最难以被替代的职业，或许会最先面临被取代的命运。文章探讨了数学领域工作的可自动化特性，以及AI在逻辑推理和模式识别方面的惊人进展。这并非危言耸听，而是基于对数学研究本质和AI能力边界的理性分析。当机器能够处理复杂的定理证明和公式推导时，人类数学家的独特价值将如何重新定义？这一话题值得所有关注技术变革的人深入思考。
数学家可能会在其他人之前变得过时。
HN 评论区
65- manfromchina1
在数学领域，有人需要理解 AI 的输出吗？如果需要，那么这个人就得接受过数学训练。从本质上说，这个人就是数学家。也许他们拿不到钱，那就不是职业数学家。也许这些拿钱的人会被淘汰。但如果 AI 持续产出人类无法理解的新东西，人类就不得不创造一个新的职业类别，让那些能解读这些内容的人来工作。这样一来，数学家们就重新回到了舞台中央。
一种可能性是，AI 持续产出新的数学成果，并将其直接输送到科学和工程的其他分支，无需任何人类介入。到了那时，数学就变成了一个黑盒。也许在这种情况下，人类数学家可能会变得过时。但随之而来的，是其他分支也会变得难以理解。
- appplication
有趣的背景信息：1) 这与大语言模型（LLM）毫无关系；2) 这是一封手写信件扫描成的 PDF；3) 这封信的作者是“无政府炸弹客”。
- tim333
他确实有点超前于时代。我认为数学家或许可以利用 AI 去探索数学的遥远领域。毕竟，数学不是有限的。
有了 AI 的辅助，我现在可能比过去没有 AI 时更愿意去做严肃的数学研究，因为我自己的水平不足以取得像样的进展。我长期以来一直好奇量子力学中的重整化（renormalization）是怎么回事，以及如何将其与引力结合起来，但这远远超出了我的脑力范围。
- imranq
就我而言，我发现人们往往因为自己根本不懂某个领域而对 AI 印象深刻；而当专家与 AI 合作时，他们往往大失所望。因此，虽然我们确实看到一些数学问题被自动化并得到证明，但我认为，在实现具有真正人类价值的证明自动化方面，我们还有很长的路要走。
- imranq
信件转录（由 ChatGPT 完成）：
尊敬的先生：
在您 12 月 14 日的来信中，您问我数学是否是一项值得追求的事业。数学绝对不是一项值得追求的事业！我能想到的研究数学的理由只有三个：
(1) 娱乐。
(2) 促进技术进步。
(3) 促进个人职业发展。
理由 (1) 是无害的；但人们不会把娱乐称为“值得追求的事业”，它只是一种消遣。
至于理由 (2)，现代技术是这个世界发生过的最糟糕的事情，促进其进步简直无异于犯罪。请阅读马丁·里斯（Martin Rees）的《我们的最后一个世纪》（Our Final Century）；或者阅读比尔·乔伊（Bill Joy）于 2000 年 4 月发表在《连线》（Wired）杂志上的文章《为什么未来不需要我们》（Why the Future Doesn't Need Us）。
至于理由 (3)，选择数学作为职业是非常冒险的。不久前，我收到一位墓碑雕刻师的来信，他的手艺已被一台激光引导的自动雕刻墓碑机器所淘汰。他四十多岁，找不到工作，抑郁不堪。也许你认为，如果你成为一名数学家，这种事就不会发生在你身上。但你错了。马丁·里斯、比尔·乔伊以及许多其他杰出的专家都认为，在未来几十年内，将开发出比最聪明的人类还要智能的机器。当那一天到来时，人类将变得过时；他们将被逐步淘汰，并被计算机和机器人取代。这最终会发生在每个人身上，但数学……