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.
More from Fun
- An AI team jokes that a month in Japan was spent prompting agents — henloitsjoyce · 2026-07-23
- A post brings back ELIZA, the original chatbot, as an AI-era joke — paul_cal · 2026-07-23
- Personal AI computer-control agent reaches 80–85% completion with 141 Python files — Vivid_Ad_5069 · 2026-07-23
- Terence Tao uses ChatGPT to study math while critics still call it useless — Dr_Singularity · 2026-07-23
- “We are getting the weights one way or another” becomes an AI Twitter meme — tekbog · 2026-07-23
- Tesla says FSD Supervised is 2x safer than manual driving across 12B miles — elonmusk · 2026-07-23