陶哲轩认为数学 2.0 时代应降低解决难题的核心地位

📋总体概括

OpenAI报告称其未发布的前沿模型解决了数百个数学难题，包括四维挂谷猜想，而今年菲尔茨奖得主王虹正是因证明三维挂谷猜想获奖。UCLA数学家陶哲轩对此评论：传统数学1.0时代，难题证明会引发讲座、研讨会等后续学术活动，证明被消化、精简并融入领域知识体系；而AI证明由对数学兴趣不大的人用提示词完成，缺乏深入理解与学术交流，甚至迫使研究者秘而不宣以免被AI抢先发表。他主张数学2.0时代应弱化解难题的核心地位，转而重视学术阐释、社区建设和开辟新研究方向的价值。