Musk says Grok 4.5 refuted a 30-year graph conjecture in 8 minutes
kevinnbass · x · 2026-07-23
What happened
Elon Musk said Grok 4.5 solved a graph theory conjecture that had been open for about 30 years.
Details
- The cited post says the team shared the original problem in Slack.
- A system called Capy, running on Grok 4.5 Medium, allegedly found a novel refutation in 8 minutes.
- The claim is framed as a refutation of Graffiti Conjecture 284.
This is a strong capability claim for the model, though the post itself does not provide a formal proof write-up or external verification.
More from Models
- Qwen-Image-3.0 gets put through layout-heavy tests against GPT-Image-2 — Scobleizer · 2026-07-23
- Dean Ball says Kimi is strong at coding, but open-weight economics still hurt — koltregaskes · 2026-07-23
- Simon Willison says loops are becoming obsolete as models handle long tasks natively — teropa · 2026-07-23
- A Qwen 3.6 27B derivative claims to cut thinking tokens by more than 90% — AppealSame4367 · 2026-07-23
- A rumored Claude Opus 5, OpenAI Codex voice agents, and 750 tok/s from Cerebras — imjustnewatai · 2026-07-23
- A BrowseComp chart puts Kimi K3 near the top on score while keeping cost low — iamfakhrealam · 2026-07-23