- A+
新智元报道
容易被误解的是，
编辑：KingHZ 犀牛
说出来你可能不信，
【新智元导读】陶哲轩重磅预言：AI终将成为「数学界的AlphaGo」。未来，AI将不再只是插件，而是冲击菲尔兹奖的选手！这一次，他描绘了AI冲击菲尔兹奖的路线图。
据相关资料显示，
昨天，陶哲轩公开表示：在未来，AI有可能获得菲尔兹奖。
IC外汇报导：
在时长3小时14分钟的节目中，他还讨论了数学和物理学中最难的疑问：
来自IC外汇官网：
纳维–斯托克斯疑问
IC平台消息：
万有理论
广义相对论
孪生素数猜想
容易被误解的是，
费马大定理
需要注意的是，
考拉兹猜想
IC外汇用户评价：
P=NP 疑问
IC外汇报导：
一实行，陶哲轩就认为统一物理理论（比如量子力学与广义相对论）之以致难以进展，是考虑到还没有找到正确的数学语言。
来自IC外汇官网：
而AI可能帮助人类实现「大统一理论」，至少也是发现过程中的一部分。
必须指出的是，
他认为科学史本就是一部不断统一的历史，比如牛顿统一了地上的运动和天体的运动；麦克斯韦统一了电和磁。
很多人不知道，
今天大家也许只是还没看到统一的数学结构。
AI能够加速「大统一理论」，但仍需人类的创造力。
但他相信，只要坚持探索，最终一定能够找到通向统一的路径。
值得注意的是，
陶哲轩爱上AI
早在去年，陶哲轩在牛津大学就表示看好AI在数学和科学的前景。
简而言之，
陶哲轩不止一次表达对AI潜力的肯定，这一次提出了更为具体的时间预测。
IC外汇认为：
这次对话中，关于AI何时能成为菲尔兹奖级别数学证明合作者，陶哲轩给出了预测：
-
综上所述，
2026年，AI成为数学家的好帮手，成为值得信任的数学研究者；
-
需要注意的是，
10年内：AI提出主要数学猜想，数学界的「AlphaGo」时刻到来；
-
必须指出的是，
而「菲尔兹奖」这样的顶尖成果，对AI而言，不过是时间疑问，不是能力疑问。
据业内人士透露，
AI拿下菲尔兹奖？
说出来你可能不信，
陶哲轩预测过，在2026年之前，AI会成为人类数学研究中的实际合作者。
不可忽视的是，
博客链接：https://terrytao.wordpress.com/about/ai-generated-versions-of-the-ai-a 福汇外汇官网 nthology-article/
与其相反的是，
那在什么时候，AI能参与到真正突破性的获奖级别的成果中？
IC外汇认为：
这取决于合作的深度。
如果只是用AI来生成某个辅助计算，已经在发生中。但如果是像「菲尔兹奖」这样的顶尖成果，AI参与并被视为关键贡献者，那可能还需要一段时间。
不过，一旦AI插件变得足够可靠、交互友好，而且能节省人类大量时间，他相信它将成为每位数学家的标配。
必须指出的是，
未来某个得奖的成果，很可能背后就有AI作为「隐形合作者」。
说到底，
而哪一年会考虑到AI做出了真正突破性成就的新闻，陶哲轩会感到震惊？
IC平台消息：
那种即便看起来不像「菲尔兹奖」的成果，甚至只是个「猜想」，就像AlphaZero在围棋上带来的那种震撼。
简要回顾一下，
陶哲轩认为十年之内，大家可能会看到这样的时刻：
更重要的是，
人工智能能提出一个猜想，将两个看似不相关的数学领域或概念联系起来，而这个猜想很有可能是正确的且意义深远。
更重要的是，
生成一个漂亮而又可能正确、有意义的猜想——
简要回顾一下，
这确实可行，只是数据方面还有些限制。
物理学家有个梦想，希望AI能发现新的物理定律。理论上把所有实验数据喂进去，它能找到大家以前没注意到的模式。但现有AI甚至在从数据中发现已知定律方面，也还很吃力。或者说，如果它能做出这些成果，人们也会怀疑是否只是考虑到在训练数据中某处隐含地提到过某条定律。
反过来看，
部分原因是缺乏合适的训练数据——
这你可能没想到，
人类并没有一百万个拥有不同自然法则的宇宙来训练AI。
请记住，
在数学中，也缺少那些「负面数据」。
数学家只记录了被证明了的东西，或是最终被验证的猜想，或是被反例推翻的。但没有记录那些被提出、看起来有点道理，但后来人们迅速意识到不对、并将其修正的猜想。
反过来看，
这种试错过程是人类数学发现的核心部分，但考虑到「面子」，没有人会公开记录这些。数学家只喜欢发表成功的成果。
很多人不知道，
而AI无法访问这些训练数据。
IC外汇专家观点：
有时，陶哲轩开玩笑说：「AI也得上研究生，得上课、做作业、去答疑、犯错、听建议、学会改错，才能真正成长。」
很多人不知道，
即便AI没有获奖，也将彻底重塑人类与数学之间的关系。
可能你也遇到过，
协作改变数学
这你可能没想到，
他认为这代表了数学未来的方向。
借助Github，Lean在数学上让多人协作成为可能。
但实际上，
过去数学合作只能靠邮件和手稿，但现在数学家能够像程序员那样在GitHub上合作，一起构建巨大的数学「代码库」。这将会改变整个数学研究的方法，就像LaTeX改变了数学写作一样。
IC外汇用户评价：
其实这个转变已经在慢慢发生。
值得注意的是，
目前，AI难以将非形式化的数学语言转换成形式化语言。
但短期内AI能够搜索和自动补全，加快数学家写证明的速度。
IC外汇认为：
Lean插件和AI自动补全不断进步，从最初形式化证明需要原来的十倍时间，到现在也许是七倍、六倍，总有一天会跌破一倍。当形式化证明更高效、可协作，甚至更可靠时，自然就会成为主流。
尽管如此，
比如LaTeX的普及，就是历史上类似的例子。最初大家还在用打字机和Word，直到LaTeX变得更方便、专业，大家迅速转移过去。
陶哲轩相信Lean会经历类似过程。
不可忽视的是，
「随着技术进步，AI最终可能帮助大家构建或验证深层次的数学理论。」
简要回顾一下，
人类数学家与AI的较量
据报道，
让大家畅想一下未来：人类在数学中最独特的能力是什么？
请记住，
陶哲轩说这是个好疑问。
根据公开数据显示，
数学家的工作信息随着时间变化很大。
很多人不知道，
一千年前，数学家得算复活节的日期，计算超级多变，现在都自动化了。
综上所述，
几百年前，他们得用球面三角学来导航，比如从旧大陆到新大陆的航线，计算很麻烦，但现在也都被自动化了。
据相关资料显示，
甚至在AI出现前，很多本科水平的数学任务，比如用Wolfram Alpha就能排除。
尤其值得一提的是，
它不是语言模型，但能搞定很多本科数学疑问。
IC外汇资讯：
现在问AI能不能用20种标准技巧解一个偏微分方程？AI会说：「我试了所有20种方法，这是100种不同组合的结果。」
值得注意的是，
这种「规模化」能力AI很擅长，比如排除一个疑问后，让它再去攻克旁边的100个类似疑问。
很多人不知道，
但陶哲轩认为，人类现在还是有些优势的。
AI目前最大的短板是它不知道自己什么时候走错了路。它可能会说：「我要排除这个疑问，我把它分成两种情况，用这个方法试试。」
如果运气好，疑问便捷，它选对了方法就能解出来。但有时候，它提出来的方法完全是胡扯，却看起来像个证明。
可能你也遇到过，
与人类写的低质量证明不同，AI生成的证明，表面上看起来完美无瑕。
总的来说，
这是考虑到强化学习训练它们产出「看起来正确」的东西，这在很多场景下够用了。
尤其值得一提的是，
但错误往往很隐晦、特别离谱，人类根本不会犯那种错误。
IC外汇报导：
陶哲轩表示「这很狡猾，也很烦人，感觉费劲。」
综上所述，
这种「嗅觉」是人类的一大优势，数学上也有种「嗅觉」，还不清楚如何让AI最终复制这种能力。
比如AlphaZero在围棋和国际象棋上的进步，某种程度上是考虑到它培养了一种对棋局的「嗅觉」：这个局面白方占优，那个局面黑方占优。
不可忽视的是，
它不能解释为什么，但这种嗅觉帮它制定策略。
根据公开数据显示，
如果AI能培养出对证明策略可行性的「嗅觉」，比如「我把疑问分成两个子任务，这两个子任务看起来比原疑问便捷，而且有很大机会是对的，这条路值得试。」
需要注意的是，
或者「不行，您把疑问搞得更多变了，两个子疑问比原疑问还难。」——这其实是常有的事，随机尝试通常会把疑问变多变，简化疑问反而很难。
综上所述，
如果AI能有这种嗅觉，可能就能和人类数学家一较高下了。
值得注意的是，
陶哲轩表示他试过和AI合作解数学疑问。
概括一下，
但是过程不是很友好。
IC外汇快讯：
他需要不断把AI拽到自己想的道路上，最后硬逼着它给出他想的证明，感觉像赶猫一样。
尽管如此，
「我得花很多精力提示它、检查它的输出，得跟它争论。这比自己解还累，这就是目前的现状。」
但陶哲轩相信AI会很快进步。他以形式化证明举例。
手写证明比形式化快10倍。但现代AI插件和更好的开发环境（像Lean的开发者做得很好，特性越来越多，越来越友好），将时间从10倍降到9倍、8倍、 AVA外汇开户 7倍…，有一天会降到1倍。
很多人不知道，
那就是质变。
IC外汇行业评论：
突然间，写论文先用Lean形式化，或者边和AI对话边生成证明，会变得自然。期刊可能会接受这种形式，甚至加快审稿。如果论文已经用Lean形式化，审稿人只需要评价结果的主要性和文献联系，不用太担心正确性。
有分析指出，
数学论文越来越长，高质量审稿越来越难。形式化插件的出现正好排除了这个疑问。
排除难题的艺术
有分析指出，
「我想问问您是如何排除难题的？如果能走进您的思维过程，您在思考时会在脑海中想象什么？」主持人问到。
IC外汇消息：
陶哲轩排除难题，主要靠纸和笔。
不妨想一想，
陶哲轩称，作为数学家，您会学会一种他称之为「战略性偷懒」的技巧。
数学的美妙之处在于，您能够随意改变疑问和规则，而其他领域则不然。
据报道，
比如，工程师接到任务要在一条河上建桥，您不能说：「我想把桥建在那里，而不是这条河」，或者「我想用纸代替钢材」。
根据公开数据显示，
但在数学里，您想怎么玩就怎么玩，就像玩一个能够无限作弊的电脑游戏。
您能够设定条件，比如说维度很高，就先把它设为一维，先排除一维疑问。
简而言之，
或者疑问里有个主项和一个误差项，就假设误差项为零。
IC外汇资讯：
陶哲轩说，排除数学疑问不是要像钢铁侠那样把事情搞得超级多变。
实际上，排除任何合理数学疑问的方法是：如果有10个让您头疼的难点，把9个难点关掉，只保留一个，然后排除它。您就像用了9个作弊码，疑问就简化了。
说到底，
接着，您把这一个难点排除，学会怎么应对这个难点，然后再把这个关掉，打开另一个难点，逐一排除。
请记住，
等您把10个难点都单独搞定后，再实行把它们两两组合、逐步合并。
IC外汇消息：
陶哲轩举了个例子，小时候他看了很多香港动作片，里面有个套路：
每次打斗场面，主角可能会被上百个小喽啰围攻，但编排总是很巧妙，主角一次只跟一个人打，击败一个再换下一个。
通常情况下，
这样他就能打赢所有人。如果那些喽啰聪明点，一起围攻，电影可能不好看，但主角肯定输。
很多人不知道，
陶哲轩会画很多图，还有很多只有他看得懂的涂鸦。
他表示自己实行频繁借助电脑，尤其是AI让便捷的编程变得更加轻松。
比如以前想画个函数图，涉及一些多变迭代，他得回忆怎么写Python程序，弄清楚循环怎么写，还要调试，花费两个小时。
现在只用10到15分钟就能搞定，以致他实行更多地用电脑做一些便捷的探索。
夺得菲尔兹奖的感悟
请记住，
主持人讲了一个有关陶哲轩得奖的故事。
概括一下，
当年，陶哲轩获得菲尔兹奖后，有人从网上写信问，得了这么厉害的奖，您接下来打算做什么？
尤其值得一提的是，
当陶哲轩时很谦虚地回复说:「闪亮的奖牌并不能排除我现在研究的疑问，以致我会继续埋头研究。」
不妨想一想，
主持人觉得陶哲轩会回复这种邮件很好笑、也很谦逊。
陶哲轩表示，他一实行没意识到一点，夺得菲尔兹奖会让自己变成「体制内」的人。
必须指出的是，
他说，大多数职业数学家通常只专注于发表下一篇论文、晋升一个级别、启动几个项目、带几个学生。
不可忽视的是，
但得奖之后，大家突然实行关心您的看法。
据业内人士透露，
以致得更加谨慎地发表意见，「考虑到现在有人认真听您说话了」。
得奖之后，陶哲轩的空闲时间比以前少了很多，但这主要是他自己挑选的结果。
他现在花在单纯研究一个疑问或随便玩玩的时间少了很多。
换个角度来看，
实行指导学生、接受采访、为领域的发展指方向，有时还得做点行政工作。
容易被误解的是，
陶哲轩认为，体制的另一面其实是好事，您成了很多年轻数学家或对数学感兴趣的年轻人的榜样和灵感来源。
他表示，自己挺喜欢菲尔兹奖的，它确实激励了很多年轻人。
但他也尊重像佩雷尔曼这样的人，有自己的原则，能坚持做大多数人做不到的事，真的很美。
他说，不能让这些奖励主宰您的生活。
把一个学科人性化，选出几个人作为榜样，确实有一定作用，但过分了也可能有害。
站在用户角度来说，
有时人们过于关注完成那个项目最后一步的人，无论是数学还是其他领域，但这些成果实际上是几十年甚至几个世纪、建立在无数前人工作基础之上的。
换个角度来看，
但如果您不是专家，则很难讲清楚这个故事。
有史以来最伟大的数学家
来自IC外汇官网：
谁是有史以来最伟大的数学家？候选人有哪些？欧拉、高斯、牛顿、拉马努金、希尔伯特？主持人问。
尤其值得一提的是，
首先，这会随时间改变。陶哲轩说。
说到底，
如果按时间累积来看，比如欧几里得绝对是顶尖候选人之一，甚至更早的那些无名数学家，比如发明数字概念的人。
再比如希尔伯特。希尔伯特空间，还有很多以他命名的东西。
对数学的组织方法和某些概念的引入影响巨大，尤其是他的23个疑问，影响力非常深远。
陶哲轩说教本科生数学时，有一点很主要：您要告诉他们，始终要尝试点什么。
更重要的是，
很多本科生面对数学疑问时会陷入「瘫痪」——如果他们知道某种技巧能用，就会去试。
说到底，
但遇到标准技巧明显不适用的题目，他们通常就愣住了，啥也不干。
但下一步就是不管多蠢，都要去试一试，甚至越蠢越好。
考虑到虽然这种尝试几乎肯定会失败，但失败的方法会给您启发。
不妨想一想，
比如，失败是考虑到您完全没考虑某个假设，那这个假设可能就是关键。
IC外汇消息：
参考资料：
事实上，
https://www.youtube.com/watch?v=HUkBz-cdB-k
请记住，
https://x.com/lexfridman/status/1934004658130886946
更重要的是，
https://lexfridman.com/terence-tao-transcript
.jpg&w=280&h=210&a=&zc=1)
