您会使用AI或计算机工具辅助自己的学习、写作或研究吗？对于未来AI参与数学研究，尤其是纯数学和数学物理中的证明发现，您持怎样的态度？

邓煜：我会使用AI，而且总体感受是，它已经让很多研究环节方便了不少。对于一些我基本确定为真的简单结论，如果自己完整推导还需要一些时间，我会让AI给出证明，再进行检查。有时它也能补充我不知道的知识，例如某个组合计数问题所对应的已有结构或标准结论。对于有一定难度的引理，我也会询问AI是否有思路。我们最近的一项工作中，有一个主要命题的特殊情形，我连续几天没有解决，GPT给出了一个非常简单的证明，很快处理了那个特例。后来我们发现这种证明无法推广，因此没有把它写入最终文章，但它至少提供了一个有价值的思路。这说明AI即使不能直接完成最终证明，也可能帮助研究者迅速探索局部路线。我期待未来出现一种更成熟的协作方式：人类研究者负责提出总体框架和核心思路，AI则帮助完成一部分具体、技术性的推导，填充框架，并给出可供检验的方案。现在它更多是让工作便利，将来可能真正加速数学研究。不过，对刚进入科研的学生而言，使用时仍要保持判断力。我的做法通常是先自己思考，做一些不完全严格的推导，先判断想法是否大致合理；确认方向有希望后，再询问AI具体需要什么技术、某一步怎样实现，然后在来回反馈中逐步完善。不同人可以有不同用法，但不能因为AI给出了一段看似完整的论证，就跳过独立判断和严格核验这些必要的步骤。