能。而且门槛已经低到几乎没有。这批 AI 生成的数学手稿全部放在 OpenAI 公开的 GitHub 仓库 openai/math 里，OpenAI 自己把它们定义为一种“原始研究数据”，而不是打磨好的论文。10 月 26 日，OpenAI 在公布三项新成果的同时宣布四项合作原则，其中最核心的一条是：内部模型产出的发现，它一概不要学术署名；邀请研究者协助管理合作，也不意味着这些人做出了最初的发现。不过，门开着指的是“阅读、验证、接着做”的那扇门，不是“直接把结论拿来用”的那扇——哪些结果已经机器检验过、哪些还带问号，恰恰是使用前要先查的部分。GitHub知乎
“不争署名”到底写了什么
四项原则是透明、不取学术署名、署名认可、独立性：外部成员自愿无酬参与，不签保密协议，可以自由讨论进展、发表自己的结论，OpenAI 不借模型发现替自己抢署名，而团队要为自己做出的解释和整理获得认可。GitHub 仓库的说明里还有一句更干脆的话：署名、优先权、并行工作的归属，完全交给数学社区来判断。这对普通研究者其实是个反向提醒——OpenAI 放弃署名，不等于发现成了无主之物、谁先搬走算谁的。签名只能落在你真正完成的核验、解读、方法提炼和后续开发上；至于“这个定理最初是谁证的”，数学界自己还没吵完。36氪GitHub
“直接用”的入口确实打开，路线写在仓库里
10 月 6 日首批发布时，OpenAI 一次性公开了 722 篇 AI 生成的数学手稿、372 个成果组，横跨数论、几何、代数、理论计算机科学等多个领域。论文、证明文件、结果目录连同部分模型推理摘要一起进了仓库；当前 README 的目录已更新为 721 篇手稿、373 个成果族，preprints 目录里连每篇手稿的引用说明和构建说明都准备好了——本地跑 Lean、对照形式化定理与原猜想是否一致，都是普通研究者做得动的验证。知乎GitHub
10 月 26 日的三项新成果，给了三种不同的“用”法。数学结果（所有维度的局部光滑化猜想，连带解决挂谷与 Stein 限制猜想）没有指定先行审查小组，研究者可以直接进入公开材料，自行组织解释和复核。计算机科学结果（被相信近三十年的指数时间假设 ETH 被否证）公开了 AI 产出，供任何人审阅并在此基础上继续工作，由 ETH 的原提出者 Impagliazzo、Paturi 和 MIT 的 Williams 领衔独立审查。36氪知乎
物理学那一项（含 QCD 的四维量子场论存在性，纯 Yang–Mills 是其子问题）则暂时不同：专家组选择先整理成自己的文本再决定发布，这批原始 AI 输出没有公开，“直接拿去用”对它还不成立。资金也在跟上：OpenAI 承诺资助独立审查，并向西蒙斯基金会的相关计划投入 500 万美元，用于研讨会、学术会议和研究项目。36氪
能用的是材料，不能直接当结论用的是“已证”
纳维–斯托克斯这道千禧难题是最好的对照样本。这份约 166 页的证明由上万个 AI 智能体协作写成，AI 完成它用了不到 4 天，公布近 7 周后，人类才开始读懂它的思路。验证进度同样摆在那里：截至 10 月 7 日，仓库中保留的 719 篇手稿中约 42% 的主要结论完成了形式化验证，剩下的大头仍要人来查。36氪知乎
机器检验也有边界：Lean 能保证每一步推理没有算错，保证不了“题目没抄错”。Bastounis 等三位研究者的预印本恰好就出在这条缝上，指出 NS 原稿与 Lean 版本的部分陈述和推导存在差异，但他们没有判断文字证明本身对错。首批手稿后来因符号错误撤回了 3 篇、修订了 14 篇；克雷研究所至今把 NS 问题列为“进行中”，OpenAI 也明确表示不打算领取那 100 万美元奖金。另一位研读“唯一博弈猜想”手稿的研究者说得更直白：论文极其晦涩，必须借助 AI 工具才能勉强读下去。36氪
署名让出来了，规范还在长
能不能用，最终还取决于学术共同体认不认。10 月 7 日，陶哲轩在博客转载“人类数学协会”（AHM）的声明，其中流传最广的那句是：一次性发布 700 多份手稿，展示的不是学术研究，而是权力。更早的 9 月，他与另外 24 位菲尔兹奖得主已联名公开信，警告这批发布正在让数学研究偏离原本的目标。知乎
所以此刻这些手稿的准确定位是：可以下载、可以引用、可以在上面做验证性研究；已经形式化的结果可以放心当线索往下追，未经形式化的结论必须自己查过才写进论文。OpenAI 把署名让了出来，把目录、许可证和 500 万美元都摆上了桌，剩下的缺口只有一个——把 722 份“原始研究数据”变成下一位研究者能安心接着用的知识，仍然需要人类的时间。
