手机浏览器扫描二维码访问
鲁东义的干脆有些出乎宁为的意料,他本以为还要多说两句的,好在师兄似乎看出了他的疑惑,在他转身前,感慨了一句:“照你说的,如果有一天,咱们的成就真能达到见到爱因斯坦得先给我们递烟,碰到牛顿他得先来敬酒的高度,的确挺值得期待的。”
宁为脚步顿了顿,品位了一番这追求,除了稍微有些不太吉利外,没啥毛病。当即头也不回的答道:“只要我们有自信,一定可以的!”
“哦,对了,后天就是国庆七天假了,做事情还是有张有弛比较好,我建议你可以好好的出去玩几天,等假放完之后我会每天监督你工作状态的。”鲁东义又说了句。
宁为随便挥了挥手代表他知道了,然后果断的回到了自己的办公室。
人在陷入对未来的思考时,屁话通常会很多,即便是高智商也难以免俗,比如鲁东义。
心情自然是更好了,宁为想通了许多东西豁然开朗之后,已经明白他想做的事情光靠他一个人肯定不够,哪怕是加上余兴伟也不够,必须有一群人能够跟他有相同的理念,然后一起为这个目标而奋斗。
鲁东义无疑从任何方面来看都是极为合适的。自身智力条件就不用说了,本身还是燕北大学的副教授,且在国内数学界尤其是学生中间本身就具备极大影响力,以后振臂一呼,肯定能拉来不少感兴趣的学生,在加上本身就有授课经验,简直完美!
把鲁东义绑上了战车还是得做出点东西,来鼓励大家的。
坐到自己的办公桌前,得意了一会后,宁为才发现办公室里明显被收拾过,他早上翻乱的东西都已经被摆的整整齐齐,窗台上的花瓶里也插上两朵新鲜的桂花,正散发着怡人的花香。
显然这是江同学专门来收拾过,宁为闭上眼睛,狠狠的嗅了嗅房间内的香气,这才打开了自己的笔记本,开始继续思考如何搭建他的理论框架。其实在参加STOC大会之后,宁为便对基础的人工智能搭建过一个基础框架,并将之用到了三月的主程序构建,所以他现在需要考虑的是更加抽象的问题,机器的意识建模。
说的更清晰些,就是通过数学模型来描述物理状态的整个信息系统。如果需要这一理论成立,那么大概就可以理解为相适应的算法将是机器的意识。
要从理论上解决这个问题,最困难的步骤就是要解决一个哲学上的命题,非还原主义。具体到他现在所考虑的人工智能领域,大概描述就是要证明这个世界类人高级智能活动过程能否全部或绝大部分还原为计算过程。
如果可以,需要给出具体推导过程;即便不是所有人类智能活动过程都还原为计算过程,理论上也要给出尽可能多的高级智能够还原为基本计算过程的原理,因为这是强人工智能数学理论中最重要的部分。当然,如果可以还要尝试论证被摒弃的那一部分是无用智能……
比如对于人类来说,其实并不需要给为你辅助的智能设备添加审美功能。毕竟不能说以后某位长得过于抽象的客户买了一部最新的智能手机,智能手机还能因为摄像头感知到主人长得太丑而长期以低效的模式提供智能服务,这就是属于给自己找麻烦的高级智能还原。
这是宁为正在做的东西。
他需要将一系列人类需要的智能反应过程,转化为计算过程提供出有力的理论证明,并结合大数据证明机器可以拥有主动学习能力,并为实现更精确的计算机视觉、听觉甚至触觉提供一个更简单更精准的理论指导。
说起来简单,但真的做起来却是极为复杂的过程。在制作数学模型的时候需要充分考虑到其可扩展性,包括每个计算单元、每个算符,想要实现一个很简单的能力可能都需要多级程序语言调用的多级编译或解释系统。这一点是从构建三月主体程序得到的经验。
以三月为例,现在三月就具备了一定的程序感知能力,跟对基本语义的识别能力,这些都是建立在主动学习基础之上的。但实际上就目前的三月来说,相对于她审核那些可公式化的数学稿件,在识别人类基础语义这块消耗的算力要更多。
想要让机器如同人类一样去识别语言语义,尤其是识别一些不同环境下能表现丰富情绪的语义,往往还需要机器对情绪的洞察力。
而这一切都是人工智能理论构架的基础,其难度自然是极大的,宁为能做的便是将所有的问题分解成一个个小问题,然后一个个解决,最终形成整套大理论。
比如他已经解决了其中最简单的大数据压缩难题。通过强压缩手段可以让人工智能程序在最短时间内获得最多的数据来锻炼其本身的分析判断能力。现在宁为正在做的则是人类理解语义、情绪的计算还原过程。
这块做完了,他的拔尖青年项目也能顺利完成,顺便在拿个图灵奖大概问题不大。这块的难度虽然极大,超乎想象的大,但有三月作为参照物,却让难度直线下跌了不少,最关键的点在于整个学习过程的计算模式还原。
大概浏览了之前已经完成的内容,宁为快速的开始在程序中构建大脑中确定的行为模式模型。
“定义7,数据对象O是一个有指定类T的变量v,v∈V?PV?U,其由类型约束μv(T)限制以便将此一般类T通过子域裁剪T″转化为一给定问题的特定类T′。
“即O?”
……
“嗨,你回来了?”当办公室门推开,江同学走进办公室时,宁为恰好通过列出的定义,完成了论文中一个定理的证明。
“是啊,今天出门忙了一天,累死了。”宁为心满意足的推开了面前的笔记本,看了眼时间,正好晚上九点半。
“忙什么去了?”江同学坐在钢琴前顺口问了句。
“去买了些二手电脑设备。”宁为想了想,答道。
“哦!”江同学点了点头,然后推开了琴盖。
“那个,花了差不多两个亿吧。”宁为又说道,有些事还是得让这女孩知道的,他没兴趣像电视剧情节里一样,隐瞒自己身价,然后惹出些人间轻喜剧。
两人已经确定在一起了,有些事情就没必要藏着掖着。主要是宁为觉得以后他赚得肯定要比几个亿多。
女孩手顿了顿,侧着脸有些疑惑的看向坐在对面的宁为:“两个亿是指人民币?”
时教授那么宠 美女总裁的特工保镖 网游之英俊的死灵法师 幽冥路18号别墅 医往情深,腹黑老公太迷人 蝶弄情(男女主身心唯一) 拯救恶毒反派[快穿] 贞观小财神 强势娇妻:傅总爱妻成瘾 二婚老公太难缠 聽說愛情來過(限) 大佬身边的小废物(快穿) 我的神棍老公 我的超市通今古[位面] 豪门婚宠告急 穿成虐文女主替身后 妖神相公逆天妻 校花的贴身仙医 当攻穿成农家媳 将军归来
慕以瞳是四九城上流社会的花蝴蝶,她跟所有男人调情,却只上温望舒的床。温望舒,温氏集团总裁,四九城真真正正的权贵。人们都说,慕以瞳是只癞蛤蟆,污染了温望舒这只白天鹅。激情过后,她媚...
作为深海一族的霸主,阮诺她咸鱼且贪玩娇纵且强大。因一场意外,她被迫穿越到了另一个世界。阮诺???本以为这就够倒霉了,哪成想元力耗尽化成原型遭遇系统被人类强制饲养等一系列乱七八糟的事又落到了她的头上。阮诺别问,问就是想揍人。好在伺候她的人类还算勉强入眼。他出身高贵长的漂亮为人和善,还天天对着她吹彩虹屁,什么阿阮真乖阿阮很可爱阿阮是盛京最漂亮的姑娘等等赞美之词信口捏来。被糖衣炮弹蛊惑的小人鱼慢慢地收起了利爪,也藏起了能卷死人的尾巴,甚至时不时地赏给人类一个还算友善的小眼神。阮诺ヽ害′‘羞ノ今天又是被夸的一天!当然,也总有烦人的某系统在她的耳边嗡嗡叫宿主大人!你该攻略傅远舟啦!想起那个漂亮的人类,阮诺一边吃着小鱼干,一边懒洋洋地摇了摇鱼摆摆你是说我的人类?他已经爱我爱的不能自拔了呀。可可他对你的好感度为0%啊!阮诺???手里的小鱼干瞬间不香了。如果您喜欢小人鱼她武力值爆表,别忘记分享给朋友...
现代情感缘来是你,霍少的隐婚甜妻作者麦可完结 简介 相亲却被当成勾人男友的小三,简筠愤怒大骂「我不认识那个人渣!」结果从此被人渣缠上。 一纸隐婚协议,她成了他的妻,说好彼此不侵犯,谁知霍少转眼就食言,不但步步紧逼到处秀恩爱,竟然还想独霸她的心。 简筠忍无可忍,「我要」 霍少一把捂住她的嘴,...
关于逆刃传龙蛟大战中,战神一族覆灭,其唯一一脉不幸遗失。生于压迫之中,也自当心比天高。八岁习武,小龙历经磨难终成长。轮回之爱,生生不息。信任与背叛,温柔与欺骗,接纳与拒绝。生生世世后,新一代战神何时出现,又将何去何从呢?...
200年探索,人类发现新能源300年开发,人类开辟新空间400年研究,人类拥有了异能当所有人类都满怀期待下一个百年,普尼斯战争一声炮响,海里走上来一群怪物。开始吧。银发的男人在王座上一声令下,陆地上的血眨眼便染红了海岸五十年前,天空黑压压一片。乌鸦遍布城市的每一处角落,用血色的眼睛盯着你,到处宣扬死亡的气息直到现在还流传着这样一句话小心,别被乌鸦盯上了。她清寂姝丽的容貌上绽开一朵凄凉的花,望着那即将到来的永夜,默默慨叹。站在极大的夜幕下观赏着战火,灵魂在黑暗的命运里不断挣扎。她是海中的暗鸦,生者的死神,亡灵的主人如果您喜欢小心,别被乌鸦盯上,别忘记分享给朋友...
传说,灰网组织有一少年创造了神话的历史,他尽得七宫所有绝学的真传,被喻为超越主子的天才,成为灰网有史以来最年轻的金牌杀手,然而,传说的背后却是少年的‘血泪史’,以及‘乌龙史’。后来,当秘密不慎被传说...