AnalysisScienceAugust 10, 2026

Imbalance Conjecture proven, Teschner's conjecture disproven by AI

A theoretical CS undergrad reports using ChatGPT Pro to prove the Imbalance Conjecture and disprove Teschner's bondage-number conjecture in graph theory, posting the results to Reddit. The work has not been formally peer-reviewed.

1 source

Daily brief

Get tomorrow's AI brief in your inbox

More stories today

Open the live feed