Marijn Heule uses turns mathematical statements into something like Sudoku puzzles, then has computers go to work on them.
After 150 years of mystery, neuroscience has finally cracked the code on how language works in the brain—and the answer is surprisingly elegant.