Erdosproblems.com 因 AI 生成证明泛滥暂停评论并移除状态显示

Erdosproblems.com 创始人 Thomas Bloom 宣布暂停问题评论和证明声明功能，同时移除所有问题的解决状态显示，以应对 AI 生成的无解释证明淹没社区讨论的现象。该网站自 2023 年上线以来已积累 1221 个问题、9000 条评论和近 2000 名注册用户，日均访客量在 1 万至 2.5 万之间，但近期大量用户仅发布形式化证明而无人类理解过程，导致原本活跃的协作氛围衰退。

Bloom 指出，虽然 AI 确实帮助解决了一些数学难题，但当前交互模式已演变为“优先权争夺”而非知识交流，许多数学家因此放弃思考此类问题或将其视为“娱乐性”工作。新政策将不再使用归属语言描述未来解决方案，转而鼓励高质量的人类证明阐述（exposition），并优先展示配有 Lean 形式化验证且逻辑清晰的成果。对于无法通过 arXiv 发表的非传统学者，平台将链接其正确形式化结果，但拒绝收录存在学术不端或缺乏解释的提交。

这一调整反映了 AI 工具在特定垂直领域引发的结构性矛盾：当自动化产出速度远超人类消化能力时，维持社区价值需牺牲部分信息透明度。事实层面，网站将保留现有评论作为档案，但不再更新问题状态；推断层面，此举可能促使更多证明直接流向专用存储库而非综合社区；猜测层面，若缺乏替代机制，类似“游戏化”行为可能在其他学术平台重演。Bloom 强调，数学应是人类活动，而非单纯与 AI 交互的按钮点击过程。