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

Quantum mechanics has at last been formulated exclusively with real numbers, bringing a mathematical puzzle at the heart of ...