400
2今天这期谈话的嘉宾Jacky，是一位数学系做纯数学方向的在读博士生。
Jacky 是我本科时候一位特别有意思的室友。刚认识他的时候，我一度觉得他有点像《生活大爆炸》里的谢尔顿：脑子转得特别快，一聊到自己感兴趣的问题就会非常投入。一开始我还不太熟悉他的表达方式，偶尔会不知道该怎么接他的话。但相处一段时间以后，我意识到，他其实是一个非常热心的人。无论我问他什么问题，他都愿意花很多时间，一点一点给我讲明白。他甚至专门在宿舍里买了一块白板，用来讨论问题。我们在那块白板前，一起讨论过数学/计算机技术/甚至哲学。每次一聊就是很久。到现在我都还能想起他站在白板前手舞足蹈、越讲越兴奋的样子。
最近一次旅行，我恰好路过 Jacky 现在居住的城市。他非常热情地邀请我去家里做客，也兴致勃勃地向我介绍了一个他目前参与运营的社区项目——TeaCon。简单来说，TeaCon 是一个围绕 Minecraft，也就是《我的世界》举办的线上模组展览会。许多开发者会把自己制作的游戏模组带到这里展出，而观众则可以直接进入游戏中的虚拟展馆，像在线下逛展一样，亲自体验这些作品。
🍵 TeaCon 2026 网页链接：teacon.cn 🍵
听他介绍 TeaCon 的时候，我感觉他似乎还是本科时那个站在白板前的 Jacky：一旦碰到真正感兴趣的事情，就会越讲越兴奋，也总想把这份心情分享给周边的人。也正是在这次做客期间，我们坐下来录了这期播客。
难得重新见面，我也积攒了很多一直想问他的问题。其中最想听到的，当然是他作为一名纯数学研究者，如何看待 AI 最近在数学领域取得的进展：包括但不限于，接连攻破平面单位距离猜想，Jacobian猜想等著名数学问题，到最近甚至解决了7大千禧年难题之一的NS方程问题。说实话，看到这些新闻时，我自己一方面觉得兴奋，另一方面也会产生一种非常朴素、甚至有点悲观的念头：数学家是不是就快要“失业了”？如果提出猜想、寻找证明，甚至形式化验证这些环节都可以被AI完成，那么为什么还需要人来做数学？数学家真正不可替代的部分又是什么？
所以我特别想听听 Jacky 是怎么看待这些问题的。而他也确实没有让我失望——不夸张地说，在最近这些热火朝天的 AI for Math 讨论中，Jacky 的观点是少数真正让我重新找回一些信心的声音。或许到最后，数学还真是一场只有人类能玩的游戏。
本期内容比较长，大家可以按照时间轴，自行跳转到感兴趣的部分。那么话不多说，让我们正式开始今天这场谈话吧。
时间轴：
08:06 “我把 LLM 叫作“流浪猫”
13:58 AI 应该作为思想自行车，而不是替你许愿的机器
20:00 非技术背景的人，真能靠 AI 从零做出产品吗？
28:32 “一个电脑装了20 个 Anaconda”：不知道自己在做什么时，AI 会有多危险？
33:43 AI 快速攻克数学问题，究竟改变了数学研究什么？
45:00 “数学更像是一个艺术创作的学科。”
50:31 “解决问题，我觉得仅仅是个副产物。”
52:21 “数学研究本身，是一个来回在严格和非严格之间跳的过程。”
53:31 如果 AI 写出无人能理解的百万行证明，结果还有意义吗？
01:05:58 AI 能复制数学家的脑洞吗？
01:18:33 仅靠人类文本训练，AI 能复刻人类的价值观吗？
01:21:14 快问快答
01:26:19 “我希望数学形式化尽早成为大家天天使用的研究工具。”
01:29:17 AI 时代最稀缺的，为什么是靠谱的直觉和经验？
01:31:03 “新中世纪假说”：高速增长结束后，世界会重新变成孤岛吗？
Music Credits
Special thanks and credits to:
“Gimme that Groove!” by Michael Ramir C., via Mixkit.
“Futuristic Architecture” by SPmusic, via Pixabay.
“Nostalgic Night” by Michael Ramir C., via Mixkit.
