OpenAI 峰会：数学的终结？

The End of Mathematics

我在 OpenAI 举办的数学未来峰会上，描绘了一个令人担忧的图景：当 AI 在数学领域变得远超人类时，数学进步反而可能停滞。2026 年起，数学论文数量爆炸式增长，但 MathOverflow 等社区活跃度却在下降，大量重复劳动被 AI 和人类共同消耗。到了 2027 年，职业数学家可能沦为“拉老虎机”的角色，依靠 AI 批量生产论文，却与数学本质彻底脱节。虽然 Autoformalization 能修复文献漏洞，但人类对数学思想的信任正在崩塌。如果现有的激励机制不改变，数学界可能奖励那些不再深入思考的人。尽管我对未来持乐观态度，认为我们会适应，但这场由 AI 引发的冲击，或许正是我们修复数学界固有缺陷的契机。