友情提示：如果本网页打开太慢或显示不完整，请尝试鼠标右键“刷新”本网页！
万能数据-第146部分
快捷操作: 按键盘上方向键 ← 或 → 可快速上下翻页 按键盘上的 Enter 键可回到本书目录页 按键盘上方向键 ↑ 可回到本页顶部! 如果本书没有阅读完，想下次继续接着阅读，可使用上方 "收藏到我的浏览器" 功能 和 "加入书签" 功能！
一时间，会议室内，气氛很是轻松，其中以菲涅尔教授笑的最为开心。
…………
次日。
菲涅尔教授在自己的推特上宣布，程诺那篇《程氏复环猜想的证明》84页论文中所述的关于程氏复环猜想证明过程正确无误。
麻省理工官方推特第一时间进行转载。
接着，克雷数学研究所，普林斯顿大学，哈弗大学等一系列官方账号先后转载。
参与清洗计划的那群数学家们，见到这个消息，也没了最后一丝侥幸。
血淋淋的事实告诉他们，程诺，这个才刚满二十一岁的年轻人，比他们要强，强很多！
于此同时，世界各地。
前段时间，由于程氏复环猜想的火爆，许多国家都成立了专项研究小组。
对于那些专项小组的成员来说，今天本来是平常无比的一天。
对贝利来说也是如此。
他是瑞典三个月前刚刚成立的“程氏复环猜想”研究小组的成员之一。
今天和往常一样，他来到研究所一楼的餐厅，一边吃着早饭一边用手机刷着推特。
作为一名专攻几何领域的教授，国际上那群几何界知名大牛的推特一直他的关注列表中，菲涅尔教授的推特账号也不例外。
于是，在下滑了几下，贝利便看见了菲涅尔教授在凌晨五点多发出的那条推特。
贝利先是一愣，揉了揉眼，似乎不相信自己看到的东西，身体前倾，仔仔细细、一字一句的扫过。
思绪短路了几秒，贝利终于意识到终于发生了什么。
懵了！
贝利真的是懵了！
他颤抖着手指，指着手机，却发现一个字都说不出。
悲愤、绝望、不解，一瞬间，所有的情绪充斥在贝利的心头，最后化为三个字：妈卖批！
他瞅了一眼猜想的证明者，看到那个熟悉的名字，再补了一句：妈卖二批！
有意思吗？！
自己提出来的猜想自己证明！
更过分的是，前后不过才三个月时间。
三个月，才三个月啊！！
你就不能等三个月之后，直接提出一个程氏复环定理多好！这样的话，我们就不用成立一个针对程氏复环猜想的专项小组。
更加不用，仅仅一夜时间，就发现自己前三个月的努力全部成了泡影。
贝利觉得自己都要哭了。
太难受了，这种给人希望，又瞬间陷入绝望的心情实在是太难受了。
和贝利一样，此时全球各地二十多个专项课题组的成员全部都要哭了。
大哥不带这样的啊！
前期人力物力都投进去了，可进度刚开始，就半路夭折了！
这……
唯有一句MMP可讲！
这一天，数百位数学家集体恸哭。
第四百六十三章 正教授
463章
克雷数学研究所。
研究所的副会长，一位留着大胡子的白发老头也找上了程诺。
这是，程诺正一个人呆在办公室里刷着手机，见副会长敲门，连忙客气的请他进来。
副会长笑呵呵的打量了一番程诺办公室内的布置，坐到一侧的沙发上，缓缓开口，“程诺先生，我这次来这，是想和你商量有关谷山志村猜想的事情的。”
程诺给副会长倒了一杯水，“会长，请说。”
副会长沉默几秒，语气不急不慢的说道，“如今，程氏复环猜想已被证明。我记得程诺先生在上次的进度报告会上提过，程氏复环猜想一旦被证明，那谷山志村猜想也不成问题，不知……”
“会长不必担忧。”程诺抬抬手，“只要在程氏复环猜想的基础上运用弗雷命题，谷山志村猜想便会不攻自破。”
“我和我的两位组员也在抓紧时间撰写关于谷山志村猜想的证明论文，估计三天内就能完工。”
“那就好，那就好。”副会长捋着胡须，舒了口气。
至今，清洗计划已经进行了半年的时间，但八个猜想，却一个都没有解决。
这让外界不由多了许多质疑的声音，同时对克雷数学研究所的威望产生不小的影响。
但现在好了。
谷山志村猜想即将被证明！
再加上程氏复环定理的出现也算是和他们克雷数学研究所多少有点关系。
等证明谷山志村猜想的论文放出来后，外界质疑的声音恐怕会消弭殆尽。
毕竟，无论是谷山志村猜想，还是程氏复环猜想，论重要程度，可丝毫不亚于前端时间几何界闹得沸沸扬扬的雅克比猜想。
想到这，副会长不由扭头看了一眼身侧的程诺。
然后意识到了一件恐怖的事实……
无论是雅克比猜想，还是程氏复环猜想，亦或是谷山志村猜想，全都和他身边这位年轻人，有着莫大的干系。
或者，换句话说。
这三个猜想，全部是由程诺证明的。
虽然地位尊崇，但和像程诺这样的妖孽单独呆在一起，副会长表示还是有淡淡的压力。
于是和程诺简单的又聊了几句之后，副会长便以还有事为由离去。
…………
时间过得很快。
三天后，在大部分人还没有从程氏复环猜想被成功证明的事件中缓过神来时，又一个重磅炸弹被抛在本就浪潮翻滚的几何界。
一篇仅仅只有七页，名为《由程氏复环定理证谷山志村猜想》的论文，被上传到arxiv上。
而论文的第一作者，依旧是那个熟悉的名字——程诺！
几乎是同一天，包括菲涅尔教授在内的七八位几何界大佬同时在推特上发文，公开声明程诺证明论文的正确无误。
疯了！
许多人都不清楚，到底是他疯了，还是这个世界疯了！
三天内，接连两个世界级猜想被证明！
更疯狂的是，这两个猜想的证明者是同一个人！
程诺，那个数学界冉冉上升的璀璨新星。
众人本以为，这颗新星起码要上升个四五年才能达到和他们一样的位置。
可才半年……
似乎就在他们不留神的瞬间，咻的一下，程诺就升到他们只能仰望的高度了。
这，没地方去讲理啊！
…………
数学界，关于两大猜想的解决还在被发酵。
而事件的主人公，却已经低调乘飞机回到了麻省理工大学。
时间已经是2024年的4月份。
走在路上，程诺已经感觉到那春意盎然的氛围。
不过程诺没有欣赏这迷人的环境多少时间，得到程诺回校消息的学校众人，便把程诺叫到一件办公室。
接待程诺的是数学学院的副院长，一位老一辈的数学大佬。
除了这位大佬，副院长办公室内还坐着其他几位学院的实权领导。
“程教授，鉴于你这次在克雷数学研究所做出的重大贡献，一举解决谷山志村猜想和程氏复环猜想这两大世界级猜想，经过评定，我校决定授予你正教授职称！”副院长面色严肃。
程诺也是又惊又喜。
正教授！
虽然在麻省理工待得时间不长，但程诺也知道正教授职称的份量。
麻省理工这样的世界顶尖大学，对于正教授职称的授予可谓是相当的严格。
一般在那些普通点的大学，即便学术水皮有限，但只要熬熬资历，到了一定的年纪，那些副教授还是会被授予正教授职称。
但这在麻省理工大学行不通。
就拿数学院正教授来说，基本上，一个国家级奖项加两篇SCI一区论文是最低条件。
当然，单论这个条件程诺是满足的，但资历上，程诺原以为还要等上一年半载的。
没想到，学校方面会行事这么果断，直接在得到程诺证明两大猜想的消息后，敲定了这件事情。
正教授，在麻省理工大学虽然说得上是稀有，但并不罕见。
但想程诺这么年轻的副教授，就非常罕见了！
由于提前说好，程诺这学期要进行授课。
因此，基本上每堂课上，教室内都被做的满满当当，满是想瞻仰一下这位麻省理工有史以来最年轻正教授的身姿的学生们。
程诺也只能是苦笑不得。
…………
程诺回到麻省理工后，便再次沉寂下去。
程诺也本不是爱出风头的人，对于外界的讨论全都无视掉。
因此，除了每周的两节课程外，程诺不是泡在图书馆就是呆在实验楼的菲涅尔教授的办公室。
但，终有一些人还是闲不够热闹。
4月中旬，克雷数学研究所公布2024年克雷数学科学奖提名名单，程诺的名字，赫然在列。
而克雷数学研究所的工作人员也第一时间联系程诺，说让程诺一定要去参加，否则不好收场云云，几乎摆明了说这届克雷数学科学奖已经被程诺收入囊中了。
幸好，颁奖那天程诺没课，索性就答应了。
克雷数学科学奖，听名字就知道是由克雷数学研究所主办的一个奖项。
和程诺前段时间拿的维布伦奖，逼格上就有不少差距。
但蚊子再小也是肉，毕竟，想要最终获得菲尔兹奖，前面至少要有许多个奖项打底的。
这也算是一种不成文的规定。
除非，直接证明七大数学猜想之一！
第四百六十四章 智能机器人
464章
4月18日。
克雷数学科学奖在克雷数学研究所的总部颁发。
而最终的结果也没有出乎众人的意料。
程诺凭借谷山志村猜想和程氏复环猜想的证明，获得这一届的克雷数学科学奖。
实至名归！
如果说上一次程诺获得维布伦奖，还让众人稍感意外的话。
那这次的克雷数学科学奖，他们实在找不出，除了程诺，还有谁有资格获得这个奖项。
…………
颁奖结束第二天，程诺便赶回学校。
接下来便是一段闲散的时光。
程诺暂时还没有找到合适的项目，一是目前学院大部分的项目难度系数实在太低，程诺不感兴趣。
另一个原因，则是那些高端的课题项目目前都握在学院里那群大佬们手中，程诺过去，只能打打下手。
看来，要抽空去数学研究所那边去瞅瞅。
程诺心中如此想着。
但这个想法还没有付诸于实践，就有人找上门来。
推门进来的是菲涅尔教授。
他提着一个公文包，步履匆匆，进门就直接问道，“程诺，你这几天有时间吗？”
程诺耸肩苦笑，“教授，您没看见我现在都快闲的发馊了吗？”
“那正好，我这边要出差几天，有一个任务需要安排给你。”
“教授你说。”
“星云科技公司上周邀请我们去他们那边做一下技术指导，时间定好是明天，只不过我突然有事，只能让你替我跑一趟了。”
“星云科技？”程诺小声嘟囔了一声，“这是一家什么公司？”
“智能机器人公司，在国内还挺有名气的。我和他们那边说一下，到时候明天应该会有人直接到楼下接你。”
“行，没问题。”
正好闲的无聊，好不容易等来一个工作，程诺自然不会拒绝。
…………
次日。
一辆黑色车身的迈巴赫停在实验楼下。
一位穿着皮夹克中年男子客气的为程诺打开车门，“程教授，麻烦你了。”
程诺舒服的靠在柔软的椅背上，摆摆手，笑道，“拿人钱财替人消灾，我们既然收了钱，那自然会尽心尽力的完成你们的要求。”
“出发吧，我不想耽误太多时间。”
中年男子点点头，坐上驾驶位。
星云科技的总部就位于波士顿区。
半个小时后，车稳稳停在一栋大楼前。
“程教授，这边请。”
中年男子走在前面为程诺带路。
大厅的布置高科技感十足，走在路上，还可以看见各种各样的智能机器人在楼层间穿梭。
乘坐电梯，中年男子带着程诺来到地下三楼。
这里是星云科技的技术研发中心，整个公司的核心所在。
星云科技公司，是一家成立于三年前的智能机器人研发公司。
其主打产品，是家用机器人和教育用机器人，包括扫地机器人、娱乐机器人、个人助理机器人……
在市场上占据较大的份额。
但是，虽然目前公司效益不错，但前景确实堪忧。
几年前，智能机器人的市场还不算庞大，家用智能机器人的造价昂贵，能买得起的家庭全部属于富裕阶层，因此这个小蛋糕没有被那些大财团注意到。
但现在，随着技术发展，智能机器人的成本已经被压缩到一个很低的水准，这也就使得即便一般的小康家庭，也足以购买一台家用的智能机器人使用，这个市场被迅速放大。
随之，蛋糕也大的到引起那些大财团注意的程度了。
这就让星云科技有些难受了。
之前，本来是和其他两三家智能机器人公司舒舒服服的吃着独食，经营着市场，但现在好不容易等市场扩张了，那些大财团却马上就要掺和进来，瓜分蛋糕。
比钱，星云科技和那些大财团比起来根本就够看。
因此，他们就只能靠技术取胜。
简单来说，就是提高他们品牌的核心竞争力。
同样的价格下，别人为什么选你这家，而不选别人那家，就是因为智能机器人内含的技术更加高端。
他们公司把程诺请来，也是这个目的。
中年男子把程诺带到一间办公室，敲敲门，“兰尼先生，程教授到了。”
兰尼先生看起来四十多岁，穿着西装，头发梳的一丝不苟。
“程教授，这位是我们公司的副总裁，兰尼…伯特。”
“兰尼先生，这位就是麻省理工学院的程教授。”
“哈，程，我没想到，你真的如传闻中的那么年轻。”兰尼先生一上来就给程诺一个大大的拥抱。
程诺笑了笑，没有说话。
“来，我先来带你参观一下我们的研发中心。”兰尼先生一副自来熟的样子，搂着程诺的肩膀走出办公室。
“这边，是我们个人智能助理机器人的研发室，呶，看到那个只有巴掌大的机器人了吗，这是我们的第五代产品，除了面部识别，语言引擎之外，这次还增加了语言记录，掌上电脑的功能。”
“再看看那边，是我们新研发的叫做学习辅助机器人的智能机器人，只要插入对应知识的芯片，就可以进行讲授、出题、批阅、背诵检查等一系列工作。”
“还有这边，……”
地下研发中心的空间很大，兰尼先生带着程诺逛了好几个区，才在一间研发室里停下。
“程教授，我们这边怎么样？”兰尼教授笑着问。
程诺打量了一下四周，点点头，“还不错。”
“那我们现在就进入正题。”兰尼先生开口。
程诺点头，“嗯，兰尼先生，请说。”
兰尼先生组织一下语言，缓缓开口说道，“程教授，就如你所见到的，我们公司在创新方面并不缺乏，但现在，我们却被最为基础的问题困扰许久。”
兰尼先生一直一旁电脑上的一串数据，苦笑道，“至今为止，对于时延问题，我们仍未找到一个处理办法。”
“还有，对于一致性控制方面，我们也是束手无策。希望您的到来，能让我们看到一丝希望。”
程诺点点头，表示理解。
时延和一致性，确实是大部分智能机器人都面临的一大挑战。
第四百六十五章 Atmel单片机（修）
465章
时延和一致性问题，虽然是智能机器人研发中最为基础的问题，但却是无法忽视的存在。
从指令下达到指令执行，星云科技的智能机器人能控制在10毫秒左右。
但这不够，还远远不够！
目前业内的顶尖水准，时延不能超过5毫秒。
或许普通的用户，无法察觉到10毫秒时延和5毫秒时延的区别，但这并不是星云科技不去追求改进的原因。
毕竟，如果他们公司真的能把时延控制在5毫秒以内的话，就能够当做另一个宣传点。
再说一致性。
所谓一致性控制，就是设计合适的控制器协调控制智能体个体，能借助邻近的智能体状态信息不断调整更新自身状态，最终使得系统内的所有智能体状态趋同。
简单来说，就是智能机器人各组件，在同一时间内，完成统一的指定性动作。
时延问题和一致性控制问题之间存在必要的联系。
正式由于时延的存在，才导致了智能机器人各系统之间无法达成一致。
但这并不意味着解决了时延问题就解决了一致性问题。
想要达成一致性控制，仅仅降低时延是不够的。
“兰尼先生，我能不能看一下你们公司这些智能机器人的工艺参数？”程诺转向兰尼先生。
兰尼先生面色犹豫了一下，但旋即肯定的点点头，“好，我马上让人把数据调出来。”
十分钟后，一位穿着白大褂的研究人员拿着一摞表格走进来。
“兰尼总裁，这是你让我打印的数据。”
“嗯，直接拿给这位先生吧。”
程诺接过表格，一目十行的扫视。
星云公司目前生产的智能机器人共有15种，由于形态、功能的不同，每种智能机器人的工艺参数存在较大的差距。
但组成部件基本类似。
机械本体、控制器、传感器、驱动器，共四部分。
例如，最简单的智能扫地机器人，就是由圆盘形的机械外观，碰撞传感器、连续测距红外传感器，Atmel单片机，谐波齿轮传动器构成。
程诺简单的翻阅了一下表格，发现这15种智能机器人，四部分构件唯一相同的便是控制器部分。
都是使用Atmel单片机，拥有4k字节在系统编程（ISP） Flash闪速存储器、三级程序加密锁、128X8字节内部RAM、32个可编程I/0口线、2个16位定时/计数器。
这种单片机在几年前还可以说得上不错，但放在今天只能说是一般般。
既然要从根源上解决问题，程诺认为要这个控制器是关键所在。
“你们公司有把智能机器人内部的控制器换一种单片机的想法吗？比如说……Motorola单片机？”
在程诺的观念里，能用钱解决的问题，就尽量用钱解决。
兰尼先生苦笑连连，“程教授，您恐怕是不知道Motorola单片机的价格，光这一个单片机，恐怕要比其他三部分组件的总成本还要高了。”
“这样的话，我们就基本没什么利润可言了。”
“好吧。”程诺耸耸肩，无所谓的道，“既然如此，那就只能我自己来了。”
“程……程教授，你这，是什么意思？”
“既然Atmel单片机满足不了你们的要求，而现实情况又不允许购买品质更高的控制器，那唯一的办法，就是自己造一种单片机了。”程诺回答的很是理所当然。
但兰尼先生听得是天雷震震。
他狠狠咽了口唾沫，“造单片机，我们？”
程诺淡定的笑了笑，指了指自己，“不，是我，我自己。”
程诺抬抬手，保持着微笑，“兰尼先生，你先别惊讶，我的意思当然不是创作一种新的单片机，那基本上是不可能的，即便加上贵公司的科研人员也难以办到。”
“那你指的是？”兰尼先生强压下澎湃的心情。
“在Atmel单片机的基础上进行改造。”程诺答道，“在其性能参数不变的情况下，通过改变内部结构传导方式，达到智能系统一致性控制的目的。”
“这，应该很难吧？”兰尼先生不是科研人员，对其了解的不是很深。
程诺深以为然的点头，“嗯，确实有些难度。”
“那需要多长时间？”兰尼先生急切的问道。
时间就是金钱，目前那些大财团正在磨刀霍霍，说不准什么时候就把屠刀架在他们这群被养肥的肥猪脖子上。
而在兰尼先生的观念里，改良一种单片机，至少需要一到两周的时间吧！
谁料，程诺随口说道，“半天吧。”
噗…！
兰尼先生一口老血差点吐出来。
半天！
兰尼先生瞪大眼珠，一脸你特么是不是在逗我的表情。
接着，用嘶哑的嗓音开口，“真的？”
程诺无辜的点点头，“保守估计半天，其实一切顺利的话，两个小时就够了。”
兰尼先生：“……”
如果不是事先了解过程诺的实际，他都怀疑是不是怀疑自己花钱请了个骗子回来。
但出于对程诺的敬畏，他还是选择相信程诺，“那你需要什么，我马上准备。”
“一台电脑，一间安静的房间，草稿纸和笔，对了，再把Atmel单片机拿过来一台。”
程诺也不客气。
很快，所有的东西都安排好。
程诺瞅了一眼时间，9点34分，快的话，还能赶得上吃午饭。
对于Atmel单片机的改良，程诺早就有了腹案。
其实，把一致性的问题简化，用数学语言表达，就是一个相当常见的网络拓扑问题。
采用频域控制理论中广义Nyquist 准则和 Gerachgorin圆盘定理，通过有向图的描述，建立一个动态模型即可。
以程诺现在的水平，解决这类问题虽然不能用手到擒来来形容，但行云流水还是没多大问题的。
【……如果系统�
快捷操作: 按键盘上方向键 ← 或 → 可快速上下翻页 按键盘上的 Enter 键可回到本书目录页 按键盘上方向键 ↑ 可回到本页顶部!
温馨提示： 温看小说的同时发表评论，说出自己的看法和其它小伙伴们分享也不错哦！发表书评还可以获得积分和经验奖励，认真写原创书评 被采纳为精评可以获得大量金币、积分和经验奖励哦！