Hacker News · AI· pfdietz·· 28 days agoSelectedAI score73
Erdosproblems.com 因 AI 证明泛滥暂停题目评论并隐藏解决状态
Erdosproblems.com Succumbs to the AI Onslaught
Not yet translated; shown in Chinese.
AI guide
Erdosproblems.com 创办者 Thomas Bloom 宣布暂停网站的题目评论与证明提交，以应对大量缺乏原理解释的 AI 生成证明对数学社区的冲击。
Why it matters
原文展现了自动化证明工具对学术讨论生态的真实冲击，有助于反思人机协作中符号验证与人类理解的边界。
Source:Hacker News · AI · erdosproblems.com