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

📋总体概括

OpenAI报告称其未发布的前沿模型解决了数百个数学难题，包括四维挂谷猜想——今年菲尔茨奖得主王虹正是因证明三维挂谷猜想获奖。UCLA数学家陶哲轩回应称，传统数学1.0时代，难题证明会通过演讲、研讨会、专家讨论被消化并沉淀为教科书内容，而AI证明由对数学兴趣不大的人用提示词获得，只求解决、缺乏理解与交流，甚至迫使数学家秘而不宣以防被AI抢先发表。他认为数学2.0时代应弱化抢先解题的核心地位，转而重视学术阐释、社区建设与开辟新方向的价值。