AI agent finds a refutation to a 30-year-old graph theory conjecture in Slack
veggie_eric · x · 2026-07-23
- A Slack discussion about an open graph theory conjecture led Capy, running on Grok 4.5 Medium, to find a novel refutation in about 8 minutes.
- The post says it refuted Graffiti Conjecture 284 / the Aouchiche-Hansen conjecture, a problem that had been open for roughly 30 years.
- The cited quote claims the conjecture is false and points to a graph where the fractional flow cost is 58, while any unsplittable flow under the stated capacity-violation constraint costs at least 60.
Related event: Musk Claims Grok 4.5 Agent Refutes 30-Year Graph Theory Conjecture(3 posts)→
More from Fun
- Meme: Engineers Unleash 10,000 Claude Sub-Agents on Friday Afternoon to Clear a Week's Work — _jaydeepkarale · 2026-09-11
- AI safety isn't a coordinated cabal: half the field has posted their life stories on LessWrong — ShakeelHashim · 2026-09-11
- Kid Coins "Princessmaxxing" After Subway Chat About Same-Sex Wedding Attire — anderssandberg · 2026-09-11
- 'AGI is here' vs reality: AI labs still ship some of the jankiest desktop apps ever — MilesCranmer · 2026-09-11
- 'The revolution will have a token limit': one-liner on context window limits — AIandDesign · 2026-09-11
- One-liner echoing the nostalgia: missing human craft, writing, and technical debates — vboykis · 2026-09-11