Numberphile

17 and Sudoku Clues (2012x6)

:

17 is the minimum number of clues required to give a unique sudoku solution - but how did mathematicians prove this?