2025 年夏季，人工智能在数学领域迎来里程碑式突破。多个人工智能模型在国际数学奥林匹克竞赛中解出五道难题，震惊了数学界。这一成果标志着 AI 从单纯的解题工具转变为辅助研究的新力量。著名数学家陶哲轩指出，2025 年是 AI 真正开始用于多种数学任务的年份。研究人员发现，AI 不仅能解决谜题，还能协助发现并证明新结果，将原本需数周的工作压缩至数天。 DeepMind 开发的 AlphaEvolve 系统展示了 AI 的探索潜力。它能通过生成代码并演化寻找数学问题的最优解，甚至在人类未预设的方向上发现了高维立方体结构等新规律。数学家 Ryum 与 ChatGPT 合作，在三天内攻克了困扰学界 42 年的优化理论难题。虽然 AI 目前擅长处理大量“低垂的果实”和验证工作，但在需要长期战略规划的最高深数学问题上，人类仍占据主导地位。 然而，这一变革也引发担忧。部分学者担心过度依赖 AI 会导致学生缺乏基础训练，或使数学从一门充满人文艺术价值的学科退化为数据工程。尽管如此，主流观点认为 AI 是强大的辅助工具而非替代者。未来的数学研究将形成人机协作新模式，由人类设定方向与价值观，AI 负责快速探索与计算。随着算法持续进化，AI 有望在数年内生成优于人类数学家的成果，重塑整个学科的面貌。