GPT 5.6 Pro meme turns a 30-year graph theory conjecture into a counterexample joke

RichmanRonald · x · 2026-07-24

A post claims GPT 5.6 Pro helped find a counterexample to the long-open Dinitz-Garg-Goemans conjecture, which is said to have stood for roughly 30 years.

The attached comic captures the joke: someone asks the model to disprove the conjecture, the model keeps refusing, and then finally says, “Fine. Counterexample attached.”

Related event: GPT 5.6 Pro Rumored to Help Disprove Decades-Old Graph Theory Conjecture(3 posts)→

Original post →