Erdosproblems.com 向 AI 洪流妥协
Erdosproblems.com Succumbs to the AI Onslaught
我是 Thomas Bloom，Erdosproblems.com 的创建者。这个网站本意是促进人类对 Erdős 风格数学问题的思考与讨论，却意外成为 AI 能力的试金石。近期，大量无解释的 AI 生成证明涌入，不仅稀释了社区价值，更让许多数学家误以为这类问题已失去探索意义。为了守护人类数学家的思考空间，我决定冻结新的问题评论与证明声明，不再显示问题状态，转而聚焦于高质量的证明阐述。正如 Po-Shen Loh 所言，我们应帮助人类繁荣，而非被工具取代。
正如屠夫旁边不宜开餐厅，AI 证明存储库与旨在推广数学问题、促进人类理解的网站之间必须保持界限。