Hacker News · AI· pfdietz·· 28 日前厳選AI スコア73
Erdosproblems.com 因 AI 证明泛滥暂停题目评论并隐藏解决状态
Erdosproblems.com Succumbs to the AI Onslaught
未翻訳のため中国語で表示しています。
AI ガイド
Erdosproblems.com 创办者 Thomas Bloom 宣布暂停网站的题目评论与证明提交，以应对大量缺乏原理解释的 AI 生成证明对数学社区的冲击。
推薦理由
原文展现了自动化证明工具对学术讨论生态的真实冲击，有助于反思人机协作中符号验证与人类理解的边界。
出典：Hacker News · AI · erdosproblems.com