第76章 想法
到了九月,气温还是没降下来!
陆晨阳看了一个新闻,觉得很有趣,就自己开始研究一下。
新闻说,第44个梅森素数被人发现了,那么多年,居然才发现了44个,速度有些慢啊!
素数,又称为质数,指的是大于1的整数中只能被1和自身整除的,素数已经被反证法证明有无穷多个,2、3、5、7、11这些都是素数。
梅森是位数学家,为了纪念他,把符合2^p-1的形式的称为梅森数,用Mp=2^p-1的形式表达,其中p为素数。
当Mp也是素数的时候,如3、7、31、127,这些满足表达式的素数又称为梅森素数,在没有计算机的时代,靠着个人的计算,当数字变大以后,梅森素数的发现变得很困难。
首先最大素数的发现和证明就是一件困难的事情,1772年,数学家欧拉在数目失明的情况下靠着心算证明了2147483647是一个素数,进而得知它是第八个梅森素数。
后来数学家卢卡斯提出了一个判别Mp是否为素数的定理,称为卢卡斯定理,并且他证明了M127是素数,这是靠手工发现的最大素数。
而有了计算机以后,可以利用计算机程序来寻找梅森素数,这之后所有的发现都离不开计算机,因为随着指数P的增大,每一个梅森素数产生变得更加艰难,梅森素数M44497是靠着超级计算机Cray-1发现的。
后来,Cray-XMP、NEC-SX2、Cray-T94等计算机的加入促进了梅森素数的发现。
只是由于使用超级计算机寻找梅森素数的代价很昂贵,到了互联网时代以后,沃特曼和库尔沃斯基等人建立了第一个基于互联网的分布式计算项目,因特网梅森素数大搜索——GIMPS。
你可以在GIMPS的主页上下载一个计算梅森素数的程序,参与到梅森素数的搜索,通过这种方式,不仅成本降低,而且参与度有很大提升,即便是普通人也可以加入到寻找的行列。
EFF在1999年宣布,为通过GIMPS项目寻找新的更大的梅森素数而设立奖金,向第一个找到超过100万位数的个人或机构颁发5万美金,第一个找到超过1000万位数的奖励10万美金,第一个找到一亿位数的奖励15万美金,超过10亿位数的奖励25万美金,任何的发现者都有3000美金的奖励。
遗憾的是,到第44个梅森素数发现为止,还没有一个是国人发现的,关于梅森素数分布规律的研究,只有一个周氏猜想是有关这方面的,至于具体发现梅森素数,国人是毫无建树,这也没办法苛责,毕竟知道的人都很少。
而第44个梅森素数还没突破一千位,如果能找到第45个,那可不仅是10万美金的奖励,这点钱谁在乎,更重要的是名誉啊,一个留名的机会。
到了公司后,陆晨阳就把自己看到的新闻说给公司里的程序员听,想问问他们能不能利用公司的计算机,在机器空闲的时候,也能发挥下余热,搞一搞看看能不能有所发现,或者是通过发布一个类似的程序,让更多人参与进来。
对于陆总的突发奇想,一群人都有些懵比,他们以为陆总找他们又是为了项目的事,这一点对他们来说还在自己预知的范围内,可是当陆晨阳开口说数学问题,他们就觉得不太正常了,这么不务正业吗?
好在听了陆晨阳说的事情以后,大家觉得并不是什么超出界限的事,对陆晨阳什么时候变成了数学爱好者他们并不关心,只是在思考利用公司的电脑能有多大的效果。
最好是能发布个程序,让有兴趣的人都参与进来,这个对他们来说才是有些挑战的东西。
利用分布式计算,让每一台安装了软件的计算机的闲置资源得到利用,通过数据共享,最终可以解决某些需要海量计算的问题。
梅森素数也只是数学领域的一个问题之一,还有很多类似的问题,如密码系统、生物病理研究、信号处理等。
在陆晨阳的建议下,一些程序员组成了非正式的小组私底下研究这些问题,而陆晨阳也说,这算是自己和他们之间私人的爱好,陆晨阳不勉强不喜欢的硬加入其中。
于是在吃饭和下班的时候,陆晨阳都会和这些人抽空讨论关于素数的问题,不知道还以为陆晨阳又在搞什么秘密项目呢!
其实这只是被他当做兴趣来研究罢了,他还真没什么计划,只是打算如果真的国人能够有新发现,他也拿出10万来奖励发现者。
唯一担心的是,可能这些钱他想送也送不出去,这是最遗憾的,希望有聪明才智的让他破财。
分布式计算的问题,陆晨阳跟员工讨论后,却让他联想到云计算的问题,又想到自己公司在建设数据中心,对于这一块的市场,现在不知道国内有几个人看得清楚。
这个概念可能还没人提出来,就更不用说谁懂了,就算过了很多年,也会有人误把它跟网络存储等混为一谈。
实际上,云计算是一种融合的产物,分布式计算、效用计算、网络存储、虚拟化、负载均衡、热备份冗余等多种技术发展融合的产物。
这是一个大市场,主要是面向企业的,如果能够抓住的话,不仅有利于自己公司的扩展,而且也能成为公司重要的支柱项目。
但是陆晨阳明白,想要搞自己云计算,难度可比开发个软件要大的多,云计算要设计的有硬件、软件、管理等各方面的问题,可不是一朝一夕,一年半载就能搞定的。
但是这个东西又怎么能放弃呢,不能等大家都想起来搞的时候你才去跟风的搞,不敢第一个上,以后只能一群人打架。
云服务就是把计算、存储、网络、软件和服务融为一体,传统的方式,企业需要自己购置机器、购买带宽等,而利用云服务,一切都可以精简,大大简化了各种过程,制作好的东西,只需要发布就行了,配置不够,随时可以在云端增加。
在别的公司的管理者还不知道云是个什么东西的时候,陆晨阳已经开始思索着云服务的开发跟应用了!
他在等时间,也许公司的事务忙完,他就要规划了,而苏亦菲的行程安排中,他却知道,关于公司总部的规划,终于要出来了!