2015年07月_yuanmeng001

原创微软纳德拉：柯塔娜是市场竞争游戏规则的变革者

今年4月23日，微软CEO纳德拉在一次财务分析吹风会上就有关柯塔娜（Cortana）问题这样说："I think it（指柯塔娜）completely changes what personal productivity software means from a day-to-day experience."大意是说，在日常生活经验中，智能个人助手（柯塔娜）完全改变了个人生产力软件工

2015-07-31 00:54:44 2023 1

原创盗版者的失落

近日，微软大中华区消费渠道事业部总经理张永利先生接受专访时表示：“严格来说，盗版Win7/8.1是不能免费升级到Windows 10的，即便是现在收到了升级提示，在升级过程中检测到盗版之后是会中断升级的。”7月29日，win10粉丝齐聚北京水立方庆祝win10的发布，柯塔娜(Cortana)首先从《光晕》中走了出来，与会人群大声呼喊“Cortana，Cortana，......

2015-07-30 10:29:42 1781

原创对Win 10的最大期盼：让柯塔娜从《光晕》中走出来

今年7月29日是一个值得我们纪念的日子，原因是Windows 10在这一天正式发布。对于这一操作系统，我们的最大期待是什么呢？回顾过去，由于微软公司发行的《光晕》游戏仅限于在美国与日本发行，国人很少知道故事的具体情节，更不了解柯塔娜（Cortana，AI技术的化身）的使命及其智慧与情感。在Win 10中，柯塔娜的符号是一个圆形的光环（Halo），外围有一层“光晕”。我们的期

2015-07-29 00:57:00 1825

原创柯塔娜（Cortana）：从科幻虚构到真实人生

按照商业法理，7月29日，随着Win10发布的东风，“小娜”与“小冰”两姊妹相会于中国北京。在“小娜”眼中，“小冰”只是一个“小毛丫头”，只会嘻嘻哈哈与人类聊天。实际情况是，2001年11月15日，微软在《光晕》(Halo)游戏中创造了科幻人物“柯塔娜”（Cortana）。《光晕》光盘游戏主要围绕超级战士约翰（John，代号为S-117）展开。约翰是一个经过基因强化

2015-07-28 10:33:14 2103

原创 Win 10最大的亮点不是免费而是人工智能

7月27日，日本知名作家Manish Singh发表文章，题为“Eight Reasons Why You Should Upgrade to Windows 10”，文中例举以下8个理由：（有关论证省略）1.Voice-based virtual assistant Cortana arrives on desktop platform（集成了语音虚拟助手“小娜”）2.Start

2015-07-28 02:47:57 2099

原创人与“幽灵”共舞，提升生活质量

细细想来，当前，我们的日常生活、工作的节奏越来越快。我们似乎被越来越多的数据包围着，整天忙于处理事务，心身疲惫。怎么办？三十多年前，人工智能（AI）的思想进入我国，我开始“追梦”。但是，让我万万没有想到的是：近年来，互联网渗透到我们生活的方方面面，使得我们的生活、工作的节奏越来越快，压得人几乎透不过气来，身心极为疲惫。人工智能能否拯救我们？扪心自问，我们当前所最需要

2015-07-27 02:42:31 1794 1

原创虚拟劳工诚实可靠吗？

大家知道，雇用个别“虚拟劳工”影响不大，诚实可靠与否并无多大关系。但是，“虚拟劳工”使用人数多了，诚实可靠与否就是一个大问题了。第一批“虚拟劳工”来自微软，是微软培育的虚拟人类。7月17日，智能助手“小娜”在安卓平台上的Beta版从微软内部泄露出来。经过Techweez网站对其技术性能的测试，表明该Beta版本的性能“Pretty good”（想当不错）。具体测

2015-07-26 18:01:43 1846

原创大批“虚拟人类”（劳工）即将进入中国

2010年7月19日，微软在英国牛津举行的全球科技娱乐设计大会上展示了第一个“电子虚拟人类”。由此可见，虚拟人类的概念（产品）出自微软。五年过去之后，2015年7月29日，隋着Win10的发布，大批虚拟劳工即将进入中国。这批虚拟人类以智能助手的名义进入中国提供高级智力劳务。它们的实体运行在微软（中国）的大型数据中心之中，有数十万台服务器支撑。这批智力劳工绝对忠诚于其

2015-07-26 04:45:51 1885

原创智能助手相伴，享受人机温情

7月20日，《纽约时报》发表署名文章，题为“Microsoft Shifts Its Strategy”（微软改变市场策略），读后有感。该文的中心意思是说，在谷歌、苹果市场策略逼迫之下，微软也改变了市场策略。文章作者指出，微软的策略是：“There will be a virtual assistant in the software that keeps track of

2015-07-25 17:13:19 1877

原创硅片秘书，贴心助手

首先需要说明的是，“硅片秘书”（Sillicon secretary)一词不是我的发明，而是有人把微软“小娜”（Cortana）说成是“硅片秘书”，暗示“小娜”是科幻出身。微软“小娜”开发团队把一个“硅片秘书”塞进计算机操作系统，使得Win 10增加了”粘性“，就像XP一样。什么叫”粘性“？”粘性“就像是小孩子伸出双手要求妈妈抱抱，很是缠人。现在，一般人有了问题

2015-07-25 04:30:21 2194 1

原创微软小冰、小娜不久相会在中国

今年5月26日，微软官方宣布：“it’s bringing Cortana to iOS and Android”，意思是，安卓与iOS平台。近日，消息传来，小冰与小娜不日将相会在中国。说穿了，小冰、小娜都是不大的可执行文件（大约2MB），下载安装即可运行。微软是世界最大云服务中心基础设施拥有者，全球有7个，其中中国有两个基云服务地。本质上，小冰、小娜都是云服务，服务程序在微软

2015-07-24 03:16:45 2308

原创 Win 10人工智能战略转型必胜！

近日，微软CEO纳德拉(Nadella)表示：“Windows10 to transform how we use devices”，意思是说，Win 10将会改变我们使用各种电子设备的观念。由此可见，Win10发布不是一件小事情。大家知道，电子设备种类繁多，包括会移动的电子设备，数量有数千种。在这些电子设备上，使用统一的操作平台，这是人类历史上的一大进步。微软

2015-07-23 04:06:41 2214

原创 Win 10服务智能化有什么根据？

在今年7月29日之后，Win 10操作系统就叫“视窗服务”了，其中有没有“智能‘因素呢？能不能叫做”智能操作系统“呢？为什么？什么是”智能“呢？2014年3月16日，美国著名理论物理学家加来道雄（Michio Kaku，1947-）撰写的科普读物”The Future of the Mind“（“人类意识的未来”）名列《纽约时代》当年最佳消售书籍排行榜第一名。书中，加来

2015-07-22 20:57:58 1808

原创 Win 10：视窗即服务，服务有智能

近日，微软首席运营官（COO）凯文·特纳（Kevin Turner）表示：“将视窗（Windows）作为一种服务是一个全新的理念，微软从Win10开始使用“服务”这个名称”。回顾历史，从视窗是授权到视窗是服务，这是一个很了不起的进步。从Win 10开始，微软进入全面战略转型阶段。我们应该有这个认识。也就是说，在Win 10操作系统中，开窗动作意味着你准备接受微软推送的“服务

2015-07-22 05:21:26 2049

原创计算机与人脑比赛，看谁更快？

人脑神经元细胞体的直径大约在4至120微米，周边有许多细长的“树突”，传递生物电信号（10-20微伏）。根据“脑电波”仪器的实际测定，神经元细胞“树突”传递的电信号频率在10赫兹（Hz）左右，速度很慢，受到天然生理条件的限制。”小冰识狗“的过程是在近万个商用CPU组成的并行处理大机柜（CNN系统）中进行的，“识狗”的速度不足一秒，但是，人脑“识狗”的速度不会这么快。而且，人脑“识别

2015-07-21 06:25:11 2765

原创微软“小冰”更加萌了，我们怎么办？

7月16日，微软“小冰”项目负责人李笛接受媒体专访说：上线一年多，”小冰“已经脱离了“传统”机器人形象，“她”变得更会聊天了，更聪明了，也更有自己的“个性”了。也就是说，一年来，”小冰“有了许多”萌点“（新特性），变得更”萌“了。老实说，“萌”这个字我使用的频率最高，但是，这种用法还是第一次。这是个日本外来语，意思是指女孩子长大了。李笛说：“小冰”会查天气、讲笑话、

2015-07-20 11:42:03 2261

实际上，微软早在2014年7月14日首次透露了一项雄心勃勃的研究计划“亚当计划”（“Projrct Adam“）,该项目是有关计算机视觉方面的研究项目，也就是后来的“小冰识狗”功能。 “亚当计划”使用了普通PC处理器（即CPU）作为人工神经元的”替身“，在这些处理器之间建立了二十多亿个了”逻辑连接”，可以高效率训练系统（即向系统不断输入参考图片）。比如，识别威尔士短腿犬（Corgis）的种类（br

2015-07-20 03:23:35 2638

原创微软“小冰”识狗与人工神经网络（IV）

7月16日，微软“小冰”项目负责人李笛对外表示：在8月份，“小冰”将带来新的图像识别技术，比如，当“小冰”看到用户给出的一张自己受伤的脚踝照片之后，她会理解该相片图像中的含义，做出回应：“你怎么受伤了”或“怎么这么严重啊？”，也就是说，到了今年8月份，这个小丫头就会说话了。这是在“小冰识狗”之后，微软（中国）又一次重大的技术进步。为什么？在本文（III）中，我们已经提到支撑“小冰”

2015-07-19 01:34:18 2835

原创微软“小冰”识狗与人工神经网络（III）

围绕微软“小冰”识狗有一片”迷雾“（即理解困难），直到今年2月6日，微软技术高管孙剑发表文章确认了“小冰识狗“功能是微软专有的“人工神经网络”（ANN）对广大用户提供的一项网络服务，至此，这片”迷雾“才逐渐消去。但是，什么是”人工神经网络“？顾名思义，人工神经网络是由”人工神经元“所构成的网络，还是人造的”神经网络“？我们采用前一种理解，也就是说，人工神经元（Artificial

2015-07-18 04:14:20 2471

原创微软“小冰”识狗与人工神经网络（II）

微软“小冰”识狗使用了什么技术？真的是人工智能吗？今年2月6日，微软亚洲研究院首席研究员孙剑以“微软亚洲研究院”的名义发表文章，题为“微软亚洲研究院：让冰冷的机器看懂这个多彩的世界”，阐明了“小冰识狗”的技术真相。该文深入地阐明了一个事实：微软“小冰”采用了人工神经网络（ANN）技术，而不是一般人想象中的“相片一对一匹配”技术。“小冰识狗”为什么一定要采用人工神经网路技术？不用不行

2015-07-17 00:42:19 2296

原创微软“小冰”识狗与人工神经网络（I）

2014年8月21日，微软“小冰”网络机器人推出了一项图像识别技能；“小冰识狗”。“小冰”怎么会“识狗”呢？根据微软方面的说法，只要“小冰”用户“将一张包含狗狗的照片发给”小冰“，并且说出“小冰识狗”四个字（语音指令），”小冰“机器人会立刻分辨出上传照片中狗狗的品种，瞬间回答用户发出的指语音令。据称，识别的准确度达到83.8%。对于”小冰识狗“的小把戏，我们可以设想

2015-07-16 01:47:22 2718 1

原创语音识别及其应用出现“井喷式”发展

在2009-2011年期间，全球语音识别技术普遍转向“深度神经网络”（DNN）平台，DNN架构的层面数量及规模大幅度提升，研究成果频出，出现了“井喷式”发展态势，具体表现在以下8个方面：Scaling up/out and speedup DNN training and decoding;Sequence discriminative training of DNNs

2015-07-15 02:50:17 1948

原创语音识别（SR）的秘密

语音识别（SR）功能是当今国外操作系统的标准特征，而国产操作系统根本不具备这种特质，而且国家队没有相关的主观动力，去开发实际可用的语音识别系统。与国外相比，国产操作系统落后了一大节子，怪谁？怎样让机器识别人的语音？其实大道理并不复杂，首先，让机器设备听懂元音，然后听懂辅音，将两者合成起来成为单词，再做进一步的处理。但是，实际做起来就复杂了。怎么做？建立“语料库”（C

2015-07-14 03:09:30 2443

原创语音识别技术为何成为当今科技研究的最大热点？

语音识别（SR）技术（或称“语音科技”）成为当今科技研究的最大“热点”（或”聚焦点“）是有客观原因的。为什么？在国内搞科研，往往喜欢“赶潮流”，不问具备什么客观条件，喜欢“蛮干”。我们干事情要搞清楚周边的环境，看看情况再上路，不能”任性“。大家知道，人与人用语音沟通，相互“说话”，交换信息。我们用耳朵听别人说话并不觉得有什么困难，除非耳聋。现在的问题是，互联网大发展

2015-07-13 03:10:39 3254

原创语音识别技术的最新进展

7月11日，我在短文“现代人工智能走在仿生学的大道上”中提出关于现代人工智能的仿生学研究方向，是一句大实话。为什么？大家知道，在上世纪60-70年代，加拿大神经生理学专家David Hubel(1926-2013)以实验为基础，搞清楚了人类大脑视觉系统对外界刺激信号的反应机制，揭示了大脑神经皮层的多层次结构，奠定了现代人工智能的仿生学基础。在计算机科学发展历史中

2015-07-12 03:36:19 2928

原创现代人工智能走在仿生学的大道上

在上世纪60-70年代，加拿大神经生理学专家David Hubel(1926-2013) 与瑞典生理学家Torsten Wiesel （1924-）紧密合作，以实验为基础，搞清楚了大脑视觉系统对外界刺激信号的反应机制，证明了大脑神经皮层的多层次结构，奠定了现代人工智能的仿生学基础，为此，荣获1981年度诺贝尔医学奖。2006年，加拿大人工智能专家—Geoffrey Hi

2015-07-11 01:39:18 4025

原创一个华裔女孩马天琪的心愿

2008年12月20日，美国航天局（NASA)发起一场征文比赛，目的是为火星车航天器命名。比赛截止日期是2009年1月26日，参赛者的资格为年龄限制在6至18岁的美国青少年。一时间参赛者云集，参赛人数达9,000多人，华裔女孩马天琪（Clara Ma，小学6年级，12岁，父母来自中国大陆）也在参赛者之中。2011年，美国航天局评选委员会最终在参赛者中选定马天琪的

2015-07-09 16:46:48 2444 1

原创中国开源不靠谱，谈何服务万众创新？

2015年6月26日至27日，由中国开源软件推进联盟(COPU)主办，开源中国社区协办的“第十届开源中国开源世界高峰论坛”（以下简称“论坛”）在广州召开。本届论坛的主题是：“构建开源平台，服务万众创新”。根据官方网站的报道，本届论坛还举行了“万众创新开源公共服务平台”（简称“开源平台”），由中国开源软件推进联盟、中国数字标识与安全产业联盟以及寄云科技三家联合共建“万众创新开源公共服

2015-07-08 21:07:08 2127

原创互联网搜索业务成就了海量数据支撑的人工智能

回顾过去，在微软现任CEO纳德推动下，在2009年前后，微软裁员5000人，但是反而加强了微软的搜索业务，相继从雅虎挖来三名搜索高管，主持搜索技术创新，于2009年6月1日正式推出搜索引擎“必应”（Bing），至此，微软业务重点开始转型。说白了，微软转向软件服务，主打人工智能产品（或平台），开始业务转型。2014年4月2日，微软准备与Win10操作系统捆绑的个人智能助手“微软小娜”

2015-07-08 02:46:59 2312

原创 Win 10来袭，人工智能女将打头阵

7月1日，微软小冰身“考官”，其姐姐微软小娜（Contana）解锁“科技动态”功能，为即将来临的Win 10打头阵。中国IT产业界从来没有见过这种阵势，难于招架，“国产符咒”不再灵验。可悲啊！当下最要紧的是，“国产符咒”领头人回家休息，让“小毛头”上阵打先锋，走出国门，合作研发Linux软件，推出新产品。微软业务转型威力大！袁萌

2015-07-07 06:20:29 2114

原创人工智能思想进入我国的历史回顾

1955年，美国学者麦卡锡（John McCarthy，1927-2011）最早提出“人工智能”（AI)的术语，意思是：人工智能是“The science and engineering of making intelligent machin”。在当时条件下，国人对于麦卡锡提出的“智能机器”究竟是什么意思并不清楚，整天忙于别的事情，......大约在1978年前后，北航计

2015-07-06 08:25:25 2192

原创微软小冰发威，招摇人工智能

近日，微软小冰自命考官招聘自己的实习生，风头十足。消息一出，数小时之内，应聘者超过万人。此事，意义何在？回顾过去，赫尔布朗特开启机器推理的先机；“吴氏学派”自成体系，主张数学机械化；软大数据深挖“智能”，推出“小冰”机器人，时光过去不足百年。如今，科学技术突飞猛进，日新月异，匪夷所思也。记得，1980年秋，为筹备“中国人工智能学会

2015-07-05 09:50:09 2211

原创数学定理证明机械化的中国学派（II）

所谓“学派”是指：存在一帮人，具有相同或接近的学术观点或学术立场，采用某种特定的“方法”（或途径），在一个学术方向上共同开展工作，并且做出了相当有迎影响的学术成就。数学定理证明机械化的途径很多，但是，“吴方法”只有一种。什么是“吴方法”？我们拿初等（平面）几何学为例，所谓“吴方法”实质上就是“方程联立求证法”。什么叫“方程联立求证法”呢？比如说，我们需要求证一个几何

2015-07-05 02:19:11 2678

原创数学定理证明机械化的中国学派（I）

1997年，吴文俊院士获得赫尔布朗特奖，说明了什么呢？首先，我们必须明确的是：赫尔布朗特奖是当今国际数学界自动定理证明研究领域的最高学术奖项。该奖项的授予标志着国际学术界（同仁）对获奖项目的一致认可。回顾历年来，赫尔布朗特获奖者的名单如下：Larry Wos (1992) Woody Bledsoe (1994) John Alan Robi

2015-07-04 17:05:41 2525

原创快讯：阳光动力2号胜利抵达美国夏威夷

瑞士阳光动力2号太阳能飞机，连续飞行5昼夜（117小时52分钟），航程8,774公里，于7月3日夜晚胜利抵达美国夏威夷。袁萌7月4日

2015-07-04 01:52:51 2670

原创赫尔布朗特定理开启自动定理证明的大门

1930年，年仅22岁的法国“小毛头”赫尔布朗特（Jacques Herbrand，1908-1931）在登山时遇难的前一年给我们留下了一条数理逻辑的基本定理：赫尔布朗特定理。这条定理有什么意义呢？大家知道，在数理逻辑里面，引入量词符号“∃”与“∀”，是很重要的，但是，对于数学自动鼎定理证明而言，量词符号“∃”与“∀”就是累赘。怎么办呢？在所谓“一阶逻辑”里面，

2015-07-04 00:51:59 2638

原创数学自动定理证明的前景

7月2日下午，北京市小学开始放暑假，二楼的小孙孙不停地大喊大叫，对此，我心中很烦。但是，上楼一看，发现小孙孙正在网络上与同学玩连网游戏，...引起我对往事的回忆。上世纪50年代，通用计算机刚刚问世（1954年），数学家就在计算机上动脑筋了，想搞“机器自动定理证明”。起初，他们（数学家）拿罗素名著“数学原理”开刀（小试牛刀），在三条推理规则（模块生成、变量代换与公式置换）的前提下，让

2015-07-03 04:45:55 3868

原创四色猜想与四色定理

1852年，地图染色工作中形成的“四色猜想”，多年来一直困扰着数学家。粗看上去，证明“四色猜想”似乎并不困难，但是，细想起来，问题并不简单。为什么？长期以来，使用传统数学语言（术语与概念）说不清楚四色猜想问题究竟属于什么数学分支，用什么语言表述，连问题本身都说不清楚，更谈不上什么“数学证明”了。对此，聪明的数学家也无可奈何，没有办法。一百多年之后，1976年6月，在

2015-07-02 02:40:08 4781

原创数学与逻辑的融合

在上世纪初期，数学研究发生很的变化，逻辑公理化方法深度融入数学，使数学根深叶茂，快速成长。1911-13年，英国数学家罗素（Bertrand Russell，1872-1970）在其三卷本名著“数学原理”中初步完成了逻辑融入数学的尝试。这在数学发展史上是一件影响深远的大事。数学是一门古老的学科，自身有一套严密的论证方法。但是，逻辑学所特有的公理化演绎体系比数学论

2015-07-01 03:18:18 2146 1

空空如也

空空如也