[math-fun] Wolfram 2,3 Turing Machine Research Prize