像 Terence Tao 这样的研究者正在讨论 AI 如何改变数学，设想人类和机器协作的“大数学”时代。

文章探讨了该领域动机和未来的基本问题。这不仅仅是关于新工具，而是重新定义学科本身。

AI 生成：摘要由 AI 根据所链接的来源撰写。 我们如何使用 AI