简体中文版人工智能和 ML 新闻 关注 AlphaProof，来自Google DeepMind的新型人工智能，在国际数学奥林匹克中大放异彩 人工智能在数学方面正在变得越来越好 —— 并且很快可能会成为人类的有价值的合作伙伴。 AlphaProof, a New A.I. from Google DeepMind, Scores Big at the International Math Olympiad nytimes.com
