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

While parents may be hearing about AI in their work or in the news, they may not realise it is also being introduced into ...