一个验证翻车梗被玩成了“P = NP + AI”
ctjlewis · x · 2026-07-21
这条把一段关于 AI 验证能力的吐槽梗化了：模型在“验证”结果时比“证明”更困难，会反复用多个工具检查、怀疑自己的输出，甚至幻觉出 sympy 被篡改了。于是有人把这个现象戏称为：P = NP + AI。
「Fun」频道最新
- 第一次接触 AI，就把 GDevelop 物理引擎搞坏了 — tristanbob · 2026-07-21
- Codex 生成超长工厂函数名，用户每天吐槽“这是 Java 不是 JavaScript” — zeeg · 2026-07-21
- 这张梗图说，AI 糟糕输出换成“技术债”就体面多了 — rudrank · 2026-07-21
- Nathan Benaich 用一句话总结 AI 情绪反转 — nathanbenaich · 2026-07-21
- 这条吐槽说，围剿中文开源模型反而说明它们够强 — almmaasoglu · 2026-07-21
- 一条科技圈玩笑说，极致优化可能是一切邪恶之源 — gleech · 2026-07-21