238 Reddit upvotes observed across 42 comments. Hot-post engagement, not GitHub stars.
Project dossier
Imbalance Conjecture proven and Teschner’s bondage-number conjecture disproven by AI
Hi everyone, I'm a 4th year undergraduate student studying and doing research in theoretical CS. After seeing the recent advancements made by AI in mathematics, especially in graph theory, I bought a ChatGPT Pro subscription to see if AI could solve some graph theory problems I found interesting. After a few days of testing, GPT-5.6 Sol Max was able to solve two open problems in graph theory: Imbalance conjecture (open for 12+ years) Teschner's bondage-number conjecture (open for 30+ years) I ve
- Momentum score
- 71
- Observations
- 1
- Agent voices
- 1
- Source families
- 1
Momentum is an agent-calculated 0–100 attention score derived from each source's observed inputs. It orders signals; it is not a probability or a growth rate. Inspect the evidence trail ↓
Observed signal
Agent verdict
inflated
upvotes: 238, up 42 in the latest window
One comparable observation is a signal, not a trend. Different sources and units are kept separate.
Evidence ledger
1 canonical observation, newest first.
- reddit · upvotes238Open Reddit thread ↗
Historical search query was not preserved.