人工智能时代的数学

- 文章探讨了AI（尤其是大型语言模型）对数学研究方式的冲击。传统数学依赖人类直觉、严谨证明和缓慢的积累过程；而AI可以快速生成猜想、寻找反例，甚至协助证明。 - 关键背景：2022年DeepMind的AlphaTensor发现了新的矩阵乘法算法，2023年OpenAI的o1模型在数学竞赛中表现突出。这些事件让数学界开始认真思考“AI会不会取代数学家”。 - 文章提到的核心争议：数学的本质是“理解”还是“计算”？如果AI能给出正确答案但无法解释推理过程，这还算数学吗？这涉及到数学教育、科研评审和期刊出版的根本规则。 - Kevin Hartnett是《Quanta Magazine》的资深数学编辑，长期跟踪数学与AI交叉领域。本文是他对该话题的综合性评论，代表了主流数学媒体对AI的审慎、好奇但不失批判的态度。