OpenAI 请外部专家核查其 AI 在数学、计算机科学和物理学领域产出的证明

导读

The Decoder 报道 OpenAI 请外部专家担任"shepherds"核查其 AI 在计算机科学、数学和物理学领域的三项证明结果，并将部分证明翻译成 Lean 供计算机逐步验证。