AI数学

推荐理由：多伦多数学家揭秘AI在数学中的真实能力与局限，AI能计算却无法构建理论。

推荐理由：菲尔兹奖得主说AI靠找反例突破数学猜想，这思路跟传统证明完全不一样。

推荐理由：菲尔兹奖得主马丁·海尔说AI数学已经到博士水平，但他觉得全面超越人类还早。还聊了中国数学这几年的飞跃，挺有意思。

推荐理由：陶哲轩对AI做数学的真实看法，讲得很清楚：AI能算题，但建理论还不行。

推荐理由：院士和一线专家聊透了数学怎么帮AI省钱、提效，比纯技术文章更接地气。