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.
Related event: Musk Claims Grok 4.5 Agent Refutes 30-Year Graph Theory Conjecture(3 posts)→
More from Models
- giffmana: the env being used in training is part of the point — giffmana · 2026-09-11
- awesome-llm-leaderboards: an open-source directory of LLM leaderboards, pricing tables, comparison tools — Last_Establishment_1 · 2026-09-11
- Anthropic claims it works to keep eval environments unidentifiable to models — MaxKannen · 2026-09-11
- Nex N2.5 Pro released on Hugging Face with 407GB of weights — jinnyjuice · 2026-09-11
- RoMa v2 image matching model unveiled in the usual black poster — ducha_aiki · 2026-09-11
- OpenAI rated Astra 'Critical' for cyber capabilities — and admits it's harder to monitor — theguywhobuilds · 2026-09-11