每天听简报，了解最新科技、AI、软件资讯
OpenAI 撤回了三篇数学稿件，原因是一个符号错误破坏了核心论证，并牵连两篇依赖它的论文。十月七日的官方更新记录说明，出错的是分裂阿贝尔八维簇上的一项研究，其中的消去论证失效。这次撤回针对证明中的缺口，没有宣告相关猜想已经被推翻。仓库保留了撤回稿的归档链接和说明，同时修订另外十四篇稿件的论证、假设或引用。官方还报告，七百一十九项主要结果中，三百项已完成形式化，不能把整个仓库一概视为经过形式化核验。
进度保存在本设备 · 登录同步