OpenAI 请外部专家审阅 AI 在数学、计算机科学与物理领域产出的证明

OpenAI 邀请外部专家担任“shepherd”，审阅其 AI 在数学、计算机科学和物理三个领域产出的证明，并按各领域情况分别处理。计算机科学方面，OpenAI 称其系统证明了指数时间假设（ETH）不成立，若成立，大量依赖 ETH 的图论、计算生物学等论文将失去基础；数学方面，其模型称把 1991 年提出的局部平滑猜想推广到所有维度，并由此推出 Kakeya 猜想与 Stein 限制猜想；物理方面，其 AI 称证明了四维下 Yang-Mills 理论等三类量子场论的存在性，但明确只解决了千禧年难题的存在性部分，未涉及质量间隙。