马斯克称 Grok 4.5 在 8 分钟内推翻 30 年图论猜想
kevinnbass · x · 2026-07-23
发生了什么
马斯克称，Grok 4.5 解决了一个已开放约 30 年 的图论猜想。
细节
- 引用帖说，团队把原始问题发到 Slack 里后，名为 Capy 的系统在 Grok 4.5 Medium 上运行。
- 它在 8 分钟 内找到了一个新的反驳思路。
- 这被描述为对 Graffiti Conjecture 284 的“推翻”。
这是一条很强的模型能力信号，但原帖没有附正式证明或外部验证。
所属事件:马斯克称 Grok 4.5 八分钟推翻图论猜想(3 条相关)→
「模型」频道最新
- GPT-6 Astra 用时 44 小时通关含敌人 Factorio,API 成本约 4500 美元 — liminal_bardo · 2026-09-11
- giffmana 补充:环境用于训练正是他要说的重点 — giffmana · 2026-09-11
- 开源 LLM 排行榜与定价对照目录,一站式索引比较工具 — Last_Establishment_1 · 2026-09-11
- Anthropic 称已尽力让评测环境不可被模型识别 — MaxKannen · 2026-09-11
- Nex N2.5 Pro 开源发布,权重体积达 407GB — jinnyjuice · 2026-09-11
- RoMa v2 图像匹配模型发布,作者晒出黑底宣传图 — ducha_aiki · 2026-09-11