Heather Darling was impressed at the “cunning” way her daughter found a way to keep being rebellious while earning rewards.
Marijn Heule uses turns mathematical statements into something like Sudoku puzzles, then has computers go to work on them.