OpenAI邀请外部专家审校AI产出的三大数学证明

OpenAI邀请包括诺贝尔奖得主在内的外部专家以"shepherd"身份核验其AI在数学、计算机科学和物理领域产出的三项证明，涉及指数时间假证伪、局部平滑猜想及四维量子场论存在性证明，并称已将部分证明翻译为可逐步机检的Lean形式。 各领域处理方式不同：在指数时间假证伪一项上，Williams将与UC San Diego的Russell Impagliazzo和Ramamohan Paturi独立核查并解释该结果，三人明确表示参与不代表认可该结论；该团队暂不公开AI的相关材料，计划自行撰写结果。OpenAI则在公开全部原始数据，包括书面证明和Lean证明。

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

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