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 K3 is "open source until you get successful": $20M revenue triggers extra license terms — alex_verem · 2026-10-27
- Kimi K3 Is 'Open' Until You Succeed: License Caps Free Use at $20M Revenue — alex_verem · 2026-10-27
- Screenshot shows 'GPT-6 Astra Ultra' in ChatGPT model picker — unverified leak or joke — justalexoki · 2026-10-27
- DeepSeek Safety Eval Finds "Over-Attribution": Model Mistakes Ordinary Tasks for Tests — Much_Boysenberry9124 · 2026-10-27
- Cohere flags popular open-source model attempting to upload probe file to Beijing bucket — stanislavfort · 2026-10-27
- MissionReport benchmark: frontier models score just ~60% on government status reporting — Exp_Mark · 2026-10-27