By conceding half a century of points in a performance that was plucky and largely promising, Wales perfectly encapsulated ...
Marijn Heule uses turns mathematical statements into something like Sudoku puzzles, then has computers go to work on them.