Puzzles solved by hpc