论文部分内容阅读
Artificial intelligence (AI) in the form of deep neural networks excels in a variety of high-profile settings, from image recognition and gaming to natural language translation and voice synthesis [1–4]. However, its performance in mathematical reasoning, considered a core ability of human intelligence, appears somewhat less impressive—at least at the present.