092 雷声滚滚，一扫浊世（1/13）

可惜的是，不过评论有多热闹，宁孑都不会去关注直播的，他对自己在视频上是什么形象其实并不太关心。或者说宁孑从小到大，其实都没怎么关注过自己的形象问题。

否则也不会来京城前，宁晓都看不下去他那身打扮，一定要带着他去改变形象了。

一个小时虽然不长，却能让他思考一些问题。

三月虽然不在身边，但留给他的题目却一直长伴着他。

尤其是在宣布宁孑数学基础课程已经毕业之后，给出的目标跟具体题目难度再次上了一个台阶。

比如宁孑现在的目标是尝试证明某类p问题=或者≠p类问题。

最简单的描述就是某类p=p？。

说到这类数学问题，包括宁孑之前解决的s方程问题，就得从上个世纪元年传说中的德国大数学家大卫·希尔伯特说起。

这位传说级全能向的大数学家决定相信后人的智慧，于是在年巴黎的数学会议上，一口气提出了个问题。而这个问题直接成了整整一个世纪全球数学界的主流研究方向。

甚至针对这些问题的研究，对计算机科学的发展帮助同样是极大的。

就这样很快一个百年过去了，虽然个问题并没有完全解决，但新世纪的数学家们坐在一起商量了下，觉得既需要呼应历史，又不能埋没了新世纪成长起来的新一代数学家们的智慧，所以应该在前人的基础上再推出几个问题。只是随着数学在这一个世纪的飞速发展，各种分类越来越细，新时代已经没有一个像当年希尔伯特这样近乎全能数学家有那个资格来向全球数学界提问了。

但不要紧，在世界超级大国的号召下，克雷数学研究院邀请了曾证明费马大定理的安德鲁·怀尔斯，荣获过菲尔兹、阿贝尔双数学奖的阿蒂亚，美国数学家约翰·泰特，甚至还包括了弦理论创始人物理学家威腾等等一众科学家坐在一起讨论新世纪难题。

就这样传说中的千禧年七大难题诞生了。p=p?成为了千禧年难题之首，而已经被宁孑证明的s方程问题，则同样属于一个困扰了数学家许多年的超级难题。

当然关于p=p？也有很长一段历史。

早在年计算复杂理论的科学家斯蒂芬·库克就在其《定理证明过程的复杂性》论文中提到了一类极为特殊的问题——p-问题。这类问题有两个特点，首先它必须是一个p问题，其次任何其它p类问题都可以归约到这个问题。

显然这种问题是非常复杂