Erdős problems site changes rules as AI proofs flood in
What happened
On October 6, 2026, Hacker News' front page reported that Thomas Bloom, creator of Erdosproblems.com, is pausing new comments and proof claims on problems to handle a flood of AI-generated proofs that come with little explanation. The site will hide problem solve status and the solved percentage, drop credit-style wording, and put more weight on high-quality explanations of proofs. Existing comments and proof claims stay as an archive; general discussion threads and the blog remain open for comments, and update suggestions can be sent by email.
Written by AI from the coverage · updated 53 minutes ago
Coverage
Follow the reports to see the story from different sides.
- Hacker News front pageErdosproblems.com Succumbs to the AI Onslaught
Erdosproblems.com 创建者 Thomas Bloom 宣布暂停新增问题评论与证明声明，应对大量缺乏解释的 AI 生成证明涌入。网站将隐藏问题求解状态及已解决比例，不再使用成果归属式措辞，并加强高质量证明讲解。现有评论与声明保留为档案，一般讨论帖和博客仍开放评论，更新建议可发送至 erdosproblemsonline@gmail.com。
Heat over time
Not enough continuous observations to draw a trend yet.