数学领域中人工智能的偏差

包括陶哲轩在内的 25 位菲尔兹奖得主联名签署声明,指出 AI 公司把“解题”当作大模型数学能力的基准,与数学界追求概念理解的目标严重错位,并已带来署名与原创性争议。

一句话看懂:包括陶哲轩在内的 25 位菲尔兹奖得主联名签署声明,指出 AI 公司把“解题”当作大模型数学能力的基准,与数学界追求概念理解的目标严重错位,并已带来署名与原创性争议。

事件核心:发生了什么

数学家陶哲轩(Terry Tao)在其博客公布了这份由 25 位菲尔兹奖得主共同签署的声明,并开放后续联署。声明称,过去几个月大模型(LLM)的数学能力大幅提升,已能解决多个数学领域的重大悬而未决问题。但签署者认为,AI 公司以“解题”作为模型能力基准的做法,对数学科学和数学共同体有害,双方目标存在“严重错位”。

声明的具体担忧包括:解题只是通向概念理解的工具和代理指标,追求越来越快地批量产出“真/假”结论,可能破坏孕育新思想的土壤;许多解法仓促发布,没有时间做规范写作、提炼新方法、引用前人工作,由此引出严重的署名与抄袭问题;若缺乏数学家主动参与整理和吸收,AI 产出的想法无法真正进入数学经典体系,人类数学家之间的传承链也可能断裂。

为什么重要

这是首次由菲尔兹奖得主群体集中、公开地对 AI 在数学领域的推进方式表态,把问题从“模型能不能解题”转向“解题为了什么”。声明的立场很清楚:数学的价值在于理解和洞察,而非排行榜上的分数。签署者还把它放进更大的对齐议题中——不仅影响数学,也影响其他科研和创意职业,乃至整个社会如何在使用 AI 时不丢失工作原本的目的。对 AI 公司而言,这意味着数学基准的说服力可能被重新审视;对行业而言,这是一次关于评测导向与真实价值的公开质疑。

对用户/开发者/创作者的影响

开发者需要注意评测与业务目标的区别:模型在数学基准上涨分,不等于它真正理解问题背景,也不等于结果可直接采用。使用大模型做推理、代码或研究辅助时,人工核验与溯源仍不可省略。研究者与内容创作者则应更重视过程记录和引用规范,避免把 AI 生成的结论当作自己的原创成果发布。对企业采购方来说,声明提示了一个现实风险:把 AI 输出直接并入知识库或研发流程,可能引入难以追溯的来源问题。开源与闭源模型在数学能力上仍会继续竞争,但“能解多少题”将越来越不足以单独支撑采购判断。

GamsGo AI

AI 工具推荐

想把多个 AI 模型放在一个入口?

GamsGo AI 集成 ChatGPT、DeepSeek、Gemini、Claude、Midjourney、Veo 等常用模型,适合写作、绘图、视频和日常 AI 工作流。

了解 GamsGo AI

推广链接:通过此链接购买,我可能获得佣金,不影响你的价格。

值得关注的后续

一是联署规模是否继续扩大,是否会有机构或 AI 实验室正式回应。二是 AI 公司是否调整数学基准的发布方式,比如补充过程说明、限制未审先发的结论式公告。三是学术界是否形成针对 AI 参与研究的引用与署名惯例。目前公开信息显示,声明尚未提出具体的技术或监管方案,后续落地形式有待观察。

来源:terrytao.wordpress.com

celebrityanime
celebrityanime
文章: 22960

发表回复

您的邮箱地址不会被公开。 必填项已用 * 标注