一个符号错误的连锁反应
OpenAI撤回了3篇数学手稿并修订了14篇，原因是在其数学论文库中发现了一个符号错误。该错误出现在关于分裂阿贝尔八重簇Weil类代数性的论文中，导致一个稳定化-迹消去论证失效，并拖垮了两篇相关的K3曲面和有理Hodge猜想论文。
形式化占比降至42%
OpenAI同时新增了6个形式化证明，使其719个顶级问题中形式化成果达到300个，占比约42%。这一事件凸显了AI生成数学证明的脆弱性：即使是单个早期错误，也可能在依赖图中引发连锁反应。
学术审查负担争议
集合论专家Asaf Karagila批评OpenAI声称Partition Principle不蕴含选择公理的预印本「不清晰、混乱、结构怪异」，并警告向仓库倾倒大量未经审查的自动预印本，会把不合理的验证负担转嫁给领域专家，尤其是伴随大量Lean代码库时。