Hacker News · AI· pfdietz·· 5 小时前精选AI 评分73
Erdosproblems.com 因 AI 证明泛滥暂停题目评论并隐藏解决状态
Erdosproblems.com Succumbs to the AI Onslaught
AI 导读
Erdosproblems.com 创办者 Thomas Bloom 宣布暂停网站的题目评论与证明提交，以应对大量缺乏原理解释的 AI 生成证明对数学社区的冲击。
推荐理由
原文展现了自动化证明工具对学术讨论生态的真实冲击，有助于反思人机协作中符号验证与人类理解的边界。
来源：Hacker News · AI · erdosproblems.com