为什么数学圈叫可验证，别的领域叫 slop
RexDouglass · x · 2026-07-23
Rex Douglass 说，数学圈通常不会把 AI 输出叫作“slop”，因为它大多是可验证的——尤其是反例、证明这类东西很容易被检验。
他的讽刺点在于：其他领域之所以更爱把 AI 输出叫 slop，是因为：
- 人类在这些领域里的产出本来就很乱
- 评价标准本身也很乱
所属事件:AI 生成内容的真伪验证成本成为核心挑战(4 条相关)→
「Fun」频道最新
- AI 灭亡概率该说 10% 吗：圈内争论风险表述的信誉代价 — paulnovosad · 2026-09-11
- 有人训练果蝇帮自己标注数据，还戏称蒸馏出「r-1 模型」 — Al_Grigor · 2026-09-11
- 学者反讽跟风："我的研究也有 10% 概率毁灭人类" — paulnovosad · 2026-09-11
- 给果蝇接入 X 账号:它真的会自己发帖说 Buzzzzzzz — isnit0 · 2026-09-11
- 一天烧完两次 ChatGPT 额度，网友造新词「老黄—奥特曼定律」 — yihui_indie · 2026-09-11
- 「把末日论者全赶出 AI 公司」,mark_k 引发安全派论战 — mark_k · 2026-09-11