RecodeX 重构消息，OpenAI已邀请外部专家担任“shepherds”，对其AI在计算机科学、数学和物理学领域产出的三项证明结果进行核查，并将部分证明翻译成Lean语言，以便计算机逐步验证。