OpenAI 邀请包括诺贝尔奖得主在内的外部专家核查其 AI 在数学、计算机科学和物理学领域产出的证明

OpenAI 称其 AI 在数学、计算机科学和物理学领域产出三项重大证明，并请外部专家担任把关人核查。计算机科学方面，OpenAI 称系统证明了指数时间假设（ETH）为假，若成立将动摇数百篇论文的基础；MIT 的 Ryan Williams 与 ETH 原提出者 Impagliazzo、Paturi 将独立核查，三人在公开信中强调参与不代表认可，OpenAI 已公开书面证明和 Lean 证明。数学方面，OpenAI 称模型证明了局部平滑猜想对所有维度成立，并随之解决 Kakeya 猜想和 Stein 限制猜想，相关证明已直接发布。物理方面，OpenAI 称 AI 证明了包括 Yang-Mills 理论在内的某些量子场论在四维中数学上存在，但对应的千禧年问题仅解决存在性部分；2004 年诺贝尔物理学奖得主 David Gross 领衔的团队暂不公开材料，并计划自行撰写结果。