甲小姐对话董彬：AI for Math：无尽的前沿 | 甲子光年

“关注配得上这个时代的问题。”

作者｜甲小姐

董彬是我的同门师兄，他1999年入学北京大学数学科学学院，正好比我大10级。那一代人，被称为北大数学的“黄金一代”。

董彬现在是北京大学博雅特聘教授，任职于北京大学北京国际数学研究中心，同时担任北京中关村学院的常务副院长。他的主要研究方向是AIfor Math。

最近，他和团队用自主构建的自动化AI框架解决了安德森猜想，这是国内首次实现AI自主解决数学开放问题，并实现了大规模形式化验证。

AI浪潮冲击之下，影响最快、振幅最大的是代码与数学。此刻，关于AI coding的讨论已铺天盖地，而数学作为一个基础学科，也因AI主动或被动发生着急速转变。这一转变，正引发全球数学家激烈的辩论。

这期对话有我的一点私心。和往期不同，我也“喧宾夺主”地分享了一些故事——我们从董彬师兄的个人经历与北大数院聊起，聊了聊往事和八卦，聊了聊数学人的特有气质，逐渐走向本期真正的主题——AIfor Math的纵深，与这个方向真正的野心。

总之，这是一场聊爽了的对话：）