陶哲轩称数学 2.0 时代应淡化攻克难题，如何看待这一转向？

OpenAI 公布了一份报告，称其一款尚未发布的前沿模型解决了数百个数学难题，其中之一是四维挂谷猜想，今年的菲尔茨奖得主王虹就是因为证明三维挂谷猜想而得奖。UCLA 数学家陶哲轩对此评论说，在传统数学的 1.0 时代，知名难题的证明通常会引发一系列后续的活动，证明作者会受邀参加演讲，与该领域的专家展开讨论，相关研讨会会组织起来去探讨该证明及最新进展。但 AI 模型的证明则是由对数学兴趣不大的人通过提示词自主解决的，他们只关心「解决」本身，对输出结果缺乏深入理解，无法出席研讨会，与同领域专家展开讨论。 陶哲轩认为数学 2.0 时代应降低解决难题的核心地位

前往原平台核验详情 ↗