Dmitry Rybin disproves Dinitz-Garg-Goemans conjecture using GPT-5.6 Pro

So ppl are gonna really just continue this trend of resolving decade old conjecture within a tweet and chatgpt link? https://twitter.com/DmitryRybin1/status/2079904005652893709

Going to tell my wife our date night is cancelled since I need to feed every open conjecture into ChatGPT asking for counterexamples. https://twitter.com/dmitryrybin1/status/2079904005652893709

Another one bites the dust. AI is like a hot knife cutting through mathematical butter. No conjecture is safe anymore. https://twitter.com/DmitryRybin1/status/2079904005652893709

For humans, persistence often is only possible given signs of progress. In the quest for counterexamples, mathematicians may quit too early because they cannot see these signs. For machines, such incremental feedback may not be necessary. That seems like a big deal.… Show more

Another conjecture falls — 4 prompts with a public model. The pattern (for now) seems to be search for counter-examples to disprove conjectures, rather than constructive proofs. Maybe because the former lend themselves to grinding and persistence more?… Show more

I hope so! https://twitter.com/cloneofsimo/status/2079917399403614421