Feels like the "demonstrated it's no longer necessary to solve sudokus" statement may have been a joke :)