Analysis of games and puzzles.
In 2012, a group of mathematicians announced that a Sudoku puzzle must start with at least 17 numbers in order to have a unique solution.
Proving this involved 7,000,000 hours of computing time.