AI in mathematics is forcing big questions

摘要

文章探讨了 AI 在数学领域的快速进展及其对数学家身份和学科未来的冲击。作者从自身博士经历切入，对比了应用数学与纯数学研究的不同驱动力 —— 后者追求的是长期思考后突然理解所带来的美感与满足。文章指出，AI 已从简单的数学复述发展到能解决奥赛金牌级难题、自主产出博士级研究成果、甚至推翻重要猜想的程度，并与证明助手结合，开始自动化形式化验证。在海德堡获奖者论坛上，年轻数学家普遍感到存在危机，而资深学者观点分化：一派只求答案，不惜让 AI 代劳；一派坚持数学的核心在于人类理解、共识与精神之美，AI 证明若无人类可理解的优雅版本仍是未竟之业；菲尔兹奖得主陶哲轩则提出 “大数学” 愿景，主张人机协作，利用形式化验证建立信任，让人类负责创造性部分，AI 处理技术苦活。文章也提及风险，包括 AI 工具可及性可能使数学精英化，以及跳过思考挣扎可能导致下一代数学家直觉萎缩。