This weekend's 'Four Color Fest' marks the 40th anniversary of UI mathematicians Wolfgang Haken and Kenneth Appel being the first people to prove a major theroem with help from a computer.
URBANA — Here's the task: Color a map of the United States so that no two adjacent states have the same color.
What's the least amount of colors you would need?
The answer to that question took mathematicians over a century to prove, with the assistance of a computer at the University of Illinois.