一个 Grok 4.5 agent 据称 8 分钟反驳 30 年图论猜想
littmath · x · 2026-07-23
有人称一个 AI agent 在 Slack 里反驳了 30 年图论猜想
被引用的帖子称，Capy 在 Slack 里用 Grok 4.5 Medium “意外”破解了 Graph Theory Conjecture 284，并在 8 分钟内找到了一个新的反驳证明。
随后 ChrSzegedy 补充了背景：这些 GRAFFITI 猜想本质上是 90 年代的“AI 之前的自动生成命题”，很多题目因为太孤立，长期没有被认真推进。
所属事件:马斯克称 Grok 4.5 八分钟推翻图论猜想(3 条相关)→
「Fun」频道最新
- AI 五年改变世界,Google Docs 却仍把「compute」当名词标错 — ohlennart · 2026-09-11
- AI 智能体协作优化 secp256k1 量子电路,挑战打破 ECDSA — StefanoGogioso · 2026-09-11
- DHH 怼回 Yacine「GDPR is good」：条例模糊养出官僚怪兽 — dhh · 2026-09-11
- 网友上线「求 AI 别杀我」注册网站,黑色幽默拉满 — motionbynick · 2026-09-11
- 用果蝇大脑连接组造了个 LLM,作者放出在线 demo — ngxson · 2026-09-11
- 梗图:工程师周五下午放出上万个 Claude 子 Agent 清空一周工作量 — _jaydeepkarale · 2026-09-11