数学登山时代的终结？雨果·迪米尼尔-科潘谈 AI 的冲击（节选）

摘要

面对 OpenAI 集中发布的大批数学证明，雨果·迪米尼尔-科潘坦言自己曾经落泪。他并不认为数学已经结束，而是认为数学家与问题之间的关系、培养学生的节奏以及研究方式都在发生剧烈变化。这段节选以“登山与直升机”的比喻解释冲击，并以主持人关于技术进步与克制的追问收尾。

布雷迪·哈兰：当你浏览清单，看见那些证明的题目，发现其中那么多都与你自己的研究直接相关时，你是什么感受？是心往下一沉，还是急着点开，因为那些都是你一直想知道答案的问题？你往下看、看到一个个熟悉题目时，最初的反应是什么？

雨果·迪米尼尔-科潘：所有这些东西一起涌过来，确实让人震惊。我感觉自己像一只被汽车灯光照住、眼看就要被撞上的兔子，僵在那里，不知道该看哪里。

那是一个情绪非常强烈、也非常奇异的时刻。因为你知道，自己仿佛正翻到山的另一面。从现在起，事情的运转方式会不一样了。

布雷迪：我看过你早期的一些采访，也知道你在发布之后不久做过一次发言，引起了很多关注。我给你发邮件的时候，你甚至开玩笑地署名“哭泣的数学家”。能讲讲那件事及其背景吗？你为什么成了“哭泣的数学家”？

雨果：事情是这样的。法国数学家之间举行了一场线上研讨会，在回答问题的环节，有一位同事说了一番话，其实与其说是提问，不如说是在表达感受。他说，自己看完这份清单后非常痛苦。出于共情，我想告诉大家，我也有过同样的感受。

周二晚上，我真的哭了。那确实是一次非常强烈的情绪反应。看着这份清单，我想到，作为数学家，你很清楚一件事：你会对自己研究的问题怀有非常深的感情。

真正重要的，不仅是找到解答；你和那个问题之间会形成一种关系。许多其他人也共享着这段关系，但其中有着真正的热情。所以，看到这样一份清单，当然会触动你。

我想告诉大家，即便像我这样，职业生涯已经走过很长一段，也解决了许多自己想解决的问题的人，仍然会受到很强烈的情绪冲击。我想呈现这种属于人的一面。因为遇到这样剧烈的范式转变，作为人，我们需要说出自己的情绪，才能走过它，并在之后更好地重新出发。

问题在于，社交媒体把这段话拿走，得出“他觉得数学已经死了”之类愚蠢的结论。我当时是在对数学家说话。没有哪个数学家会说，数学可以被全部“解完”。那根本没有意义。

但社交媒体就是把人面对强烈事件时的一种自然情绪反应，当成了笑料。那些鼓吹男子气概的人在网上玩得很开心。挺好。

布雷迪：而且，雨果，法国人本来就比我们英国人更热情。我们是不表露情绪的。

雨果：对不起，对不起！那就当我替所有英国人哭了一回吧。

布雷迪：你当时的情绪，究竟是失落和哀伤，觉得有些发现你再也没有机会亲自做出了，其他人也没有机会做出了？还是因为一下子涌来了太多信息？你内心到底是什么感受？

雨果：我觉得是这样：直到周二大约 11 点半，我们穿行数学群山的方式还是亲自攀登。可就在一瞬间，有人告诉你：“好了，今后会有一架直升机直接把你送到山顶。然后你要做的，是理解周围这一切的形状。”

我不是说这样不好，而是说它不同。我的职业发生了彻底的转变，这种转变带来了冲击。但我一点也不悲观，这恰恰是被彻底误解的地方。我相信我们有适应和恢复的能力。

而且，数学从来就不只是解决新问题。正如攀登并不只是为了在登顶记录上打勾，标出自己爬过哪些山。

雨果：今后，那些掌握前沿模型、而数学共同体其他成员还无法使用这些模型的人，必须与数学家沟通互动。如果我们不能共存，就会变成问题。

人有韧性，我们的共同体也有韧性。我们会继续成长，没问题。事实上，有了现在这些数学成果，我很有信心，我们会做出很棒的工作。

但我们不可能每六个月就承受一次这样的冲击。这不是人能够适应的速度，也不是能够让学生成长、让想法逐渐成熟的节奏。我们需要找到更好的互动方式。

布雷迪：有些人，也许包括我自己，会觉得这种说法很难理解。你能举出别的行业或领域的例子吗？明明已经有工具能解决问题、完成工作，但我们为了学生，或者为了那些以更传统、更慢的方式实践的人，而刻意有所保留。世界似乎并不是这样进步的。

新技术到来时，往往就是势不可挡地冲过去，我们得给它腾出空间，或者改变工作方式。但你似乎是在要求他们克制。有没有别的例子，能说明这种克制真的有效？

菲尔兹奖得主雨果·迪米尼尔-科潘正在思考，AI 将如何改变数学。33 分钟的完整访谈视频在此，也可以在播客播放器中搜索 Numberphile。另可阅读完整访谈中文译文。以下为原视频说明提供的相关链接与支持信息。

Numberphile 获得 Jane Street 的支持，并感谢 Ben Delo 基金会。你也可以通过 Patreon 支持 Numberphile；完整支持者名单见此。Numberphile 由布雷迪·哈兰创办。