25M-parameter model claimed to solve 86.1% of Hard Sudoku boards in 12 passes · Digg