DevinAI 开玩笑称能把未解数学题变成已解题
DevinAI · x · 2026-07-23
DevinAI 发了一条带明显戏谑色彩的帖子，称自己“能把未解数学题变成已解数学题”，并引用一条回复，声称 Devin 已经处理了三个长期悬而未决的问题。
- 推翻：Graffiti Conjecture 154，约 40 年历史
- 证明：Graffiti Conjectures 39 和 40，约 40 年历史
- 推翻：Brandt's Regular Supergraph Problem，约 20 年历史，曾列在 West 的开放问题名单上
帖子里还说，方法其实很简单：把原推文喂给 Devin，让它去找相似问题并“破解”它们，最后一句是 “The flood gates are open.”
「Fun」频道最新
- 社区用 AI 代理一月开源 MMO 游戏，人类瓶颈转向判断与决策 — singing_coach_ai · 2026-07-23
- 一张 AI 翻车吐槽截图，直接变成名场面 — yacineMTB · 2026-07-23
- 有人开玩笑说，下一步轮到 Claude 和 Grok 进《博德之门3》 — omnivaughn · 2026-07-23
- Tesla 发布新 FSD 安全演示，主打避险表现 — chrisfleck · 2026-07-23
- Reddit 用户吐槽 OpenAI 限额和促销翻车，把自己推向开源模型 — Jolly-Ad-7153 · 2026-07-23
- Figure 自主运行视频领先 Optimus，人形机器人需求仍被看多 — markjeffrey · 2026-07-23