陶哲轩（2026 国际数学家大会）：「AI 高速生成证明、人类来不及验证理解」的状态，是证明消化不良。数学求解可分为证明生成、验证、消化等环节——前两者正被 AI 加速，消化仍依赖人类节奏，二者之间出现了明显的脱节。
这个模拟器想说明什么？
1️⃣ 默认参数（100 vs 10）跑满一年，积压接近 5000 篇——这就是 OpenAI 722 篇手稿只是「开胃菜」的原因：它们未经同行评审，数万页成果等着核验；
2️⃣ 撤稿随时发生：OpenAI 曾在发布次日因一个 +1/-1 符号错误撤回 3 篇霍奇猜想手稿——生成快，错得也快；
3️⃣ 把消化速率拉到 40+ 试试：积压可控的前提是人类生产力本身也被 AI 武装起来（形式化验证、AI 辅助审稿）——这正是丘成桐实验室联盟和《莱顿宣言》要解决的问题。