用户调侃 Codex 三小时还没证明出这个定理
vxnuaj · x · 2026-07-25
有人调侃：Codex 都过去 3 个小时了，还没把这个定理证明出来。
- 笑点在于把 AI 编程工具当成“万能证明机”，结果却卡在数学证明上。
- 这是那种很典型的 AI 圈段子：既有一点荒诞感，也能让人会心一笑。
「Fun」频道最新
- 一个 Web3 网站晒出 96/100 的 ROOTCRAK 安全分 — Thionne_WTZ · 2026-07-25
- 把 Emeril 派去每家前沿 AI 公司现场表演 — Miles_Brundage · 2026-07-25
- Claude 提到 1€ filter，结果竟然是真的 — GoddenThomas · 2026-07-25
- 这张AI艺术梗图说：问题不在工具，在创作者 — Automatic-Algae443 · 2026-07-25
- 一句吐槽称不懂数学就用 AI 找证明很“掉价” — zetalyrae · 2026-07-25
- AI 数学梗图：总能找到数学家漏掉的反例 — rickasaurus · 2026-07-25