Marijn Heule uses turns mathematical statements into something like Sudoku puzzles, then has computers go to work on them.
A team at Carnegie Mellon University is helping kids understand artificial intelligence with a soft, squishy, LED-lit neural ...