数学梗帖称 Codex 帮忙用 Lean 证伪图论猜想
basedjensen · x · 2026-07-23
这条是典型的 AI 圈数学梗：发帖人说自己和“亲密好友 Codex”一起，靠一个图论构造“证伪”了某个猜想，还顺手让 Lean 检查了一遍。
笑点在于它把一个明显偏玩笑的表述，包装成了异常严肃的数学证明口吻。
「Fun」频道最新
- AI safety 圈没阴谋只有真人：一半人把人生故事全发在 LessWrong — ShakeelHashim · 2026-09-11
- 小女孩把同志婚礼着装解读为「princessmaxxing」萌翻路人 — anderssandberg · 2026-09-11
- 「AGI 已来」vs 现实：AI 实验室做的桌面应用依然又糙又卡 — MilesCranmer · 2026-09-11
- 「革命将受 token 上限约束」:一句梗道尽上下文窗口之苦 — AIandDesign · 2026-09-11
- 从业者共鸣:怀念应用的人工手艺、人类写作与技术争论 — vboykis · 2026-09-11
- 「见到卖课大师就霸凌到他退网」:伪禅宗语录讽刺 X 卖课潮 — DionysianAgent · 2026-09-11