OpenAI 峰会：数学的终结？
The End of Mathematics
我在 OpenAI 举办的数学未来峰会上，描绘了一个令人担忧的图景：当 AI 在数学领域变得远超人类时，数学进步反而可能停滞。2026 年起，数学论文数量爆炸式增长，但 MathOverflow 等社区活跃度却在下降，大量重复劳动被 AI 和人类共同消耗。到了 2027 年，职业数学家可能沦为“拉老虎机”的角色，依靠 AI 批量生产论文，却与数学本质彻底脱节。虽然 Autoformalization 能修复文献漏洞，但人类对数学思想的信任正在崩塌。如果现有的激励机制不改变，数学界可能奖励那些不再深入思考的人。尽管我对未来持乐观态度，认为我们会适应，但这场由 AI 引发的冲击，或许正是我们修复数学界固有缺陷的契机。
如果我们的现有激励机制不改变，它们将开始奖励那些不再深入参与数学，甚至可以说根本不在乎数学的人。
HN 评论区
20- somesortofthing
仅就其前提而言，我认为这篇文章无意中未能论证“纯数学”为何应作为人类或机器活动的一个领域而持续存在。一个拥有稳健超智能数学家能力的现实系统，当某个实际问题需要时，可以自行构建问题陈述，运转一会儿，吐出一个形式化的答案，然后继续执行其外部循环任务，而人类甚至无需察觉。
如果你有一个系统能按需提供任意数学结果，那么投入任何资源——无论是人力还是算力——去单纯为了生产这些结果而生产，似乎只是一种浪费。何必去编目巴别图书馆呢？
- wseqyrku
《数学的终结》
多亏了 AI，如今软件行业里的数学家比开发者还多。其中一些甚至曾经是开发者，或者经理。
- anArbitraryOne
看起来像是标题党，所以我就不点了。