OpenAI宣布三项科学成果引争议：科研成果为什么要走预印本和同行评议

2026年10月29日讯 据IT之家援引The Verge报道，OpenAI于当地时间周一宣布，在数学、计算机科学和物理学三个领域的重要未解难题上取得进展：数学方面直接公开AI生成的推导内容，由学界自行解读；计算机科学方面将组建外部研究小组负责解读；物理学方面暂不对外公开，交由外部专家团队决定后续发布形式。这种发布方式随即引发不少科研人员的批评。

高等研究院研究员康斯坦丁·科格勒表示，“没有道理一开始只允许少数知名科学家查看内容”。得克萨斯大学奥斯汀分校物理学教授安德烈亚斯·卡赫认为，大型实验室“不该由它们来决定谁有资格参与、谁被排除在外”。数学与人工智能咨询专家组（AGMAI）则建议，AI实验室应将成果上传至学术预印平台，附上形式化证明和选题说明，并敦促OpenAI公开物理学成果对应的文稿与Lean形式化证明。

争议的焦点是什么？

这场争论的焦点并不是AI能不能做研究，而是研究成果应当怎样公开、由谁来检验。现代科学的一个基本规则是：成果要公开接受同行检验，任何有能力的研究者都可以阅读、复核和质疑。预印本平台让成果能够第一时间公开，同行评议则在发表前提供专业把关，两者共同构成了科学共同体的“纠错机制”。

当成果只对少数被挑选出来的人开放时，检验范围就缩小了。正如AGMAI指出的访问不均、遴选偏向、进度推迟的风险，是担心这样的做法损害科学的开放性。

公开、可检验，是科研成果获得认可的前提（插画）

对研究生意味着什么？

这件事离研究生并不遥远。写学位论文、投稿期刊，本质上也是把成果交给同行检验的过程。盲审专家和审稿人看的，不只是结论是否新颖，更是过程是否清楚、证据是否充分、结果能否复核。一篇论文如果只给出结论，却说不清方法和数据，同样难以获得认可。

另一个启示是，越是重要的结论，越要经得起检验。AGMAI要求附上形式化证明，是因为数学证明可以借助Lean这样的工具逐步验证；实证研究附上数据和代码，实验研究写清条件和步骤，道理是一样的。

用AI做研究，同样要可检验

当AI越来越多地参与研究，可检验的要求只会更高。PaperOK科研助手在设计上把每一步做了什么都放在“工作过程”里，检索了哪些文献、运行了什么代码都能展开查看，代码在本机真实运行，脚本可复现。这样，研究者自己能先检查一遍，也能在论文中如实说明AI的作用。研究结论和学术判断，仍由作者负责。

附上数据、代码和推导过程，让结论可以被复核（插画）

常见问题

问：学位论文可以先发预印本吗？

各个学校及期刊的政策不同，有的期刊可以接收发布预印本的稿件，有的则不可以。在发布之前，需要查看学校和期刊的要求。

问：什么是形式化证明？

Lean等证明助手将数学证明转化为可被计算机逐行验证的格式，每步推导均经过程序检查，适用于验证复杂的证明过程。