AlphaProof, una nueva IA de Go... Nota