他说的是‘高斯奖’。
高斯奖，是国际应用数学的最高奖项，专门用于奖励应用数学方向的成果。
……
下午，张硕一直待在数学科学中心，他和邱成文以及几个教授讨论了很久。
在其他人看来，张硕的主要领域是计算数学，尤其是偏微分方程的计算，讨论的话题一直都围绕偏微分方程的研究。
邱成文谈到了偏微分方程领域，受到观众最多的研究内容——NS方程论证。
“张硕教授，你完成了NS方程数值模拟的研究，下一步可以试着去论证NS方程。”
“这是一个很好的方向，也是很难的方向。”
“这个方向已经很久没有进展了，不求能完成所有的论证，能有一个小进展也是好的。”
邱成文说的很认真，他们也谈起了NS方程论证的研究方向。
过去几十年时间里，NS方程论证主要有两个方向。
第一个方向就是研究方程的部分正则性，这种方法基于无限时间奇异性思想和分型思想来研究弱解奇异集的大小。
第二个方向就是对已知的弱解附加某些标准，并证明其唯一性和光滑性。
新世纪以来，很多人都以第二个方向进行研究，并发表了大量的论文，绝大部分结果都证明方程光滑解的存在。
这种证明是不完善的，因为他们没有考虑奇点问题。
邱成文说道，“你在NS方程数值法上，研究的已经很透彻，可以以此为突破点从弱点的论证方向进行研究。”
当谈到NS方程解的论证，其他人都说不了话了。
这个问题难度太高。
张硕则是摇头说道，“我完成了数值模拟的研究，才更清楚从弱解的方向出发，根本没有希望能够完成论证。”
“哦？”
邱成文顿时来了兴趣。
其他看过来的目光也有些惊讶，极少见到有人能当面否定邱成文的观点。
张硕则是道，“弱解，不是数值解，但也不是严格的精确解，NS方程之所以研究弱解，就是因为求解难度太高。”
“但是，论证弱解和数值模拟类似，都存在一个大问题，也就是不能确定是否存在奇点。”
“即便是做再多的论证，证明更多已知弱解的唯一性，也不可能绕开奇点问题。”
“所以想要完成证明，就必须要从奇点问题出发。”
他
…。。