能查文献、验证细节，但写不出几十页严格的长篇证明——这是邓煜眼中AI在数学研究中的真实位置。他把AI当助手，用来处理自己不熟但确有答案的问题，比如用生成的简单证明来验证思路。但他强调，数学的灵魂依然是人类的直觉与核心想法，AI目前无法替代。真正的加速，在于人机分工协作。 邓煜不认为AI会取代数学家