AI researchers David Silver and Richard S. Sutton’s book builds on their Google DeepMind project AlphaProof.