OpenAI 的 500 万美元,不会进到眼下正审它 AI 证明的那批学者的口袋。按 OpenAI 公告的原文,这笔钱捐给西蒙斯基金会设立一项全新倡议,由西蒙斯基金会评定发放、用于研讨会、学术会议和专项计划,算力承诺同样只开放给获得西蒙斯基金会支持的研究人员。 也就是说,“钱和算力流向哪些学者”这句话的主语不是 OpenAI,而是基金会的发放管道;而 OpenAI 已公布的三项突破性成果,目前全都还只是没有经过正式同行评审的单方声称。微博知乎
三份答卷,三拨不同的阅卷人
OpenAI 官博 10 月 26 日一口气宣布三项结果,分别落在数学、计算机科学和物理。 数学一项声称证明了所有维度的局部光滑化猜想,“推平调和分析四大猜想”的媒体说法来自经典推导链——局部光滑一旦成立,挂谷猜想和 Stein 限制猜想随之落地;计算机一项声称证伪了被使用近三十年的指数时间假设(ETH),模型 10 月 16 日给出自然语言反证,次日完成 Lean 形式化;物理一项给出了包含量子色动力学在内的四维量子场论严格存在性证明,只涉及存在性、没有宣布解决质量间隙,也就谈不上攻克杨-米尔斯千禧年难题。知乎
ETH 这张卷子走得最像正常的科学复核。OpenAI 邀请加州大学圣迭戈分校的 Impagliazzo、Paturi 以及 MIT 的 Ryan Williams 组织外部研究团队。 这两人正是近三十年前参与提出这个假设的学者;他们与 Williams 的公开信开篇就写明参与不等于背书,不签保密协议、不收一分钱报酬,只要求 OpenAI 公开全部原始数据、资助一场面向全学术界的专题研讨会,OpenAI 全盘答应。机器之心知乎
物理这张卷子正好相反:AI 原始材料暂不公开,交给诺贝尔物理学奖得主 David Gross 牵头的五人团队,先由人消化、再自己撰写解读。普林斯顿高等研究院托管的数学与人工智能顾问组 AGMAI 成员包括菲尔兹奖得主 Timothy Gowers、Martin Hairer 和理论物理学家 Edward Witten,10 月 25 日专门发表声明,反对 AI 公司指定特权学者闭门审阅,10 月 26 日再次发布公开建议,点名要求 OpenAI 立即公开杨-米尔斯的自然语言证明和 Lean 代码。 数学的处理则没有指定审查小组,OpenAI 让研究者直接进入公开材料,自行组织解释和复核——手稿和 Lean 证明就挂在 GitHub 上,但谁来判卷,学界还没人正式接单。知乎机器之心
钱和算力跟着项目走,不跟着人走
这笔捐赠早在 10 月 15 日就已亮相:向西蒙斯基金会新项目出资,专门资助数学家审视和消化 AI 的成果。 10 月 26 日,它和四项研究原则一起被再次确认——外部成员自愿、独立参与、不签保密协议,OpenAI 也不因模型发现去争取学术署名。 配套条款还有一句容易被划掉的话:参与自愿、无薪,结论归参与者本人,谁也不代表谁发言。知乎机器之心知乎
零报酬是独立的代价:收了钱,就没法替一家 AI 公司的结果签字。但问题恰恰出在这套安排上——Hacker News 上有研究者算账,这笔钱可能只够资助几个博士生读几年书,而 AI 公司靠近乎无限的计算资源几小时就能吐出成百上千篇高深手稿,繁重的质检最终扔给了学术共同体。 知乎上一条高赞分析说得更直接:以后若 AI 批量产出重大猜想的候选证明,持续志愿无酬审稿会变成对顶尖学者的隐性压榨。知乎知乎
批改比解题更贵
10 月 6 日那批 722 篇手稿已经给过底线:手稿公开后不久,就有三份因证明中的符号错误被撤回。 剑桥与伦敦国王学院的 Alexander Bastounis、Fabian Circelli、Anders Hansen 三位研究者还指出,自然语言论文与机器代码之间至少存在两处脱节——机器能保证每一步没算错,但保证不了题目没抄错。 更早的纳维-斯托克斯一役账单更直观:约一万个 AI 智能体、88 小时、166 页论文,AI 用了不到四天交卷,人类公布近七周后才开始读懂它的思路。机器之心知乎36氪
所以“钱和算力流向哪些学者”此刻只能答出一半。公开名单那半,是 Impagliazzo、Paturi、Williams 三人加 Gross 的五人组,以及自行接单的数学社区——他们拿到的是独立姿态和公开材料,不是资助;真金白银和算力配额那半,走西蒙斯基金会的评定发放和承诺给 ETH 结果的专题研讨会,受助名单、遴选规则、发放节奏至今都未公开。那份纳维-斯托克斯答卷也能当参照:克雷研究所至今仍把这道题列为“进行中”,OpenAI 也表态不领那 100 万美元奖金——下半场的裁判从一开始就不在 OpenAI 手里。 接下来值得盯的就三件事:西蒙斯基金会的倡议何时上线、挂给谁;ETH 复核何时给出第一份独立结论;杨-米尔斯的 AI 原件在 AGMAI 的连续追问下会不会见光。钱摆在明处之后,这些名单和结论,才是这 500 万美元真正的验收标准。36氪