陶哲轩大模型数学 是时候了！陶哲轩对AI生成的低质量数学内容提出警示。

这次他一反常态，没有来安利大模型，而是辩证审视：

AI生成数学是把双刃剑。AI大幅增加数学新想法，但也降低平均想法质量。

过去几个月里，AI在数学领域里可谓是搅动风云。先是IMO夺金，后又陆续破解多年Erdős难题。

但有趣的是，其中许多AI生成方案最终被证明是错误的，还有一些则与现有解决方案类似。

陶哲轩注意到了这一现象。

于是就AI如何更好地服务数学，他提出了自己的解法：

创造一种新的形式化语言，用于描述数学策略而非证明。网页链接