AI开始暴力破解数学难题之后，数学家为什么集体反对？

这周数学界似乎平静了许多，但回看过去半个月，天翻地覆。
 OpenAI宣称其内部AI系统仅用约88小时就给出了NS方程千禧年问题的一种解法，这道千禧年难题困扰学界近一个世纪。消息还没消化，霍奇猜想“重大进展”的传闻又起，但至今尚无公开成果可供核验。纽约大学数学家Buckmaster对科研伦理的质疑也迅速引发广泛讨论。
从近600位数学研究者加入AHM、公开反对商业AI对数学共同体的侵入，到25位菲尔兹奖得主联名发表《AI在数学中的严重错位》，整个基础数学领域，正在被AI带入前所未有的撕裂局面。
于是，我们邀请到复旦大学上海数学中心李志远教授、北京大学国际数学研究中心谢俊逸教授，UP主钰子一、分析学爱好者、主持人杜雨说AI，一起聊聊AI时代的数学正在发生什么，以及身处其中的我们该如何回应。
对谈看点：
1、AI是怎么一步步“闯入”纯数学的？
2、从NS方程到Hodge猜想，AI真的进入“刷榜模式”了么？
3、一周三波抵制浪潮，数学界到底在反对什么？
4、AI时代的数学要怎么学和研究？