Tag: sudoku
Will an old problem yield a new insight? Perhaps an elegant proof of the 4 colour theorem?
The 4 colour problem is one of the most famous mathematical problems. It resisted proof for more than a hundred years before finally succumbing; in the end, there was a valid proof, but one that relied on more than a thousand hours of computer time. Jim Tilley’s research suggests that a dramatic simplification might ultimately be possible. He has discovered […]