OpenAI放出三项数学物理“发现”，这次主动说不要署名

OpenAI 周一一口气公布了三项研究成果，覆盖数学、理论计算机和物理。比成果本身更值得看的，是它换了一套发布方式。

三项内容是：

数学，调和分析里的局部平滑猜想，在所有维度上给出新证明，进而解决了 Kakeya 猜想的相关问题；

计算机科学，宣称“指数时间假说（ETH）为假”；

物理，证明了一类包含四维规范场和费米子的相互作用量子场论的存在性，涉及量子色动力学和标准模型的完备化。

任何一项如果成立，都是领域里的大事。ETH 为假这一条尤其激进，复杂性理论里很多结论都建立在它成立的假设上。

数学部分已经在证明辅助工具 Lean 里做了形式化验证，部分原始数据传到了 GitHub。

新做法是这样：OpenAI 不再为内部模型产出的发现争学术署名，把模型生成的文本定位成“原始研究数据”，然后联系外部专家当“引导者”，各自组队去消化、验证、写成人能读懂的东西。参与者不用签保密协议，可以自由讨论、发中间成果、发表自己的结论，全程自愿、没有报酬。

为什么要改？因为之前吃过亏。9 月 OpenAI 说模型解出了纳维-斯托克斯方程相关问题，学界的批评是用了聊天记录、不展示推导过程。加州理工的“数学马拉松”因为 700 多名学者联署反对，OpenAI 退出了赞助。

菲尔兹奖得主邓煜最近的批评说得更重。他认为 AI 公司一边蒸馏全人类的文献，一边以防蒸馏为由拒绝公开思维链，这说不过去；他还点名某家公司 10 月 6 日一次放出 300 多个问题、700 多篇文章，不公开思维链、不标注沿用了哪些人类思路，部分论文已经撤回。他主张数学界发展自己的开源模型。

这次 OpenAI 的调整，明显是在回应这类声音。但也有人指出一个问题：第一批引导者由 OpenAI 挑选，谁先拿到“原始数据”、谁先发论文，本身就是一种信息优势。

奥特曼前几天在斯坦福说，数学家对 AI 的态度五天走完了“我们完了、愤怒、接受”三个阶段。从邓煜的反应看，至少有一部分人还停在第二阶段。