AlphaProof 论文登 Nature

DeepMind在Nature发表AlphaProof论文，介绍其在IMO获得银牌的成果。