111基地,1号实验室!
“叶研究员!”一位研究实习员,道:“这里面涉及p=Np,应该怎么办?”
叶非在超算中心的职位是研究员。
叶非道:“用Np图灵完全性!”
数学界有七大难题,又称为千禧年难题。
证明出任何一道题,就能获得数学界最高奖项,菲尔兹奖。
而其中就有p=Np,其实它也是计算机领域的问题。
Np图灵完全性!
解释起来很复杂,所以不解释。
只需要知道,p是一类,Np是一类。
如果能证明出p=Np。
人类不会生病,人类会和神一样,预测未来,人类的精神世界得到完全满足。
像什么人工智能、VR、宇宙航行、穿梭平行世界,能想到的科幻事件,都能实现。
最爽的就是人工智能可根据人的心理和生理需求,为你量身打造提供,你想到和没想到的一切需求。
实习员道:“你指的具体是哪方面?”
叶非道:“递归集合组成的递归可变现的类、间隙语言和迟滞对角线法。”
这时,叶非的手机响了。
叶非工作时都是手机关机,但今天因为有事,所以把手机开机。
叶非拿起看一眼,是许主任发给他的信息。
许主任在超算中心不管科研,只管行政管理,主要是做一些杂事。
毕竟,在超算中心,不是所有事都是科研,还有一些不属于科研,但比较复杂的事情。
这些事情都是许主任处理。
就比如今天多国考察团的接待,他是要全程陪同。
这些考察团到哪个基地,就发信息给那个基地的人出来接待。
叶非看到信息后,向外面走去。
“叶研究员!”许主任看到叶非后,和叶非笑着握手,道:“下面交给你了,没问题吧!”
叶非偏头看一眼不远处的一群人,差不多有二十人左右。
一半是亚洲人,三位印国人,七位是欧洲人。
叶非点了点头,道:“没问题。”
许主任走向人群,道:“各位,这里是111基地,下面由111基地的叶研究员给各位讲解111基地的基本情况。”
叶非走到人群前,道:“各位,请随我来吧!”
随即,他领着众人向111基地里走去。
一位中年矮小男子,问道:“你们这里的算力是多少?”
叶非看了他一眼,许主任在一旁悄声,道:“他是东瀛国的河野义怀。”
叶非道:“三亿亿次。”
“三亿亿次?”一位戴着眼镜的中年男子疑惑的道:“我记得沙丘超算中心浮点运算次数是1.09亿亿次吧!”
许主任道:“这位是京都航空大学杨思理教授。”
叶非对杨思理点了点头,他也向叶非点了点头。
叶非道:“确实以前是1.09亿亿次,但我们也是要进步的,不可能原地踏步,一周前,我们的算力已经突破到三亿亿次。”
“这不可能!”河野摇头道:“我两年前也来这里,当时你们的浮点运算次数还是1.09亿亿次。”
“你们能在短短两年,增加两亿亿次?”
叶非道:“两年增加两亿亿次怎么不可能?2010年,天河一号浮点运算次数是2.57亿亿次,到2015年的神威太湖之光,浮点运算次数达到12.54亿亿次。”
“五年增加十亿亿次。”
“我们这里两年增加两亿亿次,也不是很夸张吧!”
河野道:“神威太湖之光之所以浮点运算次数那么高,是因为硬件原因。”
“而沙丘的超算,用的硬件虽然和天河一号一样,但操作系统不如天河一号。”
超算看重硬件,也看重软件!
硬件虽然很重要,但软件更加重要。
硬件是基础,软件是灵魂。
硬件决定超算的起点,软件决定超算的终点,软件也就是操作系统。
“操作系统是不如天河一号,但我们也是要研发的。”叶非道:“现在我们在操作系统的算法上用数学算法替代。”
“数学算法?”河野嗤笑道:“就是叶非创造出来的算法?能应用到超算上?”
“这可不是家用电脑,而是超算。”
“就算是叶非本人,都很难做到吧,你111基地就能做到?”
其余人点了点头,是的,这可是超算。
超算和家用计算机可不同,超算的科技含量非常高,硬件和软件都非常复杂。
家用计算机的科技含量,和超算相比,一个天一个地。
家用计算机在超算面前,犹如蚂蚁和大象的区别。
数学算法能用到家用计算机上,但无法确定,能用到超算上。
叶非道:“如果你们不信,我可以给你们看看浮点运算次数。”
叶非看向身旁的许主任,这事他不懂行不行,还是要问问许主任。
许主任点了点头,看浮点运算次数不算技术泄漏。
他们只是看到一组数字,操作系统的代码又看不到。
叶非带着众人进入算力测试室。
里面的人看到叶非,立即站起身,道:“叶研究员。”
“嗯!”叶非点了点头道:“把benchmark打开,测试一下算力。”
benchmark是超算算力测试软件,它比Abtest有很大区别。
Abtese算力测试是应用于家用计算机上测试算力的软件,测试时间长,数据不是非常精准。
而benchmark是应用于超算上测试算力的软件,测试时间非常短,即使是超算算力,也能在很短时间测试出来。
浮点运算次数十亿亿次以内,十分钟就能测试出来。
浮点运算次数百亿亿次以内,一个小时测试出来。
“好的!”
十分钟后,叶非指着电脑屏幕,道:“各位请看吧!”
众人惊讶的看到,浮点运算次数达到3.05亿亿次数。
“真是3.05亿亿次数!”众人惊呼。
“这真是数学算法达到的?”杨思理问道。
其余人都看向叶非。
叶非点了点头:“确实是数学算法做到的,现阶段只是我们的实验阶段,在未来几个月,算力还会快速提升。”
“叶研究员!”这时,一位中年男子冲进来,看到叶非,兴奋的道:“算力又突破了。”
“又突破了?”叶非眼前一亮,问道:“这次达到多少?”
实验过程就是不断尝试的过程。
数学算法加入到超算中,叶非也是摸着石头过河,还好,效果很不错。
从1.09亿亿次超算,每过一段时间,就增加几千万亿次浮点运算次数。
中年男子看一眼那些考察团人,表情犹豫。
叶非笑道:“没事,说吧!”
他们说的是夏国话,那帮外国人听不懂,夏国人听了也没事。
再说,就算让那帮外国人听了也没事。
让他们知道浮点运算次数,他们最多就知道一组数字,又不属于技术泄漏。
中年男子道:“这次增加的多,3.2亿亿次,增加了0.15亿亿次。”
“这么多!”叶非笑道:“不错!”
“一周就突破0.15亿次?”这时,考察团中有一位印国人,道:“骗人的吧!”
这位印国人听得懂夏国话。
他还记得叶非之前说3.05亿亿次是一周前的记录,现在又突破到3.2亿亿次,那就是一周突破0.15亿亿次。
如果叶非没骗人的话,这也太惊人了。
“嗯?”在场夏国人都盯着那位印国人,叶非问道:“你听得懂夏国话?”
印国人道:“我是在夏国上的大学。”
“奥!”叶非点了点头:“确实是一周突破0.15亿亿次。”
在场听得懂夏国话的人,都惊讶的看着叶非。
“不可能吧!”杨思理教授惊愕的道:“这怎么可能呢!”
这太惊人了,一周突破0.15亿亿次,神都做不到。
叶非打开电脑上的算力记录图,这个图无法作假,他是benchmark上后台记录。
除非,你费力的重新制作一款benchmark,然后又费力的在后台制作一个算力记录图。
但很少有人做这吃力不讨好的事。
就算做了有什么意义呢!
“请看吧!”叶非道:“这是我们这两个月的算力突破情况。”
在场听不懂夏国话的人,在其余人解释下,都看向算力记录图。
看完后,他们惊呼道:“这怎么可能?”
图上记录,算力从1.08亿亿次突破到3.05亿亿次,只用了两个月时间。
对,刚刚又突破到3.2亿亿次。
两个月突破了2.12亿亿次,这不是在做梦吧!
杨思理激动的道:“这真是数学算法做到的??”
“当然!”叶非点头。
众人目瞪口呆,没想到数学算法真的能用于超算中。
而且效果还这么好。