Erdős 站冻结 AI 证明声明

Erdős 问题站（erdosproblems.com）站主 Thomas Bloom 发文说明改版。站点 2023 年 5 月上线时只有 200 多道题，现在有 1221 道题、9000 多条评论、近 2000 名注册用户，日均独立访客 1 万至 2.5 万。他原本想做的是把这些问题推荐给人类、并记录人类已经走到哪一步；但最近几个月，人们公开使用站点的主要方式变成了张贴 AI 生成的证明，"往往不做任何解释，只为记录一个越来越没有意义的首发声明"。

改动有四条：冻结问题评论与证明声明（普通讨论线与博客帖仍开放，更新建议改为邮件提交、由他手工维护）；不再显示任何问题的状态（open、solved 等一律中性色，已解数量与百分比一并撤下）；不再用"谁先做出"这类归属语言描述结果，无论来自人还是 AI；重心移到高质量证明阐释，鼓励投稿，并探索在线讨论班等形式。

他的判断是：记录 AI 生成证明——哪怕是纯形式化、没有人理解的证明——的仓库应该有，也确实已有若干候选，但这类仓库不该和"把问题讲清楚、呈现人类理解现状"的站点混在一起。他用一句"没人会在屠宰场里开餐厅"说明这个分离，并提到这个站点这两年意外成了衡量 AI 能力的一把尺子，而那不是他建站的初衷。

原文链接：Erdős Problems 官方博客