The Decoder：AI News·· 7 天前同新闻AI 评分79
OpenAI 请外部专家核查其 AI 在数学、计算机科学和物理学领域产出的证明
OpenAI asks outside experts, including a Nobel laureate, to check proofs its AI produced in math, computer science, and physics
AI 导读
The Decoder 报道 OpenAI 请外部专家担任"shepherds"核查其 AI 在计算机科学、数学和物理学领域的三项证明结果，并将部分证明翻译成 Lean 供计算机逐步验证。
同一新闻，精选展示《OpenAI 宣布 AI 模型取得三项科学突破，涉及局部光滑猜想、指数时间假设与杨–米尔斯理论》
来源：The Decoder：AI News · the-decoder.com