AI proves Imbalance Conjecture, disproves Teschner's bondage-number conjecture
A 4th-year undergraduate used ChatGPT Pro to prove the Imbalance Conjecture and disprove Teschner's bondage-number conjecture in graph theory. The student detailed the AI-assisted process on Reddit.
1 source
Daily brief
Get tomorrow's AI brief in your inbox
More stories today
- Z.ai CEO Jie Tang: GLM 5.3 gains come from RL, not parameter count
- New tool adds 14 skills to Claude Code and Cursor for Markdown diagrams
- Tool turns Claude into a team of AI employees on your Mac
- GOP panics over Big Tech ties as Trump shifts on AI regulation
- Ethan Mollick: Claude's skill creator beats ChatGPT for reusable skills