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

UCLA 数学家陶哲轩评论 OpenAI 报告，其未发布的前沿模型称解决了数百个数学难题，包括四维挂谷猜想，今年菲尔茨奖得主王虹因证明三维挂谷猜想获奖。他认为 AI 证明者只关心“解决”本身、缺乏深入理解，无法参与研讨会等学术交流，且 AI 公司的竞争迫使开创性数学研究秘而不宣。他主张数学 2.0 时代应降低解决难题的核心地位，更重视学术阐释、社区建设和开辟研究新方向。