</br>2023年2月15日，算力实验室！</br></br>“如果将模糊zadeh算子的定义域扩大，就可以重新定义模糊极大极小算子，使得满足交换律、结合律和零元律。“</br></br>叶非皱眉思索的看着面前写满公式的纸：“就可以求出图灵等价。”</br></br>现在他们已经研究到最后一步，而最后一步他们已经研究一周。</br></br>经过许多次失败后，叶非昨天想到利用模糊算子、神经网络和递归函数，求出图灵等价。</br></br>因为图灵等价还未证明出来，但模糊极大极小算子神经元网络已经被证明出来。</br></br>而模糊极大极小神经元网络的计算能力和图灵机类似。</br></br>所以，就可以用模糊极大极小神经元网络替换图灵机，就可以求出图灵等价。</br></br>现在关键是如何替换。</br></br>“周教授，来，我们用godel-kleen部分递归函数来求证。”</br></br>“好！”</br></br>研究到这一步，周教授感觉已经跟不上叶非的思路，叶非说什么他就做什么。</br></br>此时，他就是一个机器人，毫无感情的执行叶非下达的一切命令。</br></br>和叶非待的时间越久，他越发现叶非的天才。</br></br>而自己只是一个只知道执行命令的废物。</br></br>对，和叶非在一起，你别有思想，只把自己当废物。</br></br>如果有思想，最终你会发现，最终自己还是废物。</br></br>既然如此，不如一开始就把自己当废物。</br></br>反正，最后课题会研究出来，只需要耐心等着享受成果。</br></br>周教授不会像叶非的导师鲁一山一样，鲁一山会反思自己为何废物。</br></br>而周教授不会，他是完全把自己当废物。</br></br>鲁一山会因为自己在课题中起不到太大作用而难过，但周教授不会。</br></br>既然起不到太大作用，就听叶非的命令，抱大腿完成课题。</br></br>鲁一山会因为叶非太天才，而不想和他合作。</br></br>周教授不会，越天才越好，越天才自己要更加抱紧大腿，多多合作。</br></br>他还想着，图灵等价证明出来后，下一次两人再次合作。</br></br>下午五点！</br></br></br></br>“呼……”叶非长呼一口气，看着身旁的周教授，笑道：“周教授，我们成功了。”</br></br>“啊……”周教授如梦初醒，问道：“成功了吗？”</br></br>“嗯！”叶非点头：“成功了，你看这一步。”</br></br>说着叶非指着纸上的一段公式。</br></br>“当相等判定函数与布尔选择函数合在一起，模糊极大极小神经元网络就可以替换图灵机，也就证明出图灵等价。”</br></br>叶非笑道：“接下来的收尾工作交给你了。”</br></br>下面是验算，经过系统的提醒，他知道，他的证明是成功的。</br></br>但验算是每一个证明后必定要走的程序，所以，他把这个任务交给周教授。</br></br>“没问题！”周教授笑道。</br></br>图灵等价大部分工作是叶非做的，所以，为了抱紧大腿，其余工作周教授会做。</br></br>“论文通讯作者你要来当吗？”叶非问道。</br></br>每一个难题被证明后必定要写论文，叶非没问周教授谁写论文。</br></br>谁写论文倒不是说费心费力。</br></br>而是写论文的人必定是论文第一作者，第一作者在论文中是最重要的，这位置叶非不会让出去。</br></br>再说，让周教授写，他也写不出来。</br></br>因为图灵等价中大部分难题是叶非解决的。</br></br>也只有叶非才能写出最完美的论文。</br></br>所以，第一作者是叶非，下面就讨论通讯作者是谁了。</br></br>这是论文中第二重要的位置。</br></br>“不了！”周教授没觉得自己在这次课题中起多大作用，他不好意思占通讯作者。</br></br>通讯作者虽然比第一作者次一点，但却掌握着论文的版权。</br></br>并且，如果他占通讯作者这个位置，在外人看来，是他指导叶非写论文。</br></br>他真不好意思说自己指导叶非，是叶非指导自己还差不多。</br></br>再说，如果他真占这么大便宜，惹恼叶非，下次两人再也没合作机会了。</br></br>科学的抱大腿方法，需要把控好尺度。</br></br>有些便宜可以占，有些便宜不能占。</br></br>叶非点了点头，也没推辞，道：“那你当二作吧！”</br></br>“行！”周教授点头：“验算完后，我把完整的证明过程发给你。”</br></br>在做课题的时候，所有证明资料有些杂乱，需要事后整理。</br></br>而验算的过程中，刚好可以整理资料。</br></br>其中就有完整的证明过程。</br></br>“好！”叶非道。</br></br>分工已经明确，周教授验算证明过程，叶非写论文。</br></br>叶非一边向宿舍走去，一边心中思索：“图灵等价问题证明成果，等到论文写完后，开始教百度公司的员工和与超算中心的合作。”</br></br>叶非的算法创造法是被百度买走的，一半的钱已经在一周前打到。这候 章汜</br></br>“对了，这两件事不知道能不能设置成任务？”</br></br>说着，叶非在系统中设置任务。</br></br></br></br>“这么少？”叶非诧异：“看样子不是解决难题，积分奖励非常少。”</br></br>“再试试这个。”</br></br>制大 zcwx8.com 制枭</br></br>“50积分？”叶非惊愕：“积分值是解决图灵等价这一类难题的一半了，看样子又是一个难啃的骨头。”</br></br>叶非以为，自己都创造出数学算法，再以数学算法去创造超算算法，应该挺简单的。</br></br>本章未完，请点击下一页继续阅读后面精彩内容！</br></br>但通过积分值看，难度有些高。</br></br>“叶非！”这时，许院长从不远处走来。</br></br>“许院长！”叶非道。</br></br>“你准备一下，这个月月底和我去领奖，你计算机奖获奖了。”</br></br>叶非眼前一亮，连追问道：“获几个奖”</br></br>“你猜？”许院长笑道。</br></br>叶非摇头，觉得许院长都五十多岁的人了，还这么幼稚。</br></br>你猜？</br></br>你看我猜不猜？</br></br>叶非道：“月底多少号？”</br></br>这候 zcw*x8*.com 章汜。“28号。”</br></br>“好！”叶非点头：“到时候您提前一天打电话给我。”</br></br>2月28日，距离现在还有将近半月时间。</br></br>“行！”许院长点头，问道：“你今天离开实验室挺早啊！”</br></br>叶非道：“课题研究成功了，剩下的收尾工作全部交给周教授，我回去写论文。”</br></br>“研究成功了？”许院长惊讶：“你是说图灵等价？”</br></br>“嗯！”叶非点头。</br></br>“你真成功了？”许院长惊讶的瞪大眼睛。</br></br>那可是图灵等价，困扰无数数学家和计算机科学家八十六年难题，就这样被证明出来了？</br></br>“真成功了。”叶非道。</br></br>“不可能吧！”许院长还是不敢相信。</br></br>“你去问问周教授就知道了。”叶非摆摆手道：“我回去了。”</br></br>他打了一个哈欠，道：“这段时间都没睡好觉，我要回去睡一觉。”</br></br>证明图灵等价最后阶段，他和周教授没日没夜的工作，每天只睡四个小时，除了吃饭和上洗手间，其余时间都在工作。</br></br>293063229306/br></br>许院长快速向算力实验室赶去。</br></br>等到算力实验室后，求证周教授真的证明出图灵等价。</br></br>他惊呼道：“竟然真的成功了，周教授，你可不能骗我。”</br></br>“我骗你做什么？”周教授不耐烦的道：“过几天叶非的论文就写好了，你到时候就能看到了。”</br></br>“真证明出来了。”许院长惊讶的道。</br></br>他倒吸一口凉气，心中震惊：“很少见过有人在两个领域内都是顶级天才，而叶非就是。”</br></br>“他不仅是数学顶级天才，也是计算机顶级天才。”</br></br>“怎么才能把他挖来呢？”</br></br>制大 zcwx8.com 制枭。许院长心中宛若百爪挠心，对叶非更加垂涎三尺。</br>