OpenAI 撤回三篇 AI 数学手稿，因符号错误影响证明

OpenAI 撤回 openai/math 仓库中三篇涉及霍奇猜想的手稿，主因是首篇关键论证将几何操作符号误写为 +1，导致依赖该构造的另两篇论文失效，仓库手稿总数降至 719 篇。此次更新还修订了 14 篇手稿并新增 6 项 Lean 形式化，目前 300 篇手稿的主结果完成形式化，占比约 42%。