OpenAI 引入包括诺贝尔奖得主在内的外部专家审核 AI 在数学、计算机和物理领域的证明
OpenAI 聘请外部专家作为“牧羊人”，对 AI 在数学、计算机科学和物理学领域生成的证明进行独立审核。在计算机科学方面，OpenAI 声称 AI 证明了“指数时间假设”（ETH）为假，这可能动摇数百篇依赖该假设的论文，MIT 教授 Ryan Williams 与 ETH 提出者组成的团队正在进行未付费的独立核查。
推荐理由：详细拆解了OpenAI在AI证明争议后的审核机制，以及涉及指数时间假设和量子场论的具体数学结果。