I believe we already ran out of sudoku puzzles years ago when Peter Norvig solved them all: https://norvig.com/sudoku.html