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

Mathematicians have broken through a long-standing barrier in the study of “minimizing surfaces,” which play an important ...