#OpenAI攻破数百个数学难题#
感觉上，又有精彩的东西看了，数学本身是有魅力的

如果从纯数学家的角度，真的是被降维打击了。图为OpenAI刚公布的论文，是一个朗道-西格尔零点猜想的好结果，比张益唐2022年到今年一直在说的结果要强多了。

这样的大结果，有好几百个。不知道有多少数学研究者在干的事被冲击了，很可能研究几年的成果变得不值一提了。

但是，从我们数学爱好者的角度来看，很可能是个好事。就和2016年围棋AI和人大战，后面颠覆人类围棋理论，这个过程非常有意思，持续了几年一直有不少看点。在那几年，围棋比没有AI时要好看了。后面围棋被颠覆的东西差不多了，棋手们被迫高强度模仿AI，就感觉精彩的内容变少了。

而数学，内容要广泛得多，其本身比围棋肯定要更为精彩。围棋也可以说是一个数学分枝。

看OpenAI攻破的这些问题，感觉还是在人类成果之上进行组合式、搜索式突破。还不能说颠覆了数学，因此数学家不是太服气是有原因的。AI是就是什么数学知识都懂，又精力旺盛能把所有可能的路线都走走看。但根本上AI的数学知识是从人类数学家体系来的。

围棋AI不一样，有完全不依赖人类围棋知识，从零开始训练的版本。如果以这个标准，现在数学AI还没有很高的颠覆性。

例如，人们都能理解哥德巴赫猜想、孪生素数猜想，这可能是著名数学猜想里，最容易理解的两个问题。我们相信，这两个猜想是正确的，而且是可以证明的。如果AI把这两个猜想证明了，那就真的出圈哄动了。现在的AI数学进展，大多数人连题目都看不懂。

接下来数学家可以努力的是，人机协作，展现数学的魅力，发展新的方法，攻击难题，以哥猜和孪猜为目标。

如果这些人类能简单理解的优美的猜想都被AI证明了，那AI数学这波巅峰才算过去了。目前还没到，只能说展现了潜力。AI数学能力还有很大进步空间。