发布日期：2026-09-13 15:46点击次数：169
面对近期 AI 大厂进数学研究的式五家渠橡塑胶，连向与 AI 为善的陶哲轩都坐不住了。
刚刚，陶哲轩、邓煜等 25 位菲尔兹得主联发起并作为批签署人，发布了份声明表示：AI 公司进数学的式，已经与数学共同体的目标出现" severe misalignment（严重偏移）"。
因鉴于近期 AI 急剧发展对数学域带来的冲击为严峻，发起人未走流程繁琐的协商程序，而是选择紧急公开发布，以尽快回应危机。
过去几个月，大语言模型的数学能力急剧提升，已经能解决多个数学域中重大的未决问题；但 AI 公司越来越倾向于把解决数学问题当作 benchmark 来进的做法，对数学这门科学、对数学共同体都是有害的。
AI 公司的目标与数学共同体的目标严重错位。
我们认为，这属于广泛的错位问题的部分，影响着其他科学与创意职业，乃至整个社会。
回顾过去半年，AI 在解决数学难题面频频取得了突破进展——
5 月，OpenAI 内部模型给出 Erd ő s 单位距离猜想反例。
7 月，Claude 参与翻 Jacobian conjecture。
9 月初，GPT-6 Astra 在孪生素数猜想向上取得了新进展，用 Lean 形式化证明把连续素数间距的上界从 246 到了 186。
本周，OpenAI 用 1 万个 Agent 跑了 88 小时，拿出 Navier-Stokes 证明，并由此引发出场涉及 OpenAI、Anthropic 和两位数学之间的罗生门事件。
单纯从数学进展来说，这疑是好事。
但可否认，由此还带来的系列冲击和影响。
本周关于 Navier-Stokes 的实践是成为直接火索，促使 25 位菲尔兹得主在过去周紧急商议，并迅速发表此联名公开信。
声明全文：https://mathandai.org/
先要说明，这份声明并不是呼吁 or 要求停止 AI，或停止用 AI 来主 / 辅助数学研究工作，也没有否认 AI 取得的这些成果。
他们的核心担忧集中在下面三个面：
，AI 解题速度开始过数学共同体消化知识的速度。
二，AI 公司追求 benchmark 成绩，数学界追求法、理解和知识传承，两套评价体系开始分叉。
三，当 AI 能快速完成开放问题后，数学研究的优先权、人才培养和开放文化都需要重新定规则。
Navier-Stokes 争议暴露出数个对 AI 与数学的灵魂拷问
几日前，OpenAI 宣布用 1 万个 Agent 跑了 88 小时，解决 Navier-Stokes（构造平滑外力使流体有限时间爆破，符克雷题面 C、D 情形）这千禧年难题，而后引发了场连环抓马，将纽约大学数学 Tristan Buckmaster 和 Anthropic 研究员 Levent Alp ö ge 这两名人类同裹挟进舆论场。
（故事具体详情可见：《难评！OpenAI 刚官宣的 NS 程大突破，被数学手撕了》）
事件引发的争议，每点都直击灵魂：
个研究者在 AI 工具里输入的 Prompt，不未发表研究材料？
模型公司是否在得知数学研究思路和进展的前提下，利用上万 Agent 破题，跑成果？
OpenAI 提出的解决案中，要求将 Anthropic 员工 Alp ö ge 排除在作者名单之外，是否违背数学研究精、规则和常理常情？
顶模型接受过相关用户数据，那么怎么证明顶模型给出的数学证明成果是 AI 立产生的？
AI 把"证明"做出来以后，谁负责把它变成人能理解的数学？
AI 声明破解数学难题，并署名为个模成果，但后续系列验证问题却要丢给人类数学，这其中的各个环节是否理？
……
此外，事件很快造成了数学界对大厂后台监控 Prompt 数据、窃取灵感并凭力霸权跑截胡的强烈恐慌。
原本度提倡开源共享的数学界濒临陷入寒蝉应，研究者犹豫是否还能向对话框透露半成品思路。
大会不会被迫从开放协作走向御闭门造车，造成学术生态的严重倒退？
这些问题错综复杂，相关问题越探讨越多五家渠橡塑胶，越探讨越说不明白，以至于相关争议演烈。
总而言之，抓马事件引发的警示，以及余波带来的惊慌措，说不完，也说不清。
大玩的《三体》梗之，是"不要回答，不要回答，不要回答"。
现在，所有困惑、担忧和揪心的点，只能化为句——
法回答，谁能回答，到底该如何回答？
25 位菲尔兹得主联声明的数学这门科学的意义，不只是解题、证明与寻找新法
声明中先表明了数学眼中的数学、数学问题、数学证明和数学研究等，原本应该是什么样的。
在数学看来，个数学问题长期以来像个地标和灯塔（landmark and lighthouse）。
数学通过解决它来检验，人类对于某片数学域究竟理解到了什么程度。
因此，道重大问题被解决之后，研究工作通常还会继续很久。
数学共同体需要理解新的证明、识别其中出现的新法，pvc管道管件胶把这些法与已有知识连接起来，再通过报告、讨论、简化等过程逐渐消化。
终，理想状态是把成果整理成研究生甚至本科生都可以学习的教材知识。
而且，有些数学思想还会继续传播几十年甚至几百年，后变成普通人都能够理解和使用的工具。
solving problems is only a tool and proxy。
因此，求解问题仅是实现数学研究目标的类工具与代理指标，数学研究为重要的追求是概念理解与洞见（conceptual understanding and insight）。
个好的问题既能训练研究者，也能指引研究向、催生新法，还能吸引众多数学围绕它，逐步构建起相关的认知体系。
现状：AI 商业目标与数学学科本质严重错位
如上所述，声明中表示数学的核心在于入理解基本结构、获取概念洞察（Insight&Understanding）与提炼法，解决难题只是实现该目标的手段与载体。
然而，商业公司仅将"解决数学难题"作为衡量和介大模型能力的 Benchmark，功利化进，忽略"理解"这要目标，以快节奏批量生产" True/False "（真 / 假）断言。
顶数学们法不重视的三面担忧
乍看，用 Scaling Law 类似的美学来进数学进展，的确攻克了前人暂未解决的难题，而且是以闪电般的速度。
但声明表示，"（这）非但不能孕育新思想，反而会破坏数学研究的土壤。"
声明中呈现了人类顶数学们的多隐忧。我们梳理归类了下，大约可以划分为三个面。
个面关于流程、规。
1、 AI 生成的解决案往往在匆忙中向媒体宣布，未留出时间撰写严谨规范的论文。
2、AI 及其背后的机构，缺乏对前人相关工作（Prior Work）的妥善引用与归因，引发了严重的学术署名与潜在的剽窃（Plagiarism）争议。
另面，围绕"数学开放问题被快速耗尽，却法如解决般快地去补充"这件事。
1、随着 AI 以搜索和速理的节奏批量解决（或给出反例）各大域悬置已久的开放问题，如果只是为了消灭问题而消灭问题，那么只是对开放问题的"功利耗尽"。
2、然而目前 AI 缺乏"向前探索（Forwards Exploration）"的能力，即法敏锐地感知数学地貌，提出具有远价值的"新开放问题"。
3、作为地标的存量开放问题正在被 AI 迅速消耗和填平，它又不能提出新开放问题，这……？
后面，关乎对数学育人模式和传递知识作用的摧毁。
1、多年的学术训练不仅是为了产出终答案，是为了培养人类"入理解"与"提出新问题"的能力。AI 直接输出结果的式破坏了这种训练。
2、数学的发展度依赖人类社区通过报告、讨论、简化，并终将其整进教材与教学中的消化过程。如果没有人类数学愿意接手并将 AI 构想出的想法整进数学正典，这些想法将法真正活起来。
换句话说，代际之间关键的人类知识传递链（Human Transmission Chain）将会断裂。
声明后还写了这么段话：
这些问题须紧急解决，数学界、开发这些技术的公司以及广泛的社会都须重视这些问题，因为在许多其他形式的智力工作中，社会也将面临类似的问题。
署名的批 25 位菲尔兹得主有哪些？
声明后附上了署名的 25 位菲尔兹得主的名单。
这份名单横跨代数几何、数论、动力系统、概率、PDE、数学物理，覆盖近半个世纪数学核心突破。
其中大多数人熟悉的名字，应该是陶哲轩和今年刚刚拿下菲尔兹的邓煜。
而恰恰这两人之前对用 AI 来进数学研究，都持比较开放的态度。
陶哲轩几乎是这波 AI 浪潮里波积上手使用 AI 帮助个人研究的数学，甚至可以称之为积倡 AI 辅助科研的军者。
他把 AI 视为卓越的"研究助理"。
在他看来，AI 在代码生成、文献检索以及借助 Lean 等工具进行形式化证明验证面表现优异，能够大幅帮学者承担繁重、套路化的辅助工作，从而提升整体科研率。
不过，他始终对" AI 话"保持度清醒，坚决反对将其过度圣化。随着 AI 技术进展，他的关切也逐步延伸至学术伦理与规则建设。
今年获得菲尔兹后，邓煜在接受多媒体访时也谈论过对于 AI 的态度。
邓煜透露自己日常会使用 AI 辅助科研（如借助 AI 验证特例、查找文献或核验局部逻辑）；面对当前的 AI 热潮，他直言相比于直接去用 AI，关心 AI 底层的数学基础。
此外，邓煜认为 AI 改变了传统数学问题的解决门槛（许多因精力限制而被搁置的难度技术细节得以被加速攻克），未来三四年数学界很可能进入快速发展期。
他相信"未来数学与 AI 将走向人机协作"。
仅在周前，邓煜在朋友圈写的段话还被广泛流传。
相信那时候的他，对 AI 之于数学的心态，与几天之后签署声明时大有不同了。
切发展得太快，切都太过急迫。
One More Thing
这份重磅声明之前，今年 6 月，有份《莱顿人工智能与数学宣言》发布。
该宣言呼吁采取行动应对 AI 在数学研究中的应用，呼吁建立规范，让 AI 作为辅助工具，保护数学作为人类智力活动的核心价值。
宣言由来自 10 国约 60 位数学、计机科学、学者参与，由 6 人组成工作组，历时 8 个月起草。当时，就得到数学联盟 IMU 背书，大量数学（含陶哲轩、Peter Scholze 等菲尔兹得主）公开支持签署。
3 个月后的今天，25 名菲尔兹得主发布联声明。
参考链接：
https://www.techmeme.com/260911/p27
https://mathandai.org/
https://mathstodon.xyz/@tao/117253629967855195
键三连「点赞」「转发」「小心心」
欢迎在评论区留下你的想法！
— 完 —
� � 点亮星标 � �
科技前沿进展每日见相关词条:不锈钢保温施工 塑料管材生产线 钢绞线厂家 玻璃棉板 泡沫板橡塑板专用胶
奥力斯 万能胶厂家 联系人：王经理 手机：18231788377（微信同号） 地址：河北省任丘市北辛庄乡南代河工业区
1.本网站以及本平台支持关于《新广告法》实施的“极限词“用语属“违词”的规定，并在网站的各个栏目、产品主图、详情页等描述中规避“违禁词”。
2.本店欢迎所有用户指出有“违禁词”“广告法”出现的地方，并积极配合修改。
3.凡用户访问本网页，均表示默认详情页的描述五家渠橡塑胶，不支持任何以极限化“违禁词”“广告法”为借口理由投诉违反《新广告法》，以此来变相勒索商家索要赔偿的违法恶意行为。