A Grok 4.5 agent reportedly refuted a 30-year-old graph conjecture in 8 minutes
littmath · x · 2026-07-23
AI agent allegedly found a refutation of a 30-year-old graph theory conjecture in Slack
A quoted post says Capy “accidentally” cracked Graph Theory Conjecture 284 inside Slack, using Grok 4.5 Medium, and produced a novel refutation in 8 minutes.
A follow-up from ChrSzegedy adds important context: the GRAFFITI conjectures were essentially pre-AI generated statements from the 1990s, many of which had not been worked on because they were too isolated from the rest of mathematics.
Related event: Musk Claims Grok 4.5 Agent Refutes 30-Year Graph Theory Conjecture(3 posts)→
More from Fun
- A 2025 joke about building your own OS, compiler, and VM suddenly lands in 2026 — max_paperclips · 2026-07-23
- A meme says Claude is out there disproving conjectures — zainhas · 2026-07-23
- AI-generated World Cup final clips hit 28 million views — techhalla · 2026-07-23
- A math joke turns `ω = 2` kernel-hunting into matrix multiplication exponent humor — Algomancer · 2026-07-23
- A joke says post-training only needs 12 good writers — burny_tech · 2026-07-23
- AI industry joke: “our moat is that our terms forbid distillation” — viksit · 2026-07-23