Erdős问题网站的变更
内容提要
数学家Thomas Bloom撰文讨论Erdős问题网站的变化。近一年AI从无用变为能解决难题，网站成为衡量AI能力的标尺。大量AI生成的无解释证明涌入，导致人类讨论减少。他决定暂停评论和证明提交功能，不再标注问题是否解决，也不再强调成果归属，以遏制刷题式炫耀。他呼吁保持数学作为人类活动，用AI但别放弃思考与交流。
延伸解读
AI 冲击下的数学社区困境
文章指出，AI 在不到一年内从对数学几乎无用变为能帮助解决一些最困难的问题，这使 Erdős 问题网站成为衡量 AI 能力的标尺。但大量无解释的 AI 生成证明涌入，挤占了人类讨论空间，导致许多原本活跃的数学家停止思考这些问题，甚至有人将 Erdős 式数学贬为“简单/娱乐性”工作。这种变化不仅影响该网站，也正蔓延到更广泛的数学领域。
网站调整的核心逻辑
Thomas Bloom 决定暂停评论和证明提交功能，不再标注问题是否解决，也不再强调成果归属。这些措施旨在遏制刷题式炫耀和“OPEN→SOLVED”的多巴胺刺激，避免网站沦为 AI 证明仓库。他引用 Po-Shen Loh 的准则，强调网站应帮助对 Erdős 式数学感兴趣的人类社区繁荣，而非服务于无人类理解的证明记录。
对数学研究方式的启示
文章提醒读者，数学的价值不因某个形式证明的出现而终结。Erdős 的问题应作为人类好奇心的持久灯塔，而非一次性解决的竞赛。Bloom 鼓励人们按主题浏览问题，即使已解决也继续探索，因为每个答案都会衍生新问题。他呼吁使用 AI 但不要放弃思考与交流，保持数学作为人类活动的本质。
Q&A
Erdős问题网站最近发生了什么变化？
网站暂停了评论和证明提交功能，不再标注问题是否已解决，也不再强调成果归属，以遏制刷题式炫耀。
为什么Erdős问题网站要暂停评论和证明提交？
因为大量AI生成的无解释证明涌入，导致人类讨论减少，网站变成了AI证明的展示平台，偏离了促进人类数学交流的初衷。
AI对Erdős问题网站产生了哪些影响？
AI从无用变为能解决难题，网站成为衡量AI能力的标尺；大量AI生成的无解释证明涌入，导致人类讨论减少，一些数学家认为无法与AI竞争而停止思考。
网站创建者Thomas Bloom对AI在数学中的使用持什么态度？
他呼吁保持数学作为人类活动，用AI但别放弃思考与交流；鼓励人们找到有意义的问题，与他人讨论，享受数学过程。
网站变更后，用户还能提交证明吗？
网站暂停了证明提交功能，但会链接到正确的形式化证明和高质量论文，无论来源；鼓励人们自己仔细撰写证明，而不是让AI生成PDF。
为什么网站不再标注问题是否已解决？
为了阻止那些仅仅为了追求OPEN->SOLVED快感而刷题的人，避免人们从‘解决率’中得出错误结论，并强调许多问题即使被解决也仍有继续研究的价值。
