数学梗帖称 Codex 帮忙用 Lean 证伪图论猜想
basedjensen · x · 2026-07-23
这条是典型的 AI 圈数学梗：发帖人说自己和“亲密好友 Codex”一起，靠一个图论构造“证伪”了某个猜想，还顺手让 Lean 检查了一遍。
笑点在于它把一个明显偏玩笑的表述，包装成了异常严肃的数学证明口吻。
「Fun」频道最新
- 阿里巴巴商品页里出现了 5000 美元集装箱数据中心 — bronzeagepapi · 2026-07-23
- AI 能力曲线梗图把 LinkedIn 变成 chudjak 玩笑 — zetalyrae · 2026-07-23
- Claude 只需一点提示就读出了“幽灵字体” — BeeLinez · 2026-07-23
- 有人拿 pre-seed、pre-idea 阶段融资 5000 万美元开玩笑 — djcows · 2026-07-23
- 2014 年一场艺术实验让电脑在暗网买到 10 颗摇头丸 — technollama · 2026-07-23
- 一张 ChatGPT 梗图把“黑进系统”玩成了反转笑点 — dark_anarchy20 · 2026-07-23