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
- Only 2 of 25 full ChatGPT rewrites flagged 100% AI by detectors — paulnovosad · 2026-10-26
- Qwen 4 Reportedly Spotted in the Arena, Hints at Alibaba's Next-Gen Model Testing — AIFlow_ML · 2026-10-26
- Nathan Lambert's first open models lecture: distillation, risks and the ecosystem explained — natolambert · 2026-10-26
- Nanbeige 4.3-33B flops real-world test: zero compilable output vs Qwen — julianharris · 2026-10-26
- Claude's safety classifier blocks SS7 defense research, pushing a security dev to an abliterated GLM — l4rz · 2026-10-26
- Black Forest Labs open-sources 5.6B FLUX 3 Image Klein, +91 Elo with 38% fewer params — dl_weekly · 2026-10-26