播客｜对话陈小杨：一位数学教授如何看待AI在数学领域“拳打脚踢”

2026年的AI数学，几乎每天都有大新闻炸场。7月，AI给困扰数学接近一个世纪的雅科比猜想找到了反例，8月， AI发现六维球面存在复结构。9月，先是Anthropic宣布Claude用约11天完成了费马大定理的Lean形式化证明；几天后，OpenAI宣布利用10000个AI智能体系统，88小时攻克了困扰人类近一个世纪的重大数学问题纳维-斯托克斯问题（Navier-Stokes problem）。国外两家顶尖的AI公司在神仙打架，短短几个月之内， AI已经硬生生地冲到了数学发现的最前沿。

在这些成果发布的同时，也存在着不同的声音甚至是争执。AI在数学领域到底威力有多大？它给数学家带来了哪些影响？未来，AI还将怎样影响数学？

本期播客，我们对话数学界的一线研究者同济大学数学科学学院长聘副教授陈小杨。他既做基础科学，也长期关注AI在数学中的应用，甚至早在2022年就想创办一家AI for Math的数学公司。陈小杨认为，数学真正的价值从来不只是解决一个数学问题，而是去提供我们理解世界的独特视角，这一点，AI暂时还替代不了。

点击收听完整音频：