AI 时代我们还会继续数学研究吗

作者认为前沿 LLM 已能处理研究级数学中的多类问题，但数学不会被 AI 完全取代。文章将数学结果分为平凡、繁琐、连接线索、神启、形式化和无中生有六类，指出现有模型更擅长分布内、已形式化的任务，而证明还承担传递理解、展现美感和生成新定义的作用，Lean 等形式化证明并不能覆盖这些目标。