The Decoder 报道 OpenAI 请外部专家担任"shepherds"核查其 AI 在计算机科学、数学和物理学领域的三项证明结果，并将部分证明翻译成 Lean 供计算机逐步验证。 🔗 阅读原文 via AIHOT · https://aihot.news/items/xuhb122ijbtqkri3h6er2m21y
信息源：AI HOT · 精选
- 原文链接：OpenAI 请外部专家核查其 AI 在数学、计算机科学和物理学领域产出的证明
- 分类：行业动态
- 作者：The Decoder：AI News
- 发布时间：2026/10/27 20:37
评论0