搜索
OpenAI 撤回三篇 AI 数学论文，原因是符号写错
7 小时前
OpenAI此前发布了722篇AI数学手稿，后因一篇涉及霍奇猜想的关键论文出现正负号错误，连带撤回了3篇相关手稿，修订了14篇，更新了13篇的引用，手稿总数调整为719篇。此次撤稿仅针对证明过程，相关命题本身未被判定为错误，原稿仍可查阅，原霍奇猜想相关成果族也调整了核心结论范围。目前，已有约42%（300篇）的手稿主结果完成了Lean形式化，被撤回和实质修订的内容几乎都来自未做Lean形式化的部分。
