AI写的722篇数学论文，三天变719篇：到底验证了多少？撤回、Lean覆盖率口径、检查漏洞一次讲清

剧情简介

来源：哔哩哔哩（Bilibili）。热搜关键词：怎么看OpenAI数学论文撤稿。分类：影音娱乐。分区：校园学习。10 月 6 日，OpenAI 在 GitHub 公开了 722 篇由未发布内部模型写的数学稿件；三天后仓库里变成了 719 篇。本期不聊“AI 有多神”，只算一本验证账：撤回了几篇、多少经过 Lean 机器验证（官方 42% vs 按稿件数 22%~24%，口径不同）、以及“Lean 通过 ≠ 论文正确”的两个新案例。 00:00 722 → 719：少掉的 3 篇去哪了 00:21 官方怎么说：372 个结果族、约 4000 道题、平均≈3 小时 Pro 算力 00:43 第一笔账：1 处符号错误，本站不提供在线播放与视频下载，仅作信息导航。