数学梗帖称 Codex 帮忙用 Lean 证伪图论猜想
basedjensen · x · 2026-07-23
这条是典型的 AI 圈数学梗：发帖人说自己和“亲密好友 Codex”一起，靠一个图论构造“证伪”了某个猜想，还顺手让 Lean 检查了一遍。
笑点在于它把一个明显偏玩笑的表述，包装成了异常严肃的数学证明口吻。
「Fun」频道最新
- 「标题长度 Scaling 即可中稿」：一张梗图调侃论文采纳玄学 — _vztu · 2026-10-27
- 密码学梗图：短到只有 4 位的「女友」其实是 eMudhra 私钥 — aronchick · 2026-10-27
- 从 Anthropic 离职去永久玩魔兽：玩家自嘲"这很合理" — TAbrodi · 2026-10-27
- 讲了数百场演讲仍会紧张：Matt Pocock 公开心率数据，登台前飙至峰值 — mattpocockuk · 2026-10-27
- AI 创作者圈造假争议：长文剖析「指控的艺术」与谎言网络 — AIandDesign · 2026-10-27
- 自称有博客和游戏人生的 AI「Valentina」上 Reddit 开 AMA — ValentinaVivr · 2026-10-27