第281章 开发超神编译器

别看庞加莱和图灵平时会吵闹,但如果涉及到学术,那一定是非常严肃的。

图灵并不是那种不懂装懂的人,真有问题一定会问到明白为止。

陆山赞成图灵的打算,并且参与了进来,近期的工作重点就是这个了。

根据黎曼猜想提供的新视角,计算机方面获益的应该是加密算法和密码学,这玩意毕竟有大篇幅是关于素数的。

不同于rsa加密算法,依赖于大数分解的难度来保障安全性。

黎曼猜想对素数的分布有着高度的概括,自己掌握就容易攻破对方而别人攻破不了自己。

所以陆山和图灵的编译器首先要求的就是安全性,但黎曼猜想带给人类思维上的拓展远超想象,探索世界有了更多的角度。

这就叫做触类旁通,理学学科很多内在的东西都一致,归根结底是最底层的数学逻辑就那一套。

有了陆山的加入,编译器很快有了眉目,框架迅速搭建起来,细节也在不断的填充。

缓了一口气,陆山揉揉发酸的眼睛,休息一下,图灵再检查之前做过的工作,看看还有没有遗漏。

经过几天(奇点实验室时间)高强度的工作,智能编译器终于落实了。

图灵与陆山捣鼓出来的智能编译器,有三个最重要的特点。

第一个特点自然是简明扼要,图灵和陆山都极其痛恨冗长的代码,那玩意不只是在敲下去的时候痛苦,以后维护起来更加的痛苦。

知道为啥很多游戏,系统越来越大吗?

那就是因为一开始代码就没整好,后期又无法优化,简化。

每一次升级都是在原有的基础上叠加代码,越叠越高,越叠形状越离谱,行内把这个叫做“代码屎山”。

形象一点说就像是一堆垃圾,叠得很高很高,歪歪扭扭,可就是还能运行。

代码能跑就别动,这是行业内的准则,所以必须一开始就简明扼要,尽量减少代码,以后就好维护。

第二个重要特点是稳定且具有拓展性。

稳定性是非常非常重要,代码屎山越叠越高,稳定性的隐患是非常大的,很可能一个小的错误就会导致整个代码屎山倒塌。

但如果想要优化过去的代码,让系统更加简练,就相当于把原来下面的东西拆出来,把东西塞进去,然后程序还能跑,这个难度自己想象,没法形容。

若一开始就方方正正,以后维护起来就会好上很多,智能编译器就是这么个特征,它标准化了。

相同的东西会先理解,然后用相同的代码来实现,避免过于冗长的描述。

模块化生产,标准化工艺,随时插随时用,智能变异器就是这样管理代码的。

以后还能对之前的屎山代码进行优化而不会发生系统崩溃,以后的系统甚至可能越用代码越少,对cpu的要求就越低。

拓展性说的其实就是智能编译器的学习能力。

智能编译器在接受用户编译代码的时候,会学习人类的语言和逻辑。随着编译的应用软件越来越多,编译器会越来越聪明,类似传统编译器的函数库一类的东西。

相同的情况会记录,相似的情况会根据变量自己调整。简而言之就是增加了自己的知识库。

这样的好处是什么?

原本敲代码是一行行的敲,同样的东西也要一次次的重复。

而智能编译器直接把过去见过的东西直接给你弄进去程序,如果不对,直接修改一些东西就行。

底层逻辑依旧是转化为0和1让机器明白,但过去是手动的,现在是自动化了,节约的时间非常可观。

举个简单的例子,编译器刚完成的时候,用户要计算长方形面积。

你的告诉编译器运算逻辑是长乘以宽。

继续使用下去,编译器看到你想知道长方形面积,自动就长乘以宽,不需要再表达逻辑。

如果是编辑游戏,就省下更多的事情,行动,战斗,画面都是计算量极大又重复性很高的工程,有了这个就真的能解放不少人手,缩短工期。

到以后,人类就能创造出更多极具特色的游戏,尽情发挥想象力。

并且,使用的次数多了,甚至还能持续优化最新的逻辑,替代过去的逻辑。

当编译器发现描述某种内容的逻辑升级了,能让代码的行数变少,那么它就会自动更新,这就是学习能力。

在陆山的认知当中,这才哪到哪,以后还要提升编译器的智能性,有跟人交互的能力。这样的能力就好似AI,需要训练,需要积累。

最后的一个特点是要用先进的硬件支持,这里暂时用的还是西方的cpu,没办法,西方有,夏国没有。

这个问题还得夏国科学院那边想想办法,说不定有办法买到西方比较先进的CPU。

最后这个特点其实也算是编译器的缺点吧,对硬件要求比较高。

编译器性能要牛逼,同时得进行大量的瞬间运算,还得储存大量的命令,硬件不强大根本玩不转。

说实在的,陆山对于外国的CPU不甚满意,按照西方人的尿性,能拿出来卖的,有什么好东西?

在陆山的预设中,以后自己得搞自己的CPU,到时候CPU,内存,主板所有东西都用高性能的拓扑半导体材料,编译器才能彻底发挥出作用。

Cpu暂时还不能解决,那就先解决内存的事情。

于是陆山跟张凯峰那边说了一声,定制了一批高性能的内存,1T就行,多了cpu也是浪费。以后cpu性能起来之后再搞新的特制内存。

“芯片始终是个大问题!”陆山揉揉脑门,这玩意已经是国家战略级别的分量,芯片水平的高低决定了发展水平的高低。

外国的cpu陆山不怎么能看得上,自己搞出拓扑半金属半导体材料,就注定了以后大家的芯片制造道路完全不一样,而且性能上肯定是自家的材料更高。

但……眼下还是得用人家的。

夏国科学院这边收到陆山的请求,立马就着手去处理了,具体要做什么不重要,反正陆山一定有正途。

再者,陆山如果搞出了什么好东西,一定会对夏国非常有益,所以要重视,要尽快。

然而,陆山这一次的要求比较模糊,也比较难搞定,他说要尽量好的设备,没有定下什么型号和性能。

于是夏国科学院费了很大的力气,尽量寻找,总算是完成了任务。

当他们看着手里面能买到的最先进的设备,竟然犹豫起来。花了这么大的力气才买到的东西,竟然要立刻拿给陆山,给自己用的话也是个很不错的助力。

“看伱们这点出息!”夏光明都无语了,大家的心情能理解,但显然这个做法不可取。

“我们答应了别人的请求就该完成,这叫做言而有信。”看着大家还是有点不以为然。

夏光明干脆给他们诛心:“你们觉得这东西在你们手里的价值大,还是在陆山的手中更加有用?”

“额……”这个问题真的是诛心了,谁敢跟陆山比?当初几乎没有资源的前提下,只靠脑子,性能不高的电脑运行模型就把拓扑半金属半导体给弄了出来。就像是一个人用一堆破铜烂铁造出了能飞起来的超牛逼战斗机。

“没人敢保证的话,那就把东西送到陆山那里,别耽误了人家的正事。”夏光明挥挥手,手下就乖乖的把设备送了过去。

东西送到了提前约定的仓库,陆山在没人的时候进去,花费积分把东西带入了奇点实验室,然后仓库就空空了。

有了高性能的设备,陆山没有着急投入使用,而是按照惯例,依照自己的思路和需求进行改造。

“垃圾搭配!垃圾系统!白瞎了这么好的东西!”庞加莱也在一边搭把手,一边弄一边吐槽。

硬件好都是好的,可是凑在一起是真的没法看。

“感觉现在的人都是极力推高每一个部分的性能数据,却不重视调试。”图灵也是不断的摇头。

陆山闷闷的来了句:“即便这样,他们还是比夏国的东西好……”

能理解这件事的逻辑吗?

藤原拓海的AE86硬件那么差,被他老爸调整到极限,可再怎么努力都是跑不过那些好的跑车。

抠抠搜搜的想办法发挥性能这是穷的表现,人家随便瞎堆随便浪费都能比你强,干嘛要花这个心思?

西方也不全是这样,超高端的领域他们也会绞尽脑汁,但是商业化的东西,随便吧,反正也没对手。

陆山不爽就在这里,迟早有一天让他们也体会一下这个感觉。

三人在奇点实验室加班加点,通力合作,编译器也逐渐变得丰满起来,小测试不断,大测试不停,效果都很不错。

按照陆山的设想,这个编译器一定要傻瓜式的,也就是没有多少基础的人都能用!很多人的想法很好,但是没有编程的能力,浪费了好点子。

所以一定要让编译器智能起来,帮助更多的人把想法落地。

界面设计非常非常的简单,看着就跟个Word一般,上面输入要求或者直接编码,下面记录,还能同步运行,如果不合适的话就会有提醒。

你可以不理睬,也可以按照提示来修改。

如果用户最终能把逻辑圆回来,甚至还是个更好的逻辑,那么编译器就会自动记录更新

主打一个你我互相学习,共同提高。

输入编译要求的时候,可以用汉语言和英语,还可以用数学和数学符号进行描述,编译。

这是目前市面上编译器所没有的功能,谁见过用大白话跟编译器说我要实现什么功能编译器就能搞定的?

都是老实敲代码才行。

这就是核心竞争力。

编译器的数据库记载了所有的数学逻辑和运算方式,人类逻辑语言,特别是汉语言以及数学的对应逻辑方式。

而这个功能还在不断地完善当中。

自然科学研究室里面培养的学生,当中就有这一类的专业。

甚至,随着编译器的发展,最终甚至可以理解哲学问题,还能及时吸纳网络新词汇,新时代的语词事件或者逻辑。

这些信息都由相关专业的人才将会跟数学方面的人才进行交流,配合计算机专业人才,把人类的思维方式转化为一一对应的数学逻辑,然后储存在编译器的数据库里。

“网络新词汇都要记录?这没什么必要吧,毕竟不是语言的基础,是演化发展之后的产物。”

图灵犹豫了下,“而且很多网络新词汇也就一阵风就过去了,并不会沉淀下来。”

陆山却摇摇头:“不能这样想,那些无聊又没有逻辑的网络新词汇确实不用在意。但很多新词汇其实很有味道,如果统统摒弃是不合适的。语言本身就是不断发展的过程,夏国的文字也不是一天形成的。很多词汇也是古代没有的,只要是能够准确表达含义又有一定水平的,就可以收集。

试想一下,一个人老了,却还有新点子,他必然用年轻时候的说话习惯。

如果我们不记录下,他们又不能学习新词汇,就可能浪费大家的智慧了。”

“有道理,现在的英语也确实不是过的样子了,不记录下来,语言就相当于少了演变的过程。”

图灵也终于理解了陆山的用意,但这是一个长期且复杂的工作,筛选出不良新词汇就是个很大的工作,难怪陆山招收汉语言文学,英文,哲学这些专业,打算成立团队专干个工作吧。

目前这个编译器已经可以用了,并且已经非常非常的先进,哪怕不升级,都将领先同行很久。

陆山进行了很多测试,比如直接粘贴复制某个省份的高考数学压轴题,让编译器做一下,并且要求有详细的过程。

编译器很快就给出了正确的步骤和答案,这已经超出了编译器该有的功能,简直成了智能搜索引擎,而且还能记录的那种。

如果换了其他的语言,就得一点点的输入数学公式的逻辑,教会电脑这玩意什么原理,然后再输入题目当中的其他条件,让程序一点点的去运行。

下拉继续阅读
回档07:开启学神殿
250/367
书详情
回档07:开启学神殿 共 367 章
第1章 英语不好就别参加数学竞赛了第2章 人生都是必答题第3章 学术科技积分可以这么拿第4章 这道题有两种解法第5章 耽误一秒钟都是对智商的不尊重第6章 老师教你,你要听!第7章 羊多了才能薅毛第8章 考一半,分数就够了第9章 捡到宝贝了!第10章 这篇论文有问题第11章 你搞歪门邪道不踏实第12章 孪生素数猜想和CMO决赛第13章 心思不纯第14章 我不一刀切,我就要被切第15章 证明孪生素数猜想弱化形式第16章 这人满分第17章 积分赚爆了!第18章 实力和程序哪个更重要第19章 急急急!陆山去哪里了?第20章 你不听话,这下吃亏了吧第21章 万分着急第22章 把这个成绩销毁了第23章 高校哄抢第24章 这学生我管不了!第25章 赌约,赌上你的职业生涯第26章 积分兑换的正确姿势第27章 当庞加莱开始做英语题第28章 震惊编辑部的论文第29章 你们到底是找哪位学生30.第30章 这个成绩211 985任你挑第31章 旱的旱死涝的涝死第32章 神的世界你们不懂第33章 人生怎样才能走捷径?关系!关系!还第34章 这下要引起轰动了第35章 初试牛刀的研发第36章 陈教授彻底愤怒了第37章 惊世论文发表,有你的名字第38章 非要公开学生的名字?好的!第39章 说吧,还有什么瞒着我的第40章 我的人生何须让他人理解(求追读)第41章 这一下未来半年轻松了(求追读)第42章 实验室的升级和惊喜!(求追读)第43章 抽烟只抽烟屁股!第44章 孩子这么优秀,我怎么不知道?(求追第45章 以后可以来这里刷积分了第46章 男人不能穷得太稳定(求追读!)第47章 提问:陆老师是哪个学院的?(求追读第48章 技术在手!(求追读)第49章 叔叔我想要一台电脑第50章 孪生素数的完美应用(求追读!)第51章 庞兄,你可别误会!(求追读!)第52章 陈启仪大大点赞(求追读!)第53章 急需积分包下你(求追读!)第54章 有问题赶紧来找陆老师(求追读!)第55章 研究生课程学习要提前了(求追读)第56章 陈启仪:谁是陆老师?(求追读)第57章 陆山是我的,你们别抢(求追读!)第58章 相信什么都不会相信人品(求追读!)第59章 儿砸,你要坑为父?(求追读!)第60章 优秀的猎手通常以猎物的形式出现(求第61章 木已成舟,只是船底有洞(求追读)第62章 你这小子全能?(求追读)第63章 这论文你发水刊就行(追读来一个)第64章 这论文居然了发水刊?(求追读)第65章 资本家真会玩儿(求追读!)第66章 努力工作的我还欠一屁股债(求追读)第67章 教授们不淡定了!(求追读!)第68章 大家都很着急啊(求追读!)第69章 你们居然让顶级工程师打螺丝(求追读第70章 陈教授有人偷家了!(求追读!)第71章 只要能合作,条件你随便开(求追读)第72章 庞加莱强烈的求生欲(求追读)第73章 给了你创业的底气(明天求首订)第74章 领先一个时代的科技(请大家明天给点第76章 求你学数学吧,不要再吓我了!(求首第82章 你完成了计算机学院从未有过的壮举(第83章 快!快!给他设VIP房!(三更求订)第85章 学校绝对鼎力支持!第86章 本科 研究生们,赶紧过来给我听课!第91章 飙升(三更求订)第99章 咱们教他怎样做人(三更求订)第100章 这份情愫就埋心里吧(4更,500首订第105章 引起风投机构的注意第106章 慌了!真的慌了(昨天的三更,求订第107章 全面封杀(一更)第109章 紧急求助外援(昨天的三更求订)第110章 你有条件,我也有条件(一更求订)第111章 你这样优秀我是不是白活了(二更求第113章 轻轻松松就秒杀(2合1大章)第119章 基站选址优化,联通强烈关注(1)第120章 基站选址优化,联通强烈关注(2)(第121章 各路大佬齐聚江州第122章 钱先不谈,谈合作第123章 想白P是不可能的第124章 是你们找我合作,不是我求你们第125章 华威要和联通抢人第126章 华威3号人物指名道姓就见陆山第127章 华威的条件接还是不接?第128章 万分后悔,全盘接受第129章 全面铺开筹备成立公司第130章 反击绝杀,你的第3轮投资可能要歇菜第132章 UC快崩溃了第133章 我连外观都抄,还在乎你什么隐私?第134章 积分达标,抽取新的英灵第135章 大王在手我是不是发财了?第136章 有些人要恼羞成怒了第138章 谈不妥那就打呀第139章 获得一员猛将第140章 疯狂的图灵第141章 恶毒的手段第142章 紧急汇报第143章 就是明牌打你第144章 惹谁都可以,不要惹图灵第145章 一战成名第146章 外面都打成渣了,你居然还在搞论文第147章 你真是妖人啊妖人啊第148章 陆山的野心第149章 我要求你做夏国第一人!第150章 稳了!一个月营收100多万第151章 愤怒,你们不信任,我立军令状!(第152章 追悔莫及的水木大学教授第153章 数学大师的极力邀请第154章 这个莫大的荣誉要给你第155章 名躁燕京!第156章 无比着急的夏国科学院第157章 条件绝对丰厚,你一定要来帮我!第158章 IDG投资登门拜访第159章 IDG:我投资了一个爹?第160章 不好意思,我拒绝!第161章 慌得一比,全盘接受!第162章 拓扑半金属上马第163章 你学数学的懂个毛材料第164章 大一的你居然当老板了?第165章 疯狂投简历第166章 重磅,UC把自己卖了?第167章 你这样做是不是疯了?第168章 不好意思,我退出第169章 真理掌握在我的手中第170章 绝杀!半导体新材料第171章 别问我对错,我只对我的模型负责第172章 什么!你材料都搞出来了?173.第173章 如此如醉积分暴涨!第174章 这么大的产业,你一个人搞不定第175章 必须要抢荣誉!第176章 抢发论文第177章 愤怒的陈启仪第178章 夏国科学院的责问函第179章 陆山的成果也是学校的成果第180章 我知道你委屈但是你得帮我第181章 太聒噪就得晾一阵子第182章 重磅产品问世第183章 这下慌得一比第184章 呵呵,我申请退学!第185章 撕破脸也要干你第186章 陆山的研究成果价值万亿第187章 必须还陆山名誉!第188章 严厉追责第189章 这个科研成果是抄袭宾夕法尼亚大学第190章 米国在抢陆山,不行动就晚了!第191章 绝对优厚的条件第192章 两个博士生给你用第193章 大一的你,提前毕业了!第194章 轰轰烈烈的生产第195章 夏国人凭什么有超越西方的学术成就第196章 陆神,天河能不能行靠你了第197章 被你认为是辣鸡的论文爆火了第198章 你们的认可毫无价值第199章 卖不卖不说,先量产第200章 要合作可以,按照我的方式来第201章 针锋相对互不相让第202章 道德绑架没门儿!第203章 这里的水可真深第204章 联翔:急死人了第205章 技术入股30!第206章 伴矽摆摊性能秒杀了第207章 疯狂爆销第208章 惊现重量级大佬第209章 对赌协议,三年两百亿!第210章 这下玩儿脱了第211章 陆山,你肚子里还有多少货?第212章 连宣传也是高纬度碾压你第213章 黎曼猜想和密码学第214章 你是老总也得给我听着第215章 性能炸裂猜个价格第216章 爆卖,求补货!第217章 什么!后院起火了?第218章 拆的时候好好的,装不回去了第219章 超级战忽局战士!第220章 得加钱!第221章 你可能要出大血了第222章 网络安全和黎曼猜想第223章 朗道西格尔零点问题来反证第224章 庙小妖风盛第225章 条件好到爆!第226章 没有伴矽你们屁都不是第227章 偷梁换柱第228章 全面打压第229章 陆山:请你保持战略定力第230章 一个个的都是人才第231章 主板的问题不要担心第232章 夏国科学院 江州大学鼎力支持第233章 芯片组的授权可不好拿第234章 性能爆裂啊必须合作!第235章 价格涨到离谱!第236章 您才是大救星第237章 给你上上眼药第238章 逼宫第239章 股权一定要分!第240章 这下玩儿脱了!第241章 乔薇薇的对策第242章 彻底反转第243章 这下慌得一比了第244章 你什么档次也配合作第245章 货比货得扔第246章 墙倒众人推第247章 坐而论道第248章 开不开心!发年终奖了!第249章 这种待遇,嫉妒死了!第250章 朗道西格尔零点问题证明完毕第251章 江州大学两百万的安全标的第252章 不可思议!赶紧开学术研讨会!第253章 摆擂台,谁不服?第254章 出尽风头第255章 当众被打屁股第256章 这样的人才不合作不行啊!第257章 敌人也可能是朋友第258章 被教育了第259章 目标远大,要走自己的路第260章 严格的论文审核流程第261章 《数学年刊》极其过分的要求第262章 这就是强势的学术权威第263章 来了!普林斯顿大学!第264章 众生平等的蠢第265章 战斗中突破!黎曼猜想最终解决!第266章 现场证明黎曼猜想!第267章 一锤定音,无法反驳第268章 普林斯顿大学的颁奖典礼第269章 极力拉拢第270章 陆山要移民了?第271章 学霸的考量你们不懂第272章 光荣归国,却杂音不断第273章 黎曼猜想的超级应用第274章 实验室升级,超级系统第275章 对陆山的评估第276章 禁止研究第277章 对赌协议要赢了第278章 这被抓住把柄了第279章 能力不够?我自己培养行不!第280章 自然科学研究室成立,高校贺电第281章 开发超神编译器第282章 智能助手落地第283章 紧急求助,被人钓鱼了第284章 你这不是合作是要搞死我第286章 宣发!超级助手Coco问市!第287章 绝对神器,还有谁来挑战!第288章 敌军都跑到公司来了!第289章 弱化版都凶猛第290章 联翔的重大挫败第291章 都是些什么智障玩意儿292.第292章 劳资要退货293.第293章 六大派围攻光明顶294.第294章 干就干,谁怕谁295.第295章 逻辑暴杀296.第296章 我去!抽到了重磅科学家!297.第297章 陆山迷茫了?298.第298章 石墨烯电池299.第299章 雷布斯的自尊心300.第300章 能人在朝301.第301章 巨大荣誉302.第302章 强烈对比303.第303章 高风亮节304.第304章 闭门羹305.第305章 惹祸上身306.第306章 以其人之道还治其人之身307.第307章 挖人!308.第308章 大功告成309.第309章 又是一次遥遥领先310.第310章 论文解万愁311.第311章 震撼人心的消息312.第312章 郑重道歉,全力支持313.第313章 该开除的开除314.第314章 原来事情可以这么做315.第315章 无比纠结的比迪316.第316章 心怀鬼胎的合作317.第317章 工人不配合318.第318章 出个发布会吓死你319.第319章 事实甩脸上320.第320章 老实了321.第321章 昨天牛夫人今天小甜甜322.第322章 我不行,所以别人也不行323.第323章 无敌!324.第324章 要你有何用?325.第325章 那年我双手插兜326.第326章 巨轮组建327.第327章 起航!远洋!328.第328章 厚着脸皮再要技术329.第329章 吹牛圆不回来330.第330章 匹夫无罪,怀璧其罪331.第331章 图穷匕见332.第332章 以退为进333.第333章 挑三拣四334.第334章 光屁股磨磨,转着圈丢人335.第335章 雷霆震怒336.第336章 滥竽充数337.第337章 自顾不暇338.第338章 吃了闷棍339.第339章 新的想法340.第340章 泽梦操作系统341.第341章 居安思危342.第342章 借东风343.第343章 东风来了344.第344章 新系统推进345.第345章 切割346.第346章 落井下石347.第347章 完美适配!348.第348章 开个发布会怎样349.第349章 大佬云集350.第350章 挑刺?351.第351章 强到离谱352.第352章 WIN系统真难用!353.第353章 互联网的未来354.第354章 犹如艺术品355.第355章 保你八年流畅如初!356.第356章 没有任何卡顿357.第357章 努力打造完整的系统生态圈358.第358章 应用集合联动才是未来359.第359章 暂时完美兼容应用360.第360章 完美谢幕361.第361章 扬帆起航才刚刚开始362.第362章 下载量暴增363.第363章 新的挑战布局生态链364.第364章 先找百度!365.第365章 你不谈也得谈366.第366章 艰难的谈判367.第367章 收购提上议程368.第368章 一掷千金369.第369章 野心很大实力太菜370.第370章 所有资源打包带走371.第371章 碾压式的最精准算法372.第372章 全国互联网大会373.第373章 老牌公司的封杀374.第374章 应对措施375.第375章 背后打压376.第376章 战争开始377.第377章 联合封杀378.第378章 超出预期379.第379章 保证收入380.第380章 不对等赛道381.第381章 跨时代的算法382.第382章 生态链开始赚钱了383.第383章 协议达成384.第384章 打造爆款385.第385章 各大子公司利润爆炸386.第386章387.第387章 实验室再次升级388.第388章 芯片必须要突破389.第389章 难以突破?不好意思我已经写论390.第390章 开辟新的赛道391.第391章 芯片突破392.第392章 股价暴跌393.第393章 从源头扼杀394.第394章 到底谁才是垄断395.第395章 强大的威胁第396章 断供第397章 不试试怎么知道?第398章 生产自己的芯片第399章 未来的希望(大结局)
字号18
行距
背景