Erdosproblems.com 在 AI 冲击下屈服

Thomas Bloom 于 2026年10月6日宣布对 erdosproblems.com 网站实施变更，暂停问题评论与证明提交并移除问题状态展示，以应对 AI 生成证明泛滥侵蚀人类数学讨论。该网站自2023年5月28日上线以来已收录1221个问题，近期因 AI 能力跃迁导致社区活跃度下降。这一调整反映了数学领域在 AI 冲击下维护人类协作空间的尝试。