RecodeX 重构消息，OpenAI在公开722篇AI数学手稿后，因其中一篇涉及霍奇猜想的关键论文出现正负号书写错误，撤回了3篇相关手稿，并修订14篇手稿、更新13篇的引用，手稿总数由722篇降至719篇。

此次撤稿仅针对证明本身，相关命题未被判定为错误，原稿仍可查看，霍奇猜想相关成果族的核心结论范围也作了调整。

目前已有300篇手稿的主结果完成Lean形式化，约占总数的42%，被撤回和实质修订的内容几乎都属于尚未完成Lean形式化的部分。