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

We’re on the verge of decoding animal communication. Here’s what we’ve learned so far – and how AI could help us decipher ...