标签: 人工智能与数学

本文探讨人工智能（尤其是大语言模型）如何正在改变数学研究的方式。数学家陶哲轩指出，AI虽不能替代人类数学家，但已成为辅助证明、检验猜想和激发新思路的实用工具；关键在于以人为本地接纳技术，而非被动接受其逻辑。

标签: 人工智能与数学 人机协作研究 大语言模型 数学证明验证 陶哲轩