2026年9月12日,二十余位菲尔兹奖得主联合发表题为人工智能在数学中的严重错位的公开声明,陶哲轩、邓煜、彼得·舒尔茨等国际知名数学家位列首批签署人。
声明指出,近期大型人工智能模型在数学任务上的表现取得显著突破,已能独立解决若干长期未解的经典难题,作为辅助工具参与数学研究具有现实价值和积极意义。
然而,声明着重表达了深层忧虑:当前部分人工智能企业将“快速求解数学问题”作为评估模型能力的核心指标,这一导向与数学研究的根本目标存在根本性偏离。数学的价值不仅在于得出正确答案,更在于孕育原创概念、构建严密逻辑、形成可传递的思想体系,并通过严谨的学术对话实现知识的沉淀、理解、复用与延展。
若持续强化以速度为导向的数学应用路径,将导致大量生成证明难以被人类理解与验证,削弱同行评议的可行性与可靠性;同时引发学术署名归属不清、成果溯源困难等伦理挑战,长远来看可能侵蚀数学共同体赖以生存的学术规范与信任基础。
声明明确表示,其立场并非排斥人工智能参与数学探索,而是反对由商业资本与技术机构单方面定义数学的价值尺度。数学成果的评判标准应是多元、审慎且根植于学科本质的,绝不能简化为解题效率的单一维度。
该声明系多位菲尔兹奖得主在过去七日内密集研讨后紧急形成。鉴于问题紧迫性,学者们决定先行发布,暂未等待大规模学界意见征询;后续仍将开放签署通道,欢迎更多数学工作者加入。
与此同时,近期多家机构研发的大模型在数学领域接连取得引人注目的进展。据披露,一款尚处于内部测试阶段、数学性能明显超越已发布版本GPT-6 Astra的模型,在约一万个协同运行的智能体支持下,仅用88小时即完成对千禧年七大难题之一——纳维-斯托克斯方程存在性与光滑性问题的完整推演。此外,已公开的GPT-6 Astra亦成功解决了五项长期悬而未决的埃尔德什数学问题,其中包括埃尔德什十八岁时提出的“解离集猜想”——他本人曾称其为“人生第一个真正严肃的数学问题”,以及极值图论中具有里程碑意义的埃尔德什-索斯猜想。

评论
更多评论