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