AlphaProof, an AI from Google DeepMind, came close to matching the top participants in a prestigious competition for young mathematicians