OpenAI发布科学模型结果引发ETH证伪争议

OpenAI 宣布在数学、计算机科学和物理领域取得三项重大突破，并将相关成果发布至 GitHub。其中，计算机科学的成果声称证伪了指数时间假设（ETH），物理学成果则涉及四维相互作用量子场论的严格存在性证明。这些发现并非由 OpenAI 独立完成，而是引入了外部专家作为“引导者”或独立工作组进行验证和解释。 具体细节显示，针对 ETH 证伪的结果，OpenAI 邀请了包括 Russell Impagliazzo、Ramamohan Paturi 和 Ryan Williams 在内的三位专家组成的独立工作组进行审查，并公开了 AI 生成的输出和 Lean 形式化证明。数学领域的局部平滑猜想证明也直接发布了模型输出，供研究人员自行解析。然而，文章同时指出，OpenAI 此前建立的 AGMAI 顾问小组刚刚建议其他 AI 公司不要采用指定特定人员优先获取输出的做法，理由是这会导致访问不平等、声誉借用和选择偏差等问题。相反，AGMAI 推荐未来应通过学术存储库发布带有 Lean 形式化证明的输出，并提供关于问题选择和资金支持的详细信息。 这一事件反映了 AI 在基础科学研究中的角色转变，从单纯的工具提供者转变为需要建立复杂验证和协作机制的合作伙伴。OpenAI 试图通过引入外部专家来增强其发现的公信力，同时也面临着如何平衡开放共享与质量控制、如何界定 AI 生成成果的归属权等挑战。虽然目前的具体科学结论仍需进一步验证，但这种新的合作模式可能成为未来 AI 科研的重要范式。

OpenAI 发布了关于 Kakeya 猜想、指数时间假设和量子色动力学的模型结果，并说明研究人员如何验证与构建这些成果。该举措旨在促进学术界利用 AI 生成内容进行科学理解与验证工作。