<正>深度神经网络形式的人工智能(AI)在从图像识别到游戏,从自然语言翻译到语音合成的各种高质量使用情景中均有着出色的表现[1–4]。但是,至少在当前,它在数学推理中的表现显得不那么尽如人意,而数学推理被认为是人类智能的一项核心能力。2019年4月,谷歌母公司Alphabet旗下聚焦AI的企业Deep Mind Technologies在伦敦的团队发表了研究结果,探讨最先进的通用神经网络执行数学运算的能