The Decoder· Maximilian Schreiner·· 3 小时前AI 评分64
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 形式。
来源：The Decoder · the-decoder.com