Conjecture Engine
Mines inequalities between graph invariants from every connected graph up to eight vertices, then attacks the survivors with graphs it never saw. It rediscovers Wilf's theorem. It also proposes χ ≤ ω + 1, which is false — and finds the Grötzsch graph that kills it.