275
3今天《甲小姐对话》的嘉宾是我的同门师兄——董彬。他1999年入学北京大学数学科学学院，正好比我大10级。那一代人被称为北大数学的“黄金一代”。
董彬现在是北京大学北京国际数学研究中心博雅特聘教授、北京中关村学院常务副院长。
他的主要研究方向是AI for Math。前段时间，董彬带领团队用自主构建的自动化AI框架证明了“安德森猜想”——这是国内首次实现AI自主解决数学开放问题，并实现了大规模形式化验证。
反差的是，他当年是“误入”北大数院，曾在北大数院基础班60人中排名倒数第二，GPA 2.7（满绩4.0），差点没能顺利毕业。用他的话讲，在北大数院的四年，被“虐得很惨”。
这是一场脑洞大开的对话：我们聊了聊AI for Math的进展和野望，数学在AI浪潮之下正发生颠覆式转变，他分享了他的“登月”野心；我们聊了聊北大数院的往事和“八卦”，以及“数学人”的独有气质；我们也聊了聊一些有趣的话题：当AI能自主证明猜想，人类还有必要学习数学吗？现有期刊体系会不会崩溃？为什么上千位数学家会签署宣言反对AI？数学家会沦为“鉴赏家”吗？
这也是一场关乎每个普通人的对话。眼下正值高考志愿填报季，无数家长和学生在困惑：AI时代，选择什么专业才不容易被替代？董彬的观点是：“越偏向就业、实用性越强的学科，越在AI的打击范围之内。”
从这里开始，我们的对话越走越深，直到最后他追问：当AI几乎能承担所有“工具价值”，人类如何剥离自身的工具属性，重新定义与分配所谓的“尊严”？
本期时长2小时16分钟，建议先点赞关注，方便随时回看！别忘了转发分享给更多人～
【时间线】
开场
误入北大数院
从“倒数第二”到北大教授
“四大疯人院”之首：数学天才和其他人
“数学是一种极其精确的语言”
两次学术“急转弯”
如果AI不是让你“攀珠峰”，而是“登月”呢？
AI for Math，无尽的前沿
安德森猜想： AI自己的aha moment
“我为什么非要投期刊呢？以后我们的引用，就不是人引用率，而是AI引用率。”
关于《莱顿宣言》：“火已经烧到鼻子下面了”
“如何重新分配尊严”
“如果AI有暂停键，我会毫不犹豫按下去”
【收看/收听方式】
视频版：视频号、Bilibili、小红书、抖音、微博、YouTube等全视频平台播出；
音频版：小宇宙、Apple Podcast（搜索甲小姐对话）；
文字版：欢迎关注公众号「甲子光年」，后续将发布《甲小姐对话董彬：AI for Math，无尽的前沿 | 甲子光年》，敬请期待。
