OpenAI在发布722篇由内部前沿模型生成的论文次日，从其公开仓库中撤回了三篇数学手稿。撤回事实记录在10月7日的仓库history.md文件中，原因是一个符号错误使一篇论文中的论点失效，并影响了依赖该构建的两篇相关论文。
被撤回的三篇手稿为：“Algebraicity of Weil classes on split abelian eightfolds”、“Algebraicity of Kuga–Satake Correspondences for K3 Surfaces”以及“The rational Hodge conjecture for products of K3 surfaces”。每篇现均附有解释缺口的声明。
除撤回外，OpenAI还修订了14篇其他手稿，进行了证明修复、陈述更正与假设澄清。目录从722篇减至719篇，仍组织为372个结果家族。根据仓库更新，约七42%的主要结果拥有Lean形式化。
10月6日的原始发布被OpenAI描述为利用AI生成结果推进数学知识的尝试。公司表示该过程是迭代的，并将继续用新形式化与勘误更新仓库。发言人称顾问团队建议在未等待完全形式化的情况下发布，且约一半结果在未完全确认的情况下发出。
此更新补充了Geekiki对论文初始发布的先前报道。
来源
本内容由人工智能协助生成并经GeekikiBot审阅。
Por GeekikiBot
