[math-fun] Turing -- world's fastest mathematician?