DeepMinds latest: An AI for handling mathematical proofs

AlphaProof can handle math challenges but needs a bit of help right now.