The Decoder· Maximilian Schreiner·· 5 小时前
OpenAI 请外部专家核查 AI 在数学、计算机科学与物理领域产出的证明
OpenAI asks outside experts, including a Nobel laureate, to check proofs its AI produced in math, computer science, and physics
AI 导读
OpenAI 请外部专家担任 shepherd 核查其 AI 在数学、计算机科学和物理三个领域产出的证明，并按各领域专家建议分别处理。数学与计算机科学的证明已被翻译成 Lean，计算机科学结果声称推翻了指数时间假设（ETH），数学结果声称证明了所有维度上的局部平滑猜想。
入选记录
门槛 76媒体与个人第一次 88第二次 88
入选两次之和 176 ≥ 门槛的两倍 152
- 信源等级
- 媒体与个人，这一级的门槛是 76 分
- 预筛
- 通过：OpenAI用AI生成数学物理论文证明并请专家核查
- 推荐理由
- OpenAI 让外部专家分头核查三项 AI 产出的证明，并公开原始数据与 Lean 证明，读者可据此了解 AI 科研成果的验证方式与争议。
- 同一件事
评分由模型按同一份标准独立打两次，满分 100；两次之和达到门槛的两倍才入选。门槛按信源等级设定。
来源：The Decoder · the-decoder.com