Some Reflections on the new proof of the Four Colour Conjecture using induction The new proof (See Blog 46) begins by posing the provisional hypothesis that all fully triangulated, fully weeded, networks of up to n nodes can be four coloured AND ALSO that this colouring can contain 3-coloured circuits […]