25位菲尔兹奖得主警告:AI在数学领域严重错位
近日,25位菲尔兹奖得主联合发出警告,称人工智能在数学领域存在“严重错位”,这一罕见集体表态引发学界对AI辅助数学研究方向的广泛热议;数学家邓煜则以“退休回家写百合小说”的调侃回应。
驱动中国9月12日消息,25位菲尔兹奖得主日前联合发出警告,认为人工智能在数学领域出现“严重错位”。这场罕见的集体表态迅速在学界与科技行业发酵,也让AI究竟应该如何参与数学研究再次成为焦点。
菲尔兹奖被广泛视为数学领域的最高荣誉之一,在数学界的分量极重。如此数量的获奖者同时就AI问题发声,并不多见。从讨论方向看,警告针对的并非AI在计算和推理上的能力本身,而是当前AI技术路线与数学学科实际需求之间的脱节。
过去一段时间,AI辅助数学研究的进展不断增多。从猜测试探、反例搜索到定理证明的自动化校验,机器学习方法正渗透进数学工作的多个环节。部分研究团队尝试用大模型处理数论、组合学与几何中的构造性问题,也取得了令人瞩目的小规模成果。然而,模型输出往往缺乏可解释性,推导链条难以被数学家逐步核验,这让不少研究者对AI介入数学核心工作的方式抱有疑虑。
此次联合警告放大了这种疑虑。一些数学家认为,当前AI系统更多是在数据中寻找模式,与数学强调的严格逻辑和概念结构并不完全一致。所谓“严重错位”,可以理解为技术开发者追求模型能力提升的同时,没有充分贴近数学家真正需要的严谨性、交互性和可验证性,导致AI虽然能解题,却难以成为可靠的科研伙伴。
值得关注的是,数学家邓煜在相关讨论中的回应成为焦点。他在社交平台调侃称,不如“退休回家写百合小说”。这种半开玩笑的表达被不少同行解读为对当前AI数学热的一种冷处理,也反映出部分一线学者对概念炒作和过度预期的疲惫。
对国内人工智能行业而言,这场讨论同样具有参照价值。数学能力一直是大模型评测的重要指标,数学解题与逻辑推理也是不少产品的宣传重点。但真正的数学研究不只是得到答案,更在于提出好问题、构建严密证明并形成可共享的思想体系。AI能否在这些环节真正发挥作用,比在排行榜上刷新分数更值得关注。
截至目前,25位菲尔兹奖得主的联合表态主要集中在提醒与呼吁层面。这件事最大的意义,或许不是否定AI在数学中的价值,而是促使研究者冷静思考:技术应当如何服务于学科本身,而非让学科迁就技术。可以预见,AI与数学的磨合仍将是一个长期过程,既需要更强大的算法,也需要更贴近数学现场的协作机制。