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

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 研究成果安排不同审查路径，形式化检查与专家审查分别承担逻辑核验和问题含义确认。