154 不是问题的严重问题
外界闹得沸沸扬扬，陈永刚电话都接不完的时候，宁孑的办公室里显得特别安静。
有了之前宁孑在博士楼小房间里接待贵客时，位置都没得坐的教训，学校后勤部门在对待宁孑这个套间的布置上还是很用心的。
不止有一个长排的大沙发能宽松的坐三个人，还有两个独立的真皮沙发围着高档的实木茶几，斜侧放在两边，以方便大家坐在一起讨论。
这也方便了思科四个人围着茶几坐着。
多米尼特·邓肯跟科南·拉马尔两位外籍教授坐在长排大沙发的两端，而卢正月跟宁孑则占了两侧的单独沙发。
三个人正在浏览着刚刚拿到手上的论文，宁孑则抱着三月坐在一边，偶尔开口回答一、两句某人看论文时提出的问题。大概一个小时候，卢正月率先放下论文了，摘下老花镜，舒展身体时顺便看向宁孑的目光，向是在看一个怪物。
“宁孑，你是从什么时候开始做NP问题这个课题的？”
虽然论文只是粗读了一遍，但卢正月已经宣布放弃在短时间内去通读论文的想法。
一来这本就不是他的研究方向，他也不方便去置评；二来，年纪大了，思维是真跟不上了，沉浸式阅读文献片刻后，便感觉到精力不济。
不过虽然卢正月没有专门研究过NP类问题，但是数学在优化方面却是相通的。并不是完全读不懂，起码他能看懂这篇文章可能在数论界带来怎样的影响。
“之前就考虑过做这方面的课题，还是在邓肯教授刚来华夏那会儿，我就跟他聊过这个问题。”宁孑答道。
尽量让这个时间段拉得长一些，这样才显得不那么突兀，但即便如此，却也足以让卢正月咋舌。
毕竟多米尼特·邓肯来体大交换的时间并不长，去年暑假初来的，这满打满算离一年也还差了大半个月。如果最后这篇文章数学界挑不出太多问题，意味着宁孑用一年时间将克雷研究所提出的千禧年七大难题之首，又往前推进了一大步，甚至可以说距离证明P≠NP已经只有一步之遥，无非就是接下来的验证跟计算工作极为繁琐。
但这其中的意义显然不止于此。
因为整个证明过程中宁孑再次提出了许多很有意思的数学方法，这些方法在卢正月看来对数学归纳法的发展以及用于研究量子世界数学问题的泛函分析等方面都很有启发。
其实数学家对于数学问题的推进，本就是丰富数学工具库的过程。比如微积分就可以理解为一种解决一类问题的数学方法。大名鼎鼎的泰勒公式、傅里叶变换，都是如此。数学家们通过找到规律，给出这些解决问题的公式，让人们通过数学解决实际问题变得更为简单。
这其中也包含了宁孑解决NS方程的论文，