@mattshumer_: So another long-standing open conjecture was disproved by AI. The crazy part is the prompts… basically: - “do a breakth…
Summary
A tweet reports that an AI (likely GPT-5.6 Pro) disproved the Dinitz-Garg-Goemans conjecture, a long-standing open problem in graph theory, using simple prompts like 'do a breakthrough'.
View Cached Full Text
Cached at: 07/22/26, 06:35 PM
So another long-standing open conjecture was disproved by AI.
The crazy part is the prompts… basically:
- “do a breakthrough”
- “continue the search”
- “enough, do it”
Anyone will be able to make world-bending breakthroughs soon. Just point the model in the right direction. https://t.co/E4DGT5ch7d
Dmitry Rybin (@DmitryRybin1): Dinitz-Garg-Goemans conjecture is false. This graph theory problem was open for ~30 years.
The graph below has fractional flow cost 58. Any unsplittable flow (with capacity violation <=15) has cost at least 60.
Chat with GPT 5.6 Pro where this was found:
Similar Articles
@rohanpaul_ai: This is so great. GPT-5.6 Sol Ultra produced a 50-year-old conjecture proof using 64 subagents within one hour. The pro…
GPT-5.6 Sol Ultra, released by OpenAI, reportedly proved the 50-year-old Cycle Double Cover Conjecture in under one hour using 64 subagents, marking a major AI breakthrough.
Imbalance Conjecture proven and Teschner’s bondage-number conjecture disproven by AI
An undergraduate researcher reports that GPT-5.6 Sol Max solved two open graph theory problems: proving the Imbalance Conjecture and disproving Teschner's bondage-number conjecture. The preprints have been posted but not yet peer-reviewed.
Human mathematicians are being outcounterexampled
AI systems, including ChatGPT and OpenAI's Sol, have disproved and fully formalized the Erdős Unit Distance conjecture, marking a milestone in AI-assisted mathematics. The article discusses the process and implications for the future of mathematical proof verification.
@VraserX: You genuinely can’t overhype this. GPT-5.6 Sol Ultra, which is a publicly available AI just cracked a 50-year-old math …
GPT-5.6 Sol Ultra, a publicly available AI model, solved a 50-year-old math conjecture in under an hour, suggesting that AI may solve mathematics within the next decade.
Stand-up maths: Has an AI discovered new maths?
Matt Parker's video explores recent cases where AI, including ChatGPT, helped solve open Erdős problems in mathematics, highlighting a new era of AI-assisted mathematical discovery.