Why Sudoku can't go below 17 clues — a 7-million-hour supercomputer proof
The minimum number of clues a uniquely-solvable Sudoku can have is 17 — and proving it took a supercomputer about 7 million hours. The story behind our 16-clue Sudoku, which can never have a unique solution.