拉福格称AI无法取代数学家

事件综述根据 1 篇报道整理，10月29日更新

2002年菲尔兹奖得主、法国科学院院士洛朗·拉福格在复旦大学浦江科学大师讲坛表示，AI在数学证明上的进展超出想象，但AI本质是在文本空间运作的计算工具；如果没有数学家研究核验，AI生成的数学文本便失去意义，因此数学家的位置无可替代。 拉福格现为华为基础研究中心高级专家，获2025年度中国政府友谊奖。他同时谈到纯数学与应用数学的人为划分，以及数学写作与学习的重要性。

综述由模型根据报道生成，细节以各篇原文为准。