等价性函子的证明过程，太复杂了。
即便是以查尔斯费夫曼他们的脑子，也差点看不懂，耗费了十多天的时间，他们便带着问题来找王多鱼了。
如果说丘成桐他们这群人是十多岁的孩子，那么第一篇证明论文还仅仅只是初中生的难度，而第二篇论文就是大学的难度了。
这种难度系数是几何倍数的增长，当然会让他们有点抓狂了。
王多鱼被他们团团围住，有点无奈。
聊了两个小时之后，王多鱼不得不主动说道：
“这样吧，我认为你们还是再多花一点时间去审核，如果有需要的话，你们可以随时借用哈工大的计算机来验证”
丘成桐他们闻言，连连摇头。
哈工大的计算机，跟冰城高等研究院的计算机，并没有什么两样。
因为都是同步更新软硬件，可不会有什么差异。
再说了，他们可都是数学家，极少数情况下才会使用到计算机，更多时候，他们都是依赖于自己的大脑。
也不是他们不愿意使用高科技，而是他们更相信自己的大脑。
“下个月你计划哪一天进行月度分享？我希望你可以早一点，可以么？”
大卫布莱恩特曼福德问道，其他人也是连连点头表示赞同，王多鱼却是摇头道：
“就算我早一点分享，你们就能够读懂更多了么？”
今天都已经二十三号了，他们却还没有吃透等价性证明，王多鱼要是将这个证明完全拆分的话，他肯定需要再补充好几百页的论文。
具体是多少页，就取决于他们能够读懂多少了。
顶级数学家之间，也是有差距的，而且彼此间的差距，同样非常大。
比如陈省身和丘成桐，两人是师徒关系，但并不能完全说丘成桐的数学天赋就远超他师傅。
因为全能型数学天才，跟在某一领域顶尖，这是两码事。
再比如说亨利庞加莱，他就是数学和数学应用领域具有全面知识的全才数学家，涉及了数论、代数学、几何学、拓扑学、天体力学、数学物理、多复变函数论、科学哲学等多个领域。
在本世纪比较牛逼的数学家，有已经去世的伯特兰罗素、亨利庞加莱和冯诺依曼，还有已经转行的亚历山大格罗滕迪克。
后者是现代代数几何的奠基者，主要研究包括连续与离散的对偶性、黎曼-洛赫-格罗腾迪克定理、稳和拓扑、非阿贝尔代数几何学等等。
其中的黎曼-洛赫-格罗腾迪克定理，把黎曼-罗赫定理由代数曲线和代数曲囱推广到任意高维代数簇，期间发展了拓扑K理论。
只不过，格罗滕迪克这家伙在一九六六年获得菲尔兹奖的时候，却拒绝前往北极熊帝国领奖，然后次年就跑去了猴子半岛旅行。
众所周知，一九六七年的时候，猴子半岛还在内战呢，这个是跑去那边旅行，也是牛人。
后来格罗滕迪克退出了数学界，准确来说，他被数学界抛弃了，因为他给法兰西学院和法兰西国家科学研中心求职，都被拒绝了。
于是从一九七三年之后，他就研究起反正统文化，现在是蒙皮利埃大学的教授。
这家伙从一九八零年到一九九五年之间，写了四本书，其中最著名的就是一九八五年写的自传式书记《收获与播种》。
两千页的自转，总结起来就是三段感情：女人、数学和默想。
该说不说，格罗滕迪克这家伙的数学天赋，确实非常牛逼，只可惜他过于自负了。
“那我们再看看吧”
丘成桐沉默过后，应声说道。
查尔斯费夫曼等人虽然不愿意承认，但却只能够无奈点头。
他们跟王多鱼之间的差距，非常大。
以前或许不觉得，但在一些尖端领域，这种差距，就会让人绝望。
其实他们之所以会答应留在冰城高等研究院，某种程度上来说，就是向他服软。
当年亚历山大格罗滕迪克也是这样，他当年从美国回到巴黎之后，身边也同样齐聚了不少顶尖数学家。
他教导出来最牛的学生便有皮埃尔德利涅和米歇尔雷诺，其中的皮埃尔德利涅便在一九七八年的时候拿到了菲尔兹奖。
尽管查尔斯费夫曼他们并不知道当年格罗滕迪克时代是有多么辉煌，但如今是王多鱼的时代，他们当然非常清楚王多鱼究竟有多么牛逼。
“嗯，那就这样吧，如果没有多大的意外，那么下个月的数学分享，还是在四五号左右”
王多鱼笑着点头说道。
丘成桐等人闻言，满意地离开了。
既然无法从王多鱼这里获取更多更详细的证明，那么他们只能够回去之后，再慢慢研究了。