为什么数学圈叫可验证,别的领域叫 slop

RexDouglass · x · 2026-07-23

Rex Douglass 说,数学圈通常不会把 AI 输出叫作“slop”,因为它大多是可验证的——尤其是反例、证明这类东西很容易被检验。

他的讽刺点在于:其他领域之所以更爱把 AI 输出叫 slop,是因为:

所属事件:AI 时代的真伪验证成本决定内容质量评判(3 条相关)→

原文链接 →

「Fun」频道最新

更多「Fun」频道 AI 资讯 →