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
- A 1,000-year-old Tamil inscription records a Chola-era hospital: 15 beds, named physician — SumitGup · 2026-10-27
- Dad turns his toddler's 31-year-old quote into a song via SUNO kids' choir — NathanpmYoung · 2026-10-27
- Even human customer support now feels like talking to GPT — gaganghotra_ · 2026-10-27
- Academic modesty: calling your work 'a small contribution' while hoping everyone disagrees — prof_kamilov · 2026-10-27
- Dev uses Grok bot to turn ESP into an iPhone accessory for syncing robot servos — Baconbrix · 2026-10-27
- Overcast dev jokes iPhone Duo users will outnumber iPhone Air users within two weeks — film_girl · 2026-10-27