[math-fun] Deep Mind crushes Rybka