为什么数学圈叫可验证,别的领域叫 slop
RexDouglass · x · 2026-07-23
Rex Douglass 说,数学圈通常不会把 AI 输出叫作“slop”,因为它大多是可验证的——尤其是反例、证明这类东西很容易被检验。
他的讽刺点在于:其他领域之所以更爱把 AI 输出叫 slop,是因为:
- 人类在这些领域里的产出本来就很乱
- 评价标准本身也很乱
所属事件:AI 时代的真伪验证成本决定内容质量评判(3 条相关)→
「Fun」频道最新
- Claude 和 Grok 共同操盘 22 人 RimWorld 殖民地 — omnivaughn · 2026-07-23
- 梗图调侃“全世界顶级专家都漏掉的信息” — Aizkmusic · 2026-07-23
- Gaussian splats 现在已经能做成可 3D 打印实体 — jxnlco · 2026-07-23
- “Aura farming goes crazy”:一句话接住回归名场面 — beffjezos · 2026-07-23
- AI巨头算力大乱斗:Sam最稳,Elon靠收购Cursor续命 — iruletheworldmo · 2026-07-23
- “Off-policy 是新的 on-policy”成了强化学习圈梗 — mrdrozdov · 2026-07-23