MathsClub Problems, proofs & good company

The Problems

Not schoolwork — the questions that resisted Erdős, Hilbert, and everyone since. The club keeps three shelves: what is still open, what AI recently settled, and what took humanity centuries.

Tagged graph-theory — 6 entries. Clear

Jaeger's summit conjecture: every bridgeless cubic graph maps into the Petersen graph — implying cycle double cover, Berge–Fulkerson, and five-flow at once.

Posed by François Jaeger · 1988 · Graph theory · difficulty 5/5

graph-theory cubic-graphs

Four colours suffice for any map. The first major theorem proved by a computer — and the first mathematical controversy about what a proof is.

Posed by Francis Guthrie · 1852 · graph theory · resolved 1976 · difficulty 3/5

graph-theory formalization