一年前,由谷歌 DeepMind 创建的 AI 数学模型 AlphaGeometry 在国际数学奥林匹克竞赛(IMO,International Mathematical Olympiad)中展现出比肩真人银牌得主的水平。近日,DeepMind ...