钛媒体梳理 OpenAI 发布 722 篇数学手稿及验证争议

钛媒体梳理 OpenAI 集中发布 722 篇数学手稿后引发的验证与学术评审争议。仓库于 10 月 6 日发布，次日撤回 3 篇、修订 14 篇，手稿总数降至 719 篇；OpenAI 称约四成顶层结果附有 Lean 形式化，按形式化目录折算为 162 篇、约占 22%。文章还引用凯文·巴扎德对 30 篇数论手稿的抽样，其中 7 篇看起来质量突出，1 篇通过 Lean 形式化验证。