Concitech AI · 深度长文
2026/09/22 07:52
OpenAI成立数学顾问组：九位学者拥有批评权，研发节奏属于公司
OpenAI内部模型声称解决纳维—斯托克斯难题和100多个开放问题。25位菲尔兹奖得主提出制度批评。九位学者组成AGMAI，负责审查与发布建议，公司保留决策权和研发节奏权。
AI 产出证明的速度越过同行评审速度。数学界收到一项新任务：谁负责检验、署名、发布与解释？
OpenAI 的答案是一支独立数学顾问组。顾问组名称是 Advisory Group on Mathematics and Artificial Intelligence，简称 AGMAI。九位成员来自普林斯顿高等研究院、牛津、哈佛、斯坦福、伯克利等机构。
这套结构有清晰分工。顾问组拥有审查建议权、发布建议权和公开批评权。OpenAI 掌握发布决定权、资源配置权和研发节奏权。
这条边界决定了 AGMAI 的性质：它是一套公开审查接口，刹车权属于公司。
百道难题声明触发治理问题
OpenAI 称，一款内部模型解决了纳维—斯托克斯千禧年难题，数学开放问题的解题数量超过 100 个，覆盖多数数学领域。模型训练起始日期是 8 月 28 日。
纳维—斯托克斯结果的发布日期是 9 月 8 日。OpenAI 提供论文与 Lean 形式化证明。该公司给出的项目数据包括 1 万上下的并发 Agent、88 小时左右的解题耗时、17 小时的 Lean 形式化与验证耗时、270 万条 Agent 消息和 1300 亿上下的输出 Token。
OpenAI 的论文主张是一个有限时间奇点构造。光滑初始流体接受光滑外力，速度形成无界增长，能量保持有限。OpenAI 认为该构造解决了克雷问题表述中的 C、D 两项。
克雷数学研究所把解决状态描述为表面成立。奖金规则包含正式评估和归属程序。克雷研究所称，评估程序追求从容节奏。OpenAI 表示，公司放弃申领千禧年大奖。
“100 多个开放问题”属于 OpenAI 声明。官方页面缺少完整问题清单、论文全集和同行审查结果。这组数字代表能力信号，独立审查是学术定论条件。
25位菲尔兹奖得主提出反对
联合声明的发布日期是 9 月 11 日，标题是《AI 与数学的严重错位》。初始签名人数是 25。网传数字是 27。原始名单支持前一个数字。签名人包括陶哲轩、Peter Scholze、Pierre Deligne、Maryna Viazovska 和 2026 年获奖者邓宇等人。
开放难题跑分化是声明的批评对象。AI 工具使用获得声明认可。
研究数学的成果包含证明、方法、概念、引用谱系和可传授理解。著名难题承担知识路标功能。证明完成后的讲座、讨论、简化和教材化构成知识传递链。
联合声明担心另一种产出机制：AI 公司把开放问题改造成模型基准，真伪结论形成批量供给，论文写作、方法提炼和前人引用失去充足空间。这种机制伴随署名争议和抄袭风险。
数学共同体担心评价函数发生替换：理解深度让位于解题数量，学术传播让位于能力发布。
九位成员构成一条沟通通道
AGMAI 的首批成员有九位：François Charles、Camillo De Lellis、Timothy Gowers、Martin Hairer、Nikhil Srivastava、Ulrike Tillmann、Ravi Vakil、Edward Witten 和 Melanie Matchett Wood。
成员背景覆盖纯数学、应用数学和理论物理。Martin Hairer 是联合声明签名人。Timothy Gowers 拒绝签名，并发表回应文章。顾问组容纳了不同立场。
AGMAI 的官方说明披露了成立过程。OpenAI 联系了部分成员，希望建立外部顾问委员会；这些学者选择独立组织形式，OpenAI 接受了该安排。普林斯顿高等研究院承担托管机构。
顾问组的职责包括新结果意义评估、发布协调、学术规范、研究工具和数学教育。首项任务是 OpenAI 大量数学结果的发布次序与审查方案。
独立性来自公开性，权力边界来自公司
成员报酬是零。顾问组网站负责建议发布。成员拥有主动建议权、公开评论权和成员调整权。其他 AI 公司属于 AGMAI 服务范围。
两份官方说明界定公司权限。AI 公司的决策权归公司。公司承担决策责任。顾问组职责清单缺少 OpenAI 内部数学研发节奏。
顾问组职责指向程序治理。顾问组负责结果的共同体入口，公司负责模型发展。程序治理覆盖审查、署名、引用和发布秩序。能力增长速度属于另一套权力结构。
独立性给顾问意见增加可信度。决策权缺席限制了意见执行力。两点构成完整评估。
数学研究的新瓶颈是吸收能力
OpenAI 的 1 万 Agent 和 1300 亿输出 Token 描述了机器侧产能。人类侧产能包括专家审稿、形式验证、方法提炼、前人工作追踪和教学转化。
两个产能出现数量级差异，证明库存形成。论文数量与知识增量脱钩。数学共同体的吸收与确认决定学科体系内容。
这个变化提出四项制度需求：
- 机器生成结果的来源记录
- 人类贡献和模型贡献的署名规则
- 论文、形式化证明和提示记录的公开标准
- 公司回应顾问意见的留痕机制
AGMAI 能否产生影响，答案取决于这些制度产物。成员名单提供声望，公开文件提供问责依据，公司的采纳记录提供执行证据。
顾问组解决不了速度冲突
OpenAI 的回应承认了数学共同体的批评。无薪机制、公开建议和独立托管降低了利益冲突风险。顾问组结构具备真实价值。
研发节奏条款保留了核心冲突。数学家关注知识消化速度，AI 公司关注能力增长速度。AGMAI 管理两种速度的交界面。知识消化速度由数学共同体支配，模型研发速度由 OpenAI 支配。
有效指标包括发布标准、分歧记录、署名修正和公司回应。成员头衔属于背景资料。
AI 数学时代的缺口是知识链路。可信知识包含答案、证明、审查、归属、解释和传承。AGMAI 接手链路中段，OpenAI 决定链路起点的节奏。
