# OpenAI 邀请外部专家及诺奖得主审查 AI 生成的数学、计算机科学与物理证明

> 原标题：OpenAI asks outside experts, including a Nobel laureate, to check proofs its AI produced in math, computer science, and physics

- 来源：The Decoder
- 发布时间：2026-10-27T12:37:24.000Z
- AX AI 日报：https://ai-daily.ax0x.ai/items/v17xj7wso9r3sy9ju2x8ob4bt
- 原文：https://the-decoder.com/openai-asks-outside-experts-including-a-nobel-laureate-to-check-proofs-its-ai-produced-in-math-computer-science-and-physics/

## 摘要

OpenAI 邀请外部专家审查 AI 生成的数学、计算机科学和物理证明，参与者包括诺贝尔物理学奖得主 David Gross。公司声称成果涉及推翻指数时间假设（ETH）、解决所有维度的局部光滑猜想，以及建立若干四维量子场论的数学存在性；Yang-Mills 成果仅涉及存在性，不包含质量间隙，不能算完整解决对应的千禧年难题。

## 推荐理由

OpenAI 为三个领域的 AI 研究成果安排不同审查路径，形式化检查与专家审查分别承担逻辑核验和问题含义确认。