The Four-Color Theorem Has Haunted Mathematicians for Decades. It Just Got a Rare New Proof, but Some Still Long for a Simpler Solution

• The Four-Color Theorem, which states that any planar map can be colored with four colors so that no two adjacent regions share the same color, was solved using computers.
• Some mathematicians still believe a simpler, more elegant proof exists, but the new solution is considered valid.

AI-generated summary of the original article — see the source for the full story.