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

OmniTools 10月27日消息，The Decoder 10月27日报道，OpenAI 已邀请外部专家担任“shepherds”，对其 AI 在计算机科学、数学和物理学领域产出的三项证明结果进行核查。同时，OpenAI 将部分证明翻译成 Lean，以便通过计算机进行逐步验证。相关摘要未披露三项证明的具体内容、核查周期及结论发布时间。