# OpenAI 如何与学术社区协作理解 AI 生成的科学成果

> 原标题：Working with academic communities to build scientific understanding

- 来源：OpenAI News
- 发布时间：2026-10-26T00:00:00.000Z
- AX AI 日报：https://ai-daily.ax0x.ai/items/a946devn5gwd07vvua4tp0fta
- 原文：https://openai.com/index/building-scientific-understanding-with-academic-communities

## 摘要

OpenAI 宣布模型在数学、计算机科学和物理领域产出三项研究成果，并邀请外部学者组织独立检验与解释。其称模型给出了所有维度的局部光滑猜想证明、指数时间假设（ETH）的反证，以及包含 QCD 和标准模型统一扩展的四维量子场论存在性证明。

## 推荐理由

OpenAI 为数学、计算机科学和物理成果设置不同的公开与协作方式，将原始模型产出交由学术社区独立检验和解释。

## 锐评

直接把 Lean 形式化证明丢到 GitHub 上，这个做法够硬。做前沿科学最怕模型在自然语言报告里夹杂隐蔽错误，现在数学和计算机这两项敢把形式化代码端出来，编译通不通过全让机器说了算，谁也不用找外部专家搞名气背书。

这种拿编译器当裁判的协作方式我认。只要开源的 Lean 代码能通过类型检查，而且没偷塞假公理，反证 ETH 这个成果就立住了。