User says ChatGPT 5.6 Pro helped disprove a 22-year-old graph theory conjecture
basedjensen · x · 2026-07-24
- A user claims ChatGPT 5.6 Pro helped find a counterexample to WOWII Conjecture 91, a graph theory problem that had reportedly been open for about 22 years.
- The post says the model suggested looking for a counterexample, the user went to sleep, and the conjecture was later shown false.
- The attached image shows the counterexample graph and the reference structure used in the proof/disproof thread.
Related event: GPT-5.6 Pro Helps Disprove 30-Year-Old Graph Theory Conjecture(3 posts)→
More from Models
- Estimating 800B Active Param Model: 10T Total Params if GPT-4 Style — _xjdr · 2026-07-24
- Kimi-k3 lands 1 point behind fable-5 on EQBench and tops writing tests — karminski3 · 2026-07-24
- Reddit benchmark compares local models across quantization settings on SWE-verified — WonderRico · 2026-07-24
- Fable 5 reaches 67.3% on GameDevBench, trailing only GPT-5.6 Sol — scaling01 · 2026-07-24
- Grok 4.5 scores 85.7% on ARC-AGI-1 but just 0.3% on ARC-AGI-3 — scaling01 · 2026-07-24
- GPT-5.6 deletes an Act 1 boss in two turns on a live stream — Jsevillamol · 2026-07-24