OpenAI 请外部专家核查 AI 在数学、计算机科学和物理学中的证明成果

OpenAI 请外部专家核查其 AI 在数学、计算机科学和物理学领域产出的证明，涵盖 ETH 假设、全维度局部平滑猜想以及四维量子场理论存在性。公司已将数学和计算机科学证明转为 Lean，数学领域也公开了证明文本；Yang-Mills 证明则交由专家组独立撰写说明，OpenAI 另承诺向 Simons Foundation 资助 500 万美元，用于支持 AI 研究结果的研讨会和会议。