With the aim of securing other vital systems, Google DeepMind plans to open-source its AlphaProof Code.