What does it mean to be a mathematician when AI does the math?

摘要

文章探讨了 AI 在数学领域日益增长的能力对数学家身份、动机和学科未来的影响。从 AI 在国际数学奥林匹克达到金牌水平，到自主产生可发表的研究成果、结合证明助手形式化复杂证明，AI 正逐步接管曾被视为人类独有的数学任务。文中呈现了数学界的不同反应：部分研究者仅关心获得答案，即使由 AI 完成；多数人则更看重人类理解的过程，认为数学的乐趣在于长期思考后的豁然开朗，以及通过证明达成共识的集体智慧。菲尔兹奖得主陶哲轩提出 “大数学” 愿景，主张人机协作，利用形式化验证建立信任，让人类负责创造性部分，AI 承担技术苦力。同时，年轻研究者普遍感到焦虑，担忧学科沦为少数拥有专有 AI 模型的机构才能参与的精英活动，以及下一代数学家因跳过思考挣扎而丧失直觉与动机。