Erdosproblems.com 因 AI 生成证明涌入暂停问题评论与证明提交

Erdosproblems.com 创始人 Thomas Bloom 宣布暂停新问题评论与证明声明，并取消问题状态显示和成果归属表述，以应对大量无解释的 AI 生成证明。该站目前收录 1221 个问题、9000 多条评论和近 2000 名注册用户，日均独立访客 1 万至 2.5 万。Bloom 表示将转向高质量证明阐释，并建议有 Lean 形式化的证明注册到 Palomar。