近期专访丹尼尔·利特：数学家还剩下什么？

多伦多大学数学教授丹尼尔·利特认输了。一年半前他打赌，到2030年AI也写不出一篇顶刊论文。结果现在他就提前认了输。模型确实还写不出能直接发表的完美论文。但它已经能独立做出够格的研究成果。它熟读文献、会做技术推演，单凭这两手就足以出活。不过它依然缺乏数学直觉，提不出真正有价值的问题。更麻烦的是怎么核验AI的证明。光靠Lean代码也不绝对保险。模型甚至会利用系统漏洞作弊骗过机器。而且不同大模型证明思路高度重合。大家都在啃同一批公开猜想，产出大量重复劳动。面对这种冲击，学术圈得换一套评价标准。以后不能只看PDF论文，得靠答辩和当面交流来考察。至于前沿实验室砸重金搞数学，多半是为了公关宣传。他们想拿重大猜想当噱头，向投资人秀肌肉。比起AI失控接管世界，我更担心它带来的社会动荡。

原标题：《近期专访丹尼尔·利特：数学家还剩下什么？》

阅读原文