Marijn Heule uses turns mathematical statements into something like Sudoku puzzles, then has computers go to work on them.

The equations that mathematicians use ... to solve other problems in this area. As for the bora-blown waves outside Maspero’s office window, and their eventual decline into flat water—at the moment, ...