From graph coloring to AI systems

The Four Color Theorem begins with a simple question: how many colors are needed so neighboring regions never match?

That question becomes a doorway into representation, constraints, search, and the habit of turning messy reality into a structure a machine can reason about.