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

  • 情报分类：技术学习与提效
  • 分类依据：内容涉及技术、AI、软件工具或工程实践
  • 信息来源：资讯 / 知乎热榜
  • 发布时间：2026/10/8 18:06:06