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 Reportedly Refutes 30-Year Graph Theory Conjecture(5 posts)→
More from Models
- Kimi K2.8 Preview rolls out: near-K3 coding performance, 1M context for all tiers — teortaxesTex · 2026-09-11
- Looking for a classifier of software engineering task shapes to pick models per task — StewartalsopIII · 2026-09-11
- DeepSeek V4 Pro API to continue after Sept 2026, billing unchanged — teortaxesTex · 2026-09-11
- DeepSeek V4.1 Flash Hits 98% of GPT-6 Astra's Score at 1.4% of the Cost in Third-Party Benchmark — ayushtweetshere · 2026-09-11
- TheZvi Polls: Has Your Coding Model Choice Changed Since Fable 5.1 and Astra? — TheZvi · 2026-09-11
- antirez Weighs In on Anthropic Banning Minors From Using Claude — antirez · 2026-09-11