陶哲轩认为数学 2.0 时代应降低解决难题的核心地位
2026-10-08 15:35 by 2061太空漫游
OpenAI 公布了一份报告，称其一款尚未发布的前沿模型解决了数百个数学难题，其中之一是四维挂谷猜想，今年的菲尔茨奖得主王虹就是因为证明三维挂谷猜想而得奖。UCLA 数学家陶哲轩对此评论说，在传统数学的 1.0 时代，知名难题的证明通常会引发一系列后续的活动，证明作者会受邀参加演讲，与该领域的专家展开讨论，相关研讨会会组织起来去探讨该证明及最新进展。通过这些活动，证明过程被消化和精简，被置于该领域其他成果的背景下，最终成为下一代数学家的教科书和讲义内容。但 AI 模型的证明则是由对数学兴趣不大的人通过提示词自主解决的，他们只关心“解决”本身，对输出结果缺乏深入理解，无法出席研讨会，与同领域专家展开讨论。AI 公司的作为迫使数学领域的开创性研究秘而不宣，以避免自己的研究成果被 AI 公司抢先发表。数学 1.0 时代极度推崇抢先解决未决难题，在数学 2.0 时代应该降低或弱化解决难题的核心作用，应该从更全面的视角去衡量数学进步，比如应提升学术阐释、社区建设以及开辟研究新方向的价值。
https://openai.com/index/sharing-ai-progress-in-mathematics/
https://mathstodon.xyz/@tao/117395269325940185
#数学
via Solidot - Telegram Channel
2026-10-08 15:35 by 2061太空漫游
OpenAI 公布了一份报告，称其一款尚未发布的前沿模型解决了数百个数学难题，其中之一是四维挂谷猜想，今年的菲尔茨奖得主王虹就是因为证明三维挂谷猜想而得奖。UCLA 数学家陶哲轩对此评论说，在传统数学的 1.0 时代，知名难题的证明通常会引发一系列后续的活动，证明作者会受邀参加演讲，与该领域的专家展开讨论，相关研讨会会组织起来去探讨该证明及最新进展。通过这些活动，证明过程被消化和精简，被置于该领域其他成果的背景下，最终成为下一代数学家的教科书和讲义内容。但 AI 模型的证明则是由对数学兴趣不大的人通过提示词自主解决的，他们只关心“解决”本身，对输出结果缺乏深入理解，无法出席研讨会，与同领域专家展开讨论。AI 公司的作为迫使数学领域的开创性研究秘而不宣，以避免自己的研究成果被 AI 公司抢先发表。数学 1.0 时代极度推崇抢先解决未决难题，在数学 2.0 时代应该降低或弱化解决难题的核心作用，应该从更全面的视角去衡量数学进步，比如应提升学术阐释、社区建设以及开辟研究新方向的价值。
https://openai.com/index/sharing-ai-progress-in-mathematics/
https://mathstodon.xyz/@tao/117395269325940185
#数学
via Solidot - Telegram Channel
