下面是验算，经过系统的提醒，他知道，他的证明是成功的。
但验算是每一个证明后必定要走的程序，所以，他把这個任务交给周教授。
“没问题！”周教授笑道。
图灵等价大部分工作是叶非做的，所以，为了抱紧大腿，其余工作周教授会做。
“论文通讯作者你要来当吗？”叶非问道。
每一个难题被证明后必定要写论文，叶非没问周教授谁写论文。
谁写论文倒不是说费心费力。
而是写论文的人必定是论文第一作者，第一作者在论文中是最重要的，这位置叶非不会让出去。
虽然一作可以同时有多人，但必须是多人在论文中的贡献相等，才能多人。
可是课题研究大部分功劳是叶非的，所以一作只能是叶非一人。
即使让周教授去写，他也写不出来。
因为课题中很多难题是叶非解决的，有些问题至今周教授都没搞明白。
“不了！”周教授没觉得自己在这次课题中起多大作用，他不好意思占通讯作者。
通讯作者虽然比第一作者次一点，但却掌握着论文的版权。
并且，如果他占通讯作者这个位置，在外人看来，是他指导叶非写论文。
他真不好意思说自己指导叶非，是叶非指导自己还差不多。
再说，如果他真占这么大便宜，惹恼叶非，下次两人再也没合作机会了。
科学的抱大腿方法，需要把控好尺度。
有些便宜可以占，有些便宜不能占。
叶非点了点头，也没推辞，道：“那你当二作吧！”
“行！”周教授点头：“验算完后，我把完整的证明过程发给伱。”
在做课题的时候，所有证明资料有些杂乱，需要事后整理。
而验算的过程中，刚好可以整理资料。
其中就有完整的证明过程。
“好！”叶非道。
分工已经明确，周教授验算证明过程，叶非写论文。
叶非一边向宿舍走去，一边心中思索：“图灵等价问题证明成果，等到论文写完后，开始与超算中心的合作。”
“对了，这件事不知道能不能设置成任务？”
说着，叶非在系统中设置任务。
【任务：与国家超算沙丘中心合作，创造超算算法（0%）
详情：以数学算法创造超算算法
奖励：50积分】
“50积分？”叶非惊愕：“积分值是解决图灵等价这一类难题的一半了，看样子又是一个难啃的骨头。”
叶非以为，自己都创造出数学算法，再以数学算法去创造超算算法，应该挺简单的。
但通过积分值看，难度有些高。