他们已经进行了十多天的审核，然而还是遇到了很多问题。
等价性函子的证明过程，太复杂了。
即便是以查尔斯费夫曼他们的脑子，也差点看不懂，耗费了十多天的时间，他们便带着问题来找王多鱼了。
如果说丘成桐他们这群人是十多岁的孩子，那么第一篇证明论文还仅仅只是初中生的难度，而第二篇论文就是大学的难度了。
这种难度系数是几何倍数的增长，当然会让他们有点抓狂了。
王多鱼被他们团团围住，有点无奈。
聊了两个小时之后，王多鱼不得不主动说道：
“这样吧，我认为你们还是再多花一点时间去审核，如果有需要的话，你们可以随时借用哈工大的计算机来验证”
丘成桐他们闻言，连连摇头。
哈工大的计算机，跟冰城高等研究院的计算机，并没有什么两样。
因为都是同步更新软硬件，可不会有什么差异。
再说了，他们可都是数学家，极少数情况下才会使用到计算机，更多时候，他们都是依赖于自己的大脑。
也不是他们不愿意使用高科技，而是他们更相信自己的大脑。
“下个月你计划哪一天进行月度分享？我希望你可以早一点，可以么？”
大卫布莱恩特曼福德问道，其他人也是连连点头表示赞同，王多鱼却是摇头道：
“就算我早一点分享，你们就能够读懂更多了么？”
今天都已经二十三号了，他们却还没有吃透等价性证明，王多鱼要是将这个证明完全拆分的话，他肯定需要再补充好几百页的论文。
具体是多少页，就取决于他们能够读懂多少了。
顶级数学家之间，也是有差距的，而且彼此间的差距，同样非常大。
比如陈省身和丘成桐，两人是师徒关系，但并不能完全说丘成桐的数学天赋就远超他师傅。
因为全能型数学天才，跟在某一领域顶尖，这是两码事。
再比如说亨利庞加莱，他就是数学和数学应用领域具有全面知识的全才数学家，涉及了数论、代数学、几何学、拓扑学、天体力学、数学物理、多复变函数论、科学哲学等多个领域。
在本世纪比较牛逼的数学家，有已经去世的伯特兰罗素、亨利庞加莱和冯诺依曼，还有已经转行的亚历山大格罗滕迪克。
后者是现代代数几何的奠基者，主要研究包括连续与离散的对偶性、黎曼-洛赫-格罗腾迪克定理、稳和拓扑、非阿贝尔代数几何学等等。
其中的黎曼-洛赫-格罗腾迪克定理，把黎曼-罗赫定理由代数曲线和代数曲囱推广到任意高维代数簇，期间发展了拓扑K理论。
只不过，格罗滕迪克这家伙在一九六六年获得菲尔兹奖的时候，却拒绝前往北极熊帝国领奖，然后次年就跑去了猴子半岛旅行。
众所周知，一九六七年的时候，猴子半岛还在内战呢，这个是跑去那边旅行，也是牛人。
后来格罗滕迪克退出了数学界，准确来说，他被数学界抛弃了，因为他给法兰西学院和法兰西国家科学研中心求职，都被拒绝了。
于是从一九七三年之后，他就研究起反正统文化，现在是蒙皮利埃大学的教授。
这家伙从一九八零年到一九九五年之间，写了四本书，其中最著名的就是一九八五年写的自传式书记《收获与播种》。
两千页的自转，总结起来就是三段感情：女人、数学和默想。
该说不说，格罗滕迪克这家伙的数学天赋，确实非常牛逼，只可惜他过于自负了。
“那我们再看看吧”
丘成桐沉默过后，应声说道。
查尔斯费夫曼等人虽然不愿意承认，但却只能够无奈点头。
他们跟王多鱼之间的差距，非常大。
以前或许不觉得，但在一些尖端领域，这种差距，就会让人绝望。
其实他们之所以会答应留在冰城高等研究院，某种程度上来说，就是向他服软。
当年亚历山大格罗滕迪克也是这样，他当年从美国回到巴黎之后，身边也同样齐聚了不少顶尖数学家。
他教导出来最牛的学生便有皮埃尔德利涅和米歇尔雷诺，其中的皮埃尔德利涅便在一九七八年的时候拿到了菲尔兹奖。
尽管查尔斯费夫曼他们并不知道当年格罗滕迪克时代是有多么辉煌，但如今是王多鱼的时代，他们当然非常清楚王多鱼究竟有多么牛逼。
“嗯，那就这样吧，如果没有多大的意外，那么下个月的数学分享，还是在四五号左右”
王多鱼笑着点头说道。
丘成桐等人闻言，满意地离开了。
既然无法从王多鱼这里获取更多更详细的证明，那么他们只能够回去之后，再慢慢研究了。
这天过后，王多鱼的工作和生活都归于平静。
在计算流体力学仿真软件项目部门，这天的王多鱼来到了这里，姜伯驹他们正在讨论基于计算流体力学方法求解流体润滑的问题。
针对这个问题，王多鱼没有第一时间开口，而是安安静静地听着他们讨论。
要知道，全球对流体润滑的理论研究绝大部分都是建立在半个多世纪前，从纳维斯托克斯方程中推导出来的雷诺方程的基础上，在它的推导中进行了各项简化的假设，比如忽略了惯性项、假设粘度和密度不变等等。
“.这种假设简化了求解过程，缩小了问题的范围，提高了计算效率，并被证明在油膜厚度和接触长度的比率比较小时，可用来近似求解油膜流体润滑问题.”
姜伯驹侃侃而谈地说道：
“但是，如果油膜厚度和接触长度比较大、壁面间的油膜中包含几何扰动、瞬时动载和高的情况下，以及考虑影响等时，被忽略的影响将显著加强，这个时候，近似的雷诺方程就显得不合适了”
作为北大数学教授，姜伯驹的数学理论研究非常深入，整个研究小组，都在认真听他陈述该问题。
计算流体力学仿真软件项目是在一九八一年三月份成立的，当时姜伯驹就已经从北大离开，直接加入到哈工大，然后进入了这个项目当中。
并且之后，一直都是这个项目最重要的技术负责人之一。
哈工大能够在过去这些年，陆陆续续拿出无绳电话机、仿真软件、HS213存储器等产品，除了哈工大本身之外，也是因为有更多的新加入的哈工大人，大家一起齐心协力，这才推动了哈工大的全面发展。
类似姜伯驹等人。
而丘成桐他们这些人其实并不算，因为他们只是搞数学理论研究，并不是搞数学应用方面的科研。
当然这并不能说丘成桐他们这些人就不重要了，相反，丘成桐、约翰米尔诺、查尔斯费夫曼他们这些人是数学理论的研究员，研究的是未来几十年、几百年，甚至是上千年才有可能会应用到实际生活当中的理论科研。
他们搞的是理论思想指导，是最前沿的科研理论研究工作。
数学应用则是针对当下的科研，是能够马上看得到摸得着的科研工作。
王多鱼听了一会儿之后，突然插入他们的话题，道：
“姜教授，如果我没有记错的话，其实我们现在的仿真软件已经完成了各类网格相关的模型软件，用于求解流体润滑问题的流程，直接采用雷诺方程求解流体润滑问题，其流程应该是大体相同吧？”
姜伯驹闻言，点头表示赞同：
“没错，确实是相同，这就是我接下来要说的关键在建立物理模型、对模型进行有限单元化、定义域、设定初场和边界条件、选择求解模型、求解方程、定义求解参数、运算求解和数据后处理等，其实都一样，我们现在可以看显示屏这边的画面.”
计算机显示屏上面展出了仿真软件，上面的图示就是一个求解流体润滑问题的模型，以及一些数值。
雷诺方程一般采用有限差分法进行离散，而目前仿真软件所采用的计算流体力学方法通常使用的是有限单元法进行离散化。
由于采用有限体积法进行求解，因此可以获得较传统方法更精确的微元离散化，可以求解更加复杂、精度更高的问题。
王多鱼一边听着，不时地点头附和。
等他离开办公室出来之后，已经是两个小时之后的时间了。
苏正淮已经来到了他跟前，面色古怪，说话吞吞吐吐：
“教授，刚才您家里那边打来电话，说是家里来客人了”
“谁来了？”王多鱼皱眉，苏正淮不应该是这样的表情啊，有什么事情就不能够直接说么？
“教授，是.您儿子他母亲来了”
朱玲又来看他儿子了？
过去几个月时间里，朱玲可是每隔一段时间就会过来哈工大这边看望王君宏，看样子是试图挽回她跟她儿子之间的感情。
也许，她是希望能够在刘晓俪怀孕之前，顺利跟王多鱼复婚，那么她也可以回到之前的那种平和关系了。
由于刘晓俪那么长时间，肚子里都没有动静，每次来的时候，朱玲虽然没有嘲笑对方，但她总是会抱着王君宏来一句：真乖，儿子，你可是我亲生儿子，血浓于水.
杀人诛心啊！
每次都把刘晓俪气得不轻。
可以说，刘晓俪之所以那么急要孩子，朱玲的刺激也是主要原因之一。
现在刘晓俪已经怀上了，朱玲肯定不敢作妖了吧？
但此时王多鱼听到朱玲登门了，突然脸色大变，因为他还是担心朱玲会失去理智。
PS：3号结束前，月票能过200么？过了，我就加更一章！
第228章 ，人生若只如初见
一九八三年五月二十八日，下午五点二十分。
平日里，这个时间点的王多鱼，肯定还在办公室工作，绝对不会在这个时候跑回家的。
但今天是特殊情况，因为朱玲来了。
或者更准确来说，说不定朱玲已经知道刘晓俪怀孕这件事，然后一时间想不开，做出一些让刘晓俪和王多鱼都会后悔的事情来。
因为朱玲以前可是医生，她能够在她母亲不知道的情况下，成功打掉孩子，而且事后没人知道。
尽管刘晓俪肯定会千防万防，绝对不会让朱玲有任何可乘之机。
可是要知道，老话常说一孕傻三年，虽然刘晓俪并不一定会变傻，但万一呢？
总之，王多鱼不敢保证会不会发生这件事，他都要第一时间回家去看看。
“教授，我错了！”
从实验楼这边返回别墅区的路上，苏正淮不停地道歉，因为他没有想到王多鱼居然如此愤怒，如此焦急。
王多鱼没有说话，他只是催促保卫科职员再开快一点。
校园内的汽车，行驶速度是不能过快的，保卫科职员也没办法，只能够眼观六路耳听八方，尽可能地快一点。
很快，汽车停靠在了别墅门口，车都还没停稳呢，王多鱼已经第一时间推门冲出去了。
别墅内，刘晓俪跟朱玲两人还有说有笑地聊着天，一旁的小家伙正在玩着，不时地跟她们俩炫耀什么。
除此之外，王美荷跟王美丽两姐妹也在，而梁秀芬则是在厨房里忙碌着。
“哥，你怎么这么快就回来了？才五点多啊，你这回来也太早了吧？”
看到她九哥出现在家门口，王美荷两姐妹顿时惊讶不已，刘晓俪也同样站了起来，表情写满了好奇。
此时此刻的王多鱼，呆愣在原地，他万万没想到，朱玲和刘晓俪两人居然能够说说笑笑？
或许是因为王美荷两姐妹也在吧，否则的话，刘晓俪和朱玲两人绝对不可能对彼此露出笑脸。
“嗯，我今天工作少，所以早点回家。”
王多鱼顺手抱起冲过来的小家伙，然后冲朱玲打招呼。
毕竟是客人，而且人家也是前妻，孩子的母亲，在孩子面前，王多鱼总不能黑着脸吧？