摘要：计算机在数学中的证明定理方面可能很快帮助数学家，尤其是在之前没有用到的领域。此外，我们认为这些计算机工具也将在数学的交流和教学方面对我们有所帮助。
作者：Kevin Buzzard
论文ID：2112.11598
分类：History and Overview
分类简称：math.HO
提交时间：2022-04-19
PDF 下载： 英文版 中文版pdf翻译中