这篇对话探讨了人工智能在数学领域的快速发展及其深远影响。核心观点认为，AI目前极擅长在已有知识中建立联系并解决可验证问题，但在提出全新概念、定义或有价值的猜想方面仍显不足。数学史上如伽罗瓦理论等重大突破，依赖于长期的概念构建和人类主观的价值判断，这是AI难以企及的。对话进一步讨论了AI是否会削弱人类的理解、形式化证明的价值以及写作和教学的未来。最终，给年轻数学家和学生的建议是：应更关注如何创造价值、如何被社群需要，并将AI视为强大的学习和筛选工具，而非简单的替代品。
AI在数学领域的“双重面孔”
AI在数学领域的进展呈现出一种“尖峰”状态，在某些方面能力超凡，而在另一些方面则表现平平。这种不均衡性揭示了当前AI能力的本质和局限。
AI的强项： 擅长处理那些已有清晰规则和可验证结果的领域。
- 例如，在国际数学奥林匹克（IMO）竞赛中，AI几乎完全解决了几何问题，因为它本质上可以转化为一种可以“暴力”求解的代数形式。
- AI能够吸收海量知识，并在不同领域之间建立“闪电般”的连接，例如发现不同数学分支中公式的相似性。
AI的弱项： 在需要开放式创造力、概念构建和提出“好问题”的领域仍然挣扎。
- 在IMO竞赛中，AI在更具“游戏”和“谜题”性质的组合数学问题上表现不佳。
- 提出一个有价值的猜想，或定义一个像群论那样能开辟全新领域的概念，需要一种对“什么才是重要的”的深刻直觉，这是AI目前缺乏的。
“好数学家证明定理，伟大的数学家提出猜想，而最伟大的数学家创造定义。”
什么是真正的数学突破？
历史上最重要的数学突破，往往不是简单地解决一个已知问题，而是建立一个全新的概念框架，其价值可能需要数十年甚至上百年才能被完全认识。
以伽罗瓦理论为例，它完美地展示了这一点：
- 问题的起源： 数学家们长期寻找五次及更高次方程的求根公式，但都失败了。
- 初步的证明： 阿贝尔（Abel）首先证明了不存在通用的五次方程求根公式。这是一个伟大的成就，但它只是解决了问题。
- 概念的飞跃： 伽罗瓦（Galois）没有停留在“能不能解”的层面，他转而研究问题解的对称性，从而开创了“群论”这一全新的数学领域。他关注的不是答案，而是答案背后的结构。
- 漫长的验证： 伽罗瓦的思想在当时几乎无人理解，甚至被学术界拒绝。历经数十年，经过其他数学家的整理和发展，群论的价值才逐渐显现，并最终在物理学、密码学等领域产生了深远影响。
像伽罗瓦理论这样的突破，其验证周期可能长达一个世纪。它依赖于一种难以量化的直觉——“我认为这背后有更深层的东西”，而不是一个可以立即获得回报的解题过程。
AI会增进还是削弱人类的理解？
一个普遍的担忧是，AI可能会给出一个我们无法理解的复杂证明，比如黎曼猜想的证明。然而，证明和理解是两回事。
- “未解决的阐释性问题”： 即使AI给出了一个长达数千页、逻辑上无懈可击的证明，人类数学家的工作并不会就此终结。相反，一个新的任务诞生了：去理解这个证明，提炼其核心思想，并将其转化为简洁、优美的概念。
- 解释本身就是一种洞见： 能够清晰解释一个复杂概念，本身就要求对该概念有深刻的理解。历史上，最伟大的科学家如爱因斯坦、费曼，往往也是最出色的解释者。因此，未来能生成最佳证明的AI，可能也能生成最佳的解释。
- 人类角色的转变： 如果AI能够同时完成证明和解释，人类在数学中的角色可能会更多地转向“策展人”。即，在一个由AI生成的无限知识海洋中，帮助人们导航，判断哪些思想值得学习，哪些问题值得探索。
“我曾以为AI会成为定理证明器，而数学家的角色会转向解释。现在我怀疑，AI在解释方面也会做得很好，而人类的角色将更多地是关于策展、激励和判断价值。”
对学习者和年轻数学家的建议
面对AI的飞速发展，对那些热爱数学并希望以此为业的年轻人来说，与其感到焦虑，不如重新思考自己的定位和价值。
关注“人”的价值： 在学习时，选择一个好的老师或作者，比选择一个你已感兴趣的主题更重要。因为真正的学习动力和深刻见解往往来自于高质量的人类策展。AI是一个出色的信息检索工具，但它无法取代一个好老师的引导和激励。
理解你如何创造价值： 无论有没有AI，学生都应该思考一个根本问题：“我为社会或某个社群提供了什么价值？为什么有人愿意为此付钱？” 在学术界，这种价值可能是教学、是为机构带来声望，或是推动基础科学。理解这一点，比仅仅因为“擅长”而追求一个领域更重要。
拥抱新角色： AI不会消除数学，但可能会改变数学家的工作内容。
- 教学和指导的角色会变得更加重要，因为这是一种深度的社会性、关系性工作。
- 判断力和品味将成为核心竞争力。在一个AI可以生成无数可能性的世界里，能够判断哪个方向有前景、哪个定义有价值的人，将拥有巨大的影响力。
“无论如何，你都应该思考：你的价值从何而来？薪水流向你的原因是什么？……如果你只是问这些问题，你就已经领先于其他所有初出茅庐的未来数学家了。”