AI疯狂收割数学难题，数学家为什么集体抗议

最近数学家和AI公司吵翻了天。
事件的起点围绕着千禧年数学问题之一纳维-斯托克斯方程究竟由谁攻克。OpenAI在9月8日宣布用1万个智能体花了88小时破解了这一难题，而稍早的时间，纽约大学数学家巴克马斯特（Tristan Buckmaster）则说是自己和另一个数学家阿尔波格（Levent Alpöge）先解决了问题，并怀疑OpenAI的智能体利用了他们的数据。
虽然事实真相如何至今未有定论，但“AI抢占数学家成果”的可能性已经引起了很多数学家的警觉和批评，讨论也进一步转向了AI暴力破解数学问题会带来的伤害。
但AI巨头收割数学难题的脚步并未因此停止，在节目录制的9月11日，OpenAI又透露，他们已经接近解决了千禧年数学问题中的另一个——霍奇猜想。12日，这家公司再次宣布正尝试解决千禧年数学问题里剩下的问题。同日，包括陶哲轩、邓煜在内的25名菲尔兹奖得主联合发出抗议，认为AI公司正在毁掉数学本身。
这期节目邀请了深耕数学领域多年的科普作者antares回顾N-S方程相关的争议，并解释数学家们到底在反对什么。她引用了格罗滕迪克关于海水包裹土地的比喻：暴力破解的情况下，“你不会得到那片海”。
本期人物
antares，资深科普作者，数学硕士，研究方向是低维拓扑与微分几何。致力于撰写准确清晰的数学科普十余年，近期关注AI与数学的交叉地带，各家AI工具重度用户，但也是这次NS方程事件中被波及的数学社区的一员。
明月，果壳主编
时间轴
03:15 千禧年数学问题，一个有钱人和一个数学家建了个研究所，为最难的七大数学问题悬赏700万美元
06:56 纳维-斯托克斯方程（N-S方程）描述了流体运动，什么叫光滑，什么又叫爆破
10:42 克雷研究所给了两个条件交叉的四个选项，正反两种方向，解出其中之一就算
12:43 我去问了陶哲轩本人，对于奇点是否存在，为什么数学家在17年时间里态度变了
17:05 事件的时间线不是从2025年开始，是始于2021年两个西班牙数学家的工作
22:49 “你为什么要毁掉你的职业生涯？”“为什么发布这件事就会毁掉我的职业生涯？”
26:18 关键的证明思路来自西班牙数学家，他们却无人关注，“要是这是我们自己做出来的就好了”
33:00 知道“一个问题有解”，在数学上就是非常重要的信息
36:11 OpenAI到底有没有使用数学家的数据呢？有很多可能性会让数学家和AI的交互进入模型训练
44:07 目前学术的credit体系，不是为人类和AI协作的分工设计的
46:07 DeepMind也曾用完全不同的方法在这个方向努力，并且恪守学术伦理
49:39 AI解决的数学问题已经不是低垂的果实了，它们格外擅长什么
52:12 人有自己的优势，数学直觉会说，“有一把钥匙藏在了那个架子上”
55:03 AI暴力破解，会让人类损失什么？数学工具，培训下一代数学家的素材，对数学的理解
58:00 格罗滕迪克：暴力拆解之后，“你不会得到那片海”
01:01:41 数学发现的结果到底有用还是没有用呢？当结果不必然关联过程，可能结果本身的意义就大大减少了
01:03:47 这个时代世界上最有影响力的数学家之一是陶哲轩，这件事让人庆幸，如果换成冯·诺依曼或佩雷尔曼就糟了
01:07:03 “数学实际上始终以人为中心”
本期嘉宾：antares
主播：明月
后期：尔尼
欢迎收听果壳时间，这是一档果壳推出的播客节目，主播们会和嘉宾一起，提供多学科视角，还原科技的复杂性，将热议话题深挖一层。
你可以在小宇宙、苹果播客、喜马拉雅、网易云音乐、微博、QQ音乐、豆瓣、荔枝、Spotify等平台找到我们。
欢迎留下评论，你的意见对我们很重要。