AlphaProof, una nuova IA di Go... Nota