A $3,000 graph-theory bounty is now formalized in Lean and open for counterexamples
MarioKrenn6240 · x · 2026-07-23
A repost points to a graph-theory conjecture with a $3,000 bounty and a Lean formalization, inviting people to use a prompt to search for a counterexample.
The quoted context says the Dinitz-Garg-Goemans conjecture was recently shown false via a graph found with GPT-5.6 Pro, where a graph with fractional flow cost 58 forced any unsplittable flow under a capacity violation of 15 to cost at least 60.
More from Fun
- Clifford Pickover challenges AI to decipher a message he encoded in Norse runes — pickover · 2026-10-27
- Grok bot meme: your AI agent takes the bullets while you sleep — XFreeze · 2026-10-27
- Helping an NPC who doesn't need it: the perfectly fine meme — Cloud_Reviews · 2026-10-27
- Viral post: we refine sand to 99.99999% purity to build the smartest thing ever — for email — CatAstro_Piyush · 2026-10-27
- $50, 2-hour Kurzgesagt-style AI video reignites debate over intent in AI creation — motionbynick · 2026-10-27
- Fake-paper meme shows an agent workflow for reverse engineering trading systems into a one-person quant fund — PtrPomorski · 2026-10-27