openai/math仓库在论文《分裂阿贝尔八维簇上Weil类的代数性》中发现符号错误后,撤回了三篇手稿。该错误使一个稳定化迹抵消论证以及两篇相关论文所用的一个构造失效。被撤回的手稿包括《分裂阿贝尔八维簇上Weil类的代数性》、《K3曲面的Kuga–Satake对应的代数性》以及《K3曲面乘积的有理Hodge猜想》。目前每篇手稿都附有说明,解释其中的缺漏,并链接到存档的手稿。
另有十四篇手稿进行了修订,包括证明修补、更正的陈述、更清晰的假设和依赖关系,以及对一处过时引用的更正。关于Lipschitz高度和Ashkin–Teller流的四篇论文修复了交叉、边界附着、条件化和收敛论证。关于Kähler极小模型纲领和丰度的六篇论文扩展了正性和收缩论证。关于辛化和超辛形变的两篇论文修正了锥相等的论断,并增加了一个严格包含的例子。
另外十三篇手稿更新为引用配套论文的修订版,相应更改了引用和版本日期。之前发表的版本仍可通过各README中的版本说明访问。
该仓库还新增了六项形式化证明和五项其他辅助性补充。目前顶层结果中已形式化的比例达到300/719,约42%。
来源: Hacker News · 由HeadlinesBriefing整理摘要