&esp;&esp;鲁东义的
脆有些
乎宁为的意料，他本以为还要多说两句的，好在师兄似乎看了他的疑惑，在他转
前，
慨了一句：“照你说的，如果有一天，咱们的成就真能达到见到
因斯坦得先给我们递烟，碰到
顿他得先来敬酒的
度，的确
值得期待的。”
&esp;&esp;宁为脚步顿了顿，品位了一番这追求，除了稍微有些不太吉利外，没啥
病。当即
也不回的答
：“只要我们有自信，一定可以的！”
&esp;&esp;“哦，对了，后天就是国庆七天假了，
事
还是有张有弛比较好，我建议你可以好好的去玩几天，等假放完之后我会每天监督你工作状态的。”鲁东义又说了句。
&esp;&esp;宁为随便挥了挥手代表他知了，然后果断的回到了自己的办公室。
&esp;&esp;人在陷
对未来的思考时，
话通常会很多，即便是智商也难以免俗，比如鲁东义。
&esp;&esp;心自然是更好了，宁为想通了许多东西豁然开朗之后，已经明白他想的事光靠他一个人肯定不够，哪怕是加上余兴伟也不够，必须有一群人能够跟他有相同的理念，然后一起为这个目标而奋斗。
&esp;&esp;鲁东义无疑从任何方面来看都是极为合适的。自智力条件就不用说了，本还是燕北大学的副教授，且在国
数学界尤其是学生
间本就
备极大影响力，以后振臂一呼，肯定能拉来不少兴趣的学生，在加上本就有授课经验，简直完
！
&esp;&esp;把鲁东义绑上了战车还是得
东西，来鼓励大家的。
&esp;&esp;坐到自己的办公桌前，得意了一会后，宁为才发现办公室里明显被收拾过，他早上翻
的东西都已经被摆的整整齐齐，窗台上的
瓶里也
上两朵新鲜的桂，正散发着怡人的香。
&esp;&esp;显然这是江同学专门来收拾过，宁为闭上
睛，狠狠的嗅了嗅房间的香气，这才打开了自己的笔记本，开始继续思考如何搭建他的理论框架。其实在参加stoc大会之后，宁为便对基础的人工智能搭建过一个基础框架，并将之用到了三月的主程序构建，所以他现在需要考虑的是更加
象的问题，机
的意识建模。
&esp;&esp;说的更清晰些，就是通过数学模型来描述
理状态的整个信息系统。如果需要这一理论成立，那么大概就可以理解为相适应的算法将是机的意识。
&esp;&esp;要从理论上解决这个问题，最困难的步骤就是要解决一个哲学上的命题，非还原主义。
到他现在所考虑的人工智能领域，大概描述就是要证明这个世界类人级智能活动过程能否全
或绝大分还原为计算过程。
&esp;&esp;如果可以，需要给推导过程；即便不是所有人类智能活动过程都还原为计算过程，理论上也要给尽可能多的级智能够还原为基本计算过程的原理，因为这是
人工智能数学理论最重要的分。当然，如果可以还要尝试论证被摒弃的那一分是无用智能……
&esp;&esp;比如对于人类来说，其实并不需要给为你辅助的智能设备添加审功能。毕竟不能说以后某位
得过于象的客
买了一最新的智能手机，智能手机还能因为摄像知到主人得太丑而期以低效的模式提供智能服务，这就是属于给自己找麻烦的级智能还原。
&esp;&esp;这是宁为正在的东西。
&esp;&esp;他需要将一系列人类需要的智能反应过程，转化为计算过程提供有力的理论证明，并结合大数据证明机可以拥有主动学习能力，并为实现更
确的计算机视觉、听觉甚至
觉提供一个更简单更准的理论指导。
&esp;&esp;说起来简单，但真的起来却是极为复杂的过程。在制作数学模型的时候需要充分考虑到其可扩展
，包括每个计算单元、每个算符，想要实现一个很简单的能力可能都需要多级程序语言调用的多级编译或解释系统。这一是从构建三月主程序得到的经验。
&esp;&esp;以三月为例，现在三月就备了一定的程序知能力，跟对基本语义的识别能力，这些都是建立在主动学习基础之上的。但实际上就目前的三月来说，相对于她审
那些可公式化的数学稿件，在识别人类基础语义这块消耗的算力要更多。
&esp;&esp;想要让机如同人类一样去识别语言语义，尤其是识别一些不同环境
能表现丰富绪的语义，往往还需要机对绪的
察力。
&esp;&esp;而这一切都是人工智能理论构架的基础，其难度自然是极大的，宁为能的便是将所有的问题分解成一个个小问题，然后一个个解决，最终形成整
大理论。
&esp;&esp;比如他已经解决了其最简单的大数据压缩难题。通过压缩手段可以让人工智能程序在最短时间获得最多的数据来锻炼其本的分析判断能力。现在宁为正在的则是人类理解语义、绪的计算还原过程。
&esp;&esp;这块完了，他的
尖青年项目也能顺利完成，顺便在拿个图灵奖大概问题不大。这块的难度虽然极大，超乎想象的大，但有三月作为参照，却让难度直线跌了不少，最关键的在于整个学习过程的计算模式还原。
&esp;&esp;大概浏览了之前已经完成的容，宁为快速的开始在程序构建大脑确定的行为模式模型。
&esp;&esp;“定义7，数据对象o是一个有指定类t的变量v，v∈v ? pv ? u，其由类型约束μv（t）限制以便将此一般类t通过
域裁剪t″转化为一给定问题的特定类t′。
&esp;&esp;“即o ?”
&esp;&esp;……
&esp;&esp;“嗨，你回来了？”当办公室门推开，江同学走
办公室时，宁为恰好通过列的定义，完成了论文一个定理的证明。
&esp;&esp;“是啊，今天门忙了一天，累死了。”宁为心满意足的推开了面前的笔记本，看了时间，正好晚上九半。
&esp;&esp;“忙什么去了？”江同学坐在钢琴前顺
问了句。
&esp;&esp;“去买了些二手电脑设备。”宁为想了想，答。
&esp;&esp;“哦！”江同学了，然后推开了琴盖。
&esp;&esp;“那个，了差不多两个亿吧。”宁为又说，有些事还是得让这女孩知的，他没兴趣像电视剧节里一样，隐瞒自己价，然后惹些人间轻喜剧。
&esp;&esp;两人已经确定在一起了，有些事就没必要藏着掖着。主要是宁为觉得以后他赚得肯定要比
ql请记住本站地址http://m.quanbl.com