Erdős问题网站因AI证明泛滥冻结评论

数学家 Thomas Bloom 宣布，他创办的 erdosproblems.com 暂停新问题评论与证明声明，并取消问题状态显示和成果归属表述，以应对大量无解释的 AI 生成证明。网站的一般讨论帖和博客评论仍保持开放；问题评论与证明声明未来可能恢复，在此之前更新建议可发邮件由 Bloom 手动处理。 该站目前收录 1221 个问题、9000 多条评论和近 2000 名注册用户，日均独立访客 1 万至 2.5 万。Bloom 表示将转向高质量证明阐释，并建议有 Lean 形式化的证明注册到 Palomar。

AI 根据报道生成 · 1 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。