AlphaProof, Google DeepMind'de... Not