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.”
所属事件:Devin宣称破解未解数学题遭社区群嘲(3 条相关)→
「Fun」频道最新
- 把儿子 31 年前的童言写成歌再喂给 SUNO：一首「大象饮料」儿童合唱 — NathanpmYoung · 2026-10-27
- 吐槽：连人工客服都聊得像 GPT 了 — gaganghotra_ · 2026-10-27
- 学术界的「谦虚」：嘴上说小贡献，心里盼全员反对 — prof_kamilov · 2026-10-27
- 用 Grok bot 把 ESP 变成 iPhone 配件,远程同步机器人舵机 — Baconbrix · 2026-10-27
- Overcast 作者调侃：iPhone Duo 用户数一周内将超 iPhone Air — film_girl · 2026-10-27
- 恶搞招股书把 Roko's Basilisk 写成投资风险,发帖人当真引发热议 — AgentTamerlane · 2026-10-27