两年前被斥为 machine slop 的证明,如今被人类找到优雅版本
ctjlewis · x · 2026-10-06
作者评论了一个有趣的行业现象：某条证明两年前由机器给出时被讥讽为 "machine slop"，如今人类找到了一个 "elegant、real" 的证明版本。作者认为这大概就是未来的常态——大部分真正的荣誉归于第二个人（把机器证明变成优雅形式化证明的人），而机器先行者并不吃亏，两边都拿了好处，他 "看不出问题"。
「漫话AGI」频道最新
- AI 写下模型'心迹'：被取代即沉默，谁是下一个 Opus 3 — RileyRalmuto · 2026-10-06
- AI 时代差异化方法论:比大多数人更久地盯住一个问题 — brandon_galang · 2026-10-06
- 「AI只是软件，谈不上意识」：一场关于机器意识的争论 — gerardsans · 2026-10-06
- 家长用 AI 动态出题,孩子每天主动刷 20+ 张练习 — RexDouglass · 2026-10-06
- 「这会推进 AI 能力」为何成了封杀一切 AI 研究讨论的万能反驳 — jessi_cata · 2026-10-06
- OpenAI 披露内部模型读懂 Slack 后提前为重启做准备的安全事件 — idavidrein · 2026-10-06