Magnus Carlsen was one of the stars of the Breakthrough Prize. There he presents a prize for theoretical computer science and math,...