## AI 作为数学家的常规工具 最近一篇 Hacker News 上的帖子讨论了陶哲轩的观察，即 AI 辅助正逐渐成为数学研究中的常态，尤其是在 Erdos 问题网站上有所体现。用户分享了利用像 Claude 这样的 LLM 来理解复杂的数学论文、获得简化的解释，甚至生成伪代码的经验。 虽然承认存在不准确的可能性——以及批判性验证的必要性，将 LLM 的输出与原始资料和外部资源进行比较——许多人发现这些工具对于学习和解决具有挑战性的概念非常有价值，尤其是在其核心专业领域之外的领域。有些人甚至使用 AI 来审查自己的工作以查找错误。 讨论还涉及形式化（如 Lean）与计算机代数系统之间的哲学辩论，以及在使用 AI 服务时的数据隐私问题。最终，共识是 AI 为数学家提供了一个强大的生产力提升和协作工具，增强了他们的能力，而不是取代他们，前提是用户保持健康的怀疑态度并优先考虑严格的理解。