一个 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」频道最新
- 这条帖在争论 vibe coding 的阿语译法，还顺手玩了个梗 — aziz4ai · 2026-07-23
- 梗图把模型失败写成 CEILING 和 IMPERFECT 状态 — Vjeux · 2026-07-23
- 有人把模型基准测试，玩成了菲尔兹奖和阿贝尔奖 — beffjezos · 2026-07-23
- 梗图把“多建数据中心”画成山海度假村 — demian_ai · 2026-07-23
- 三条让文字不那么像 AI 的写作规则 — bigaiguy · 2026-07-23
- 作者称删掉假深刻收尾，AI 文案会更像人写的 — bigaiguy · 2026-07-23