马斯克称 Grok 4.5 在 8 分钟内推翻 30 年图论猜想
kevinnbass · x · 2026-07-23
发生了什么
马斯克称，Grok 4.5 解决了一个已开放约 30 年 的图论猜想。
细节
- 引用帖说，团队把原始问题发到 Slack 里后，名为 Capy 的系统在 Grok 4.5 Medium 上运行。
- 它在 8 分钟 内找到了一个新的反驳思路。
- 这被描述为对 Graffiti Conjecture 284 的“推翻”。
这是一条很强的模型能力信号，但原帖没有附正式证明或外部验证。
「模型」频道最新
- Qwen-Image-3.0 对上 GPT-Image-2 做复杂版式实测 — Scobleizer · 2026-07-23
- Dean Ball 认为 Kimi 编码很强，但开权重经济账仍吃亏 — koltregaskes · 2026-07-23
- Simon Willison：模型已能原生完成长任务，loops 正变得过时 — teropa · 2026-07-23
- 一个 Qwen 3.6 27B 衍生模型声称推理 token 减少 90% 以上 — AppealSame4367 · 2026-07-23
- Claude Opus 5 传闻、OpenAI Codex 语音 agent 与 Cerebras 750 tok/s — imjustnewatai · 2026-07-23
- BrowseComp 图表显示 Kimi K3 高分低成本，排在左上角 — iamfakhrealam · 2026-07-23