阴谋论热帖：OpenAI 放出不验证证明意在诱导烧 token

X 上出现一条热门阴谋论：OpenAI 发布未做 Lean 验证的大型数学证明而不附精简验证，目的之一可能是诱导社区花 token 去做形式化验证并消化证明，「第一口免费，后面都要付费」。有作者附和这一尖锐观点，认为发布 slop 证明本身就是一种策略，但该说法仅为猜测，未获证实。

2026-10-08 ~ 2026-10-09 · 2 条相关

• 「先免费吸一口」： slop 证明或是诱导社区消耗 token 验证 — joelwatsonfish · 2026-10-08
• 阴謀论热帖:OpenAI 免费放出不经验证的数学证明,就为让你烧 token — gerardsans · 2026-10-09