摘要
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.
