OpenAI邀外部专家核查AI数学物理论证

OpenAI 邀请外部专家担任“shepherd”，分别核查其 AI 在数学、计算机科学和物理领域产出的证明，并按各领域专家的建议采取不同处理方式。数学与计算机科学的证明已被翻译成 Lean，但 Lean 只校验证明是否成立所写的命题，命题本身是否对应原问题仍需专家判断。 据 Williams 称，该专家组未签保密协议、无报酬工作，并计划边核查边公布阶段性发现。应专家组要求，OpenAI 正在公开全部原始数据，包括书面证明和 Lean 证明；物理组则暂不公开 AI 材料，计划自行撰写结果。OpenAI 另承诺向 Simons 基金会提供 500 万美元，用于资助有关 AI 成果的研讨会和会议。

AI 根据报道生成 · 2 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。