Erdős 问题网站关掉评论区：AI 证明太多，人没法讨论

一个数学网站的评论区，最后变成了 AI 证明的公告栏。站长关掉它的理由，不是反对 AI，是不想再经营一个证明仓库。

一、发生了什么

10 月 6 日，erdosproblems.com 的创建者 Thomas Bloom 发文宣布改版。这个站点 2023 年 5 月上线，最初收录 200 多道 Erdős 问题；2025 年 8 月加上评论功能后，社区活动迅速升温，随后 AI 生成的证明开始占据主流。

现在的规模是：1221 道问题，9000 多条评论，近 2000 名注册用户，每天独立访客 1 万到 2.5 万。Bloom 的说法是，网站收到的「绝大多数」评论，都是有人在宣布一个 AI 生成的证明，常常不作任何解释，只是抢一个越来越没有意义的优先权。

他做了四件事：

第一，暂停问题评论和证明声明。一般讨论和博客仍可评论，更新建议改成发邮件，由他手工处理。

第二，不再显示任何问题的状态。所有问题用同一种中性颜色，撤掉「已解决数量」和「解决百分比」。

第三，不再用署名和所有权语言。相关结果仍然记录，但不再写「某人证明了」，改成「已知……」并附上证明讲解的链接。

第四，把重点移回证明讲解。鼓励人写高质量的阐述，正在探索线上研讨会这类激励方式，也鼓励把 Lean 形式化提交到 Palomar 验证。

暂停多久，他没说，只表示会观察接下来几周几个月的变化。

二、跟你有什么关系

做学术工具的人。 这是第一个公开承认「审核撑不住」的知名数学站点。批量生成的成本降到接近零之后，靠人工筛选的社区结构会先崩。

用 AI 做数学的人。 提交渠道没有消失，但「扔一个 PDF 上去占坑」这条路被堵了。要留下东西，得给解释、给形式化、给可复现的验证。

看学术评价体系的人。 当「已解决」这个标签可以被批量制造，它就失去了信号作用。撤掉标签，本质是撤回一种激励。

三、怎么判断一个平台会不会走到这一步

1. 看提交成本。 如果发一条评论只需要粘贴，数量一定先于质量爆发。加一个「必须附验证链接」的门槛，能挡掉大部分。
2. 看状态标签怎么给。 人工确认、可撤销的标签还能用；自动或自我声明的标签，迟早被刷。
3. 看有没有并行的验证通道。 这个站把 Lean 形式化指向 Palomar，等于把「声称」和「验证」分开。分开之后，声称不再值钱，验证才值钱。
4. 看站长有没有退出机制。 能暂停、能改规则、能承认撑不住，比硬撑更可持续。

四、三个别信的说法

「这是数学界在排斥 AI。」 Bloom 明确说，AI 仓库可以有，只是不该由这个站来当。他反对的是无解释的抢占，不是工具本身。

「关掉评论等于问题不能再被解决。」 证明仍然可以被发表、被形式化、被讨论。消失的是一个公共的、即时的、谁都能贴的公告板。

「AI 生成的证明大多是对的，所以没关系。」 对错不是唯一问题。没有解释的证明，别人无法学习、无法检查、无法接着做。数学的价值不只在结论，还在可传递的推理。

五、一句话结论

当生成证明比读懂证明便宜，平台的稀缺资源就从「答案」变成了「解释」；谁能让解释变得可验证，谁就接住了下一阶段的学术协作。

信息来源

• erdosproblems.com：Thomas Bloom 的站点改版公告（2026 年 10 月 6 日）

功能与价格以官方公告为准。本文写于 2026 年 10 月 18 日。