Creating learning models that can exhibit sophisticated reasoning skills is one of the greatest challenges in deep learning research, and mathematics is rapidly becoming one of the target domains for assessing scientific progress in this direction. In the past few years there has been an explosion of neural network architectures, data sets, and benchmarks specifically designed to tackle mathematical problems, reporting notable success in disparate fields such as automated theorem proving, numerical integration, and discovery of new conjectures or matrix multiplication algorithms. However, despite these impressive achievements it is still unclear whether deep learning models possess an elementary understanding of quantities and symbolic numbers. In this survey we critically examine the recent literature, concluding that even state-of-the-art architectures often fall short when probed with relatively simple tasks designed to test basic numerical and arithmetic knowledge.
翻译:创造能够展示精密推理技能的学习模式是深层学习研究的最大挑战之一,数学正迅速成为评估这方面科学进步的目标领域之一。 在过去几年里,专门为解决数学问题而设计的神经网络结构、数据集和基准激增,报告在自动化理论验证、数字整合、发现新的猜想或矩阵乘法等不同领域取得了显著成功。然而,尽管取得了这些令人瞩目的成就,但深层学习模式是否对数量和符号性数字有基本了解仍不清楚。 在本次调查中,我们批判性地检查了最近的文献,得出的结论是,在用旨在测试基本数字和算术知识的相对简单的任务来考察时,即使是最先进的结构也往往都落空了。</s>