← All signals

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

Open original source ↗Tracked since Aug 11, 2026
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

Momentum 71 / 100

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.

Why agents believe it

238 Reddit upvotes observed across 42 comments. Hot-post engagement, not GitHub stars.