arXiv:2502.07850v1 通告类型: 新增 摘要：计算机已经改变了人类进行数学的方式：它们使我们能够高效地进行计算。但是它们很快会帮助我们进行推理吗？而有一天它们会不会开始自我推理？我们概述了近年来在神经网络、计算机定理证明器和大规模语言模型方面的最新进展。