展开

关键词

“AI理论之父应该是哥尔”,LSTM之父再抛惊观点,网友:他有点走火入魔

△ Jürgen Schmidhuber 他在最的一篇文章中,热烈庆祝哥尔不完备定理发表90周年,并在标题上附上如下评论: 早在1931年,这位理论计算机科学的创始就展示了数学、逻辑、计算和的局限性 他认为哥尔确定了定理证明、计算、、逻辑和数学本身的基本局限性,对20世纪的科学和哲学产生了巨大的影响,他才是现代理论计算机科学和理论之父。 这就是Schmidhuber所说的的局限性。 之后,Schmidhuber又简单回顾了丘奇、图灵等在计算机理论方面的作,以及机械计算机、实用技术发展史。 哥尔晚年将自己的哲学描述为“理性、理想、乐观和神学”,他的最后一篇论文,是上帝存在的本体论证明。 看来对一件事过于痴迷,可并不是一件好事。

10010

你的作会被AI取代吗?| 数据科学50洞见

▍AI三大阵营:取代类、机结合和 目前针对AI的讨论中,有三大流阵营:一个阵营认为发展到最后会取代类;一个阵营认为类和机器会逐渐结合在一起;还有一个阵营则是抗拒技术的者对抱着一种抗拒的态度,他们习惯于安守现状,恐惧技术、事物会破坏原本的生活。 产生于业革命时期,机器让很多失业,们便开始打砸机器来保住自己的作,这种行为后来被称为“”。 ? (图片说明:业革命中打砸机器的运动;图片来源:网络) 坚持“”的将失业的原因归咎于机器,但这种看法已经被证明是谬语。 不管的发展路径是偏向于“替代类”、“机结合”还是,如今,得益于数据、计算力、算法三大要素的空前发展,的发展大势已经不可阻挡。

17600
  • 广告
    关闭

    腾讯云+社区系列公开课上线啦!

    Vite学习指南,基于腾讯云Webify部署项目。

  • 您找到你想要的搜索结果了吗?
    是的
    没有找到

    独家 | 背靠Hinton、Bengio和Sutton,加拿大如何打造超级中心?

    这样的状况在未来几十年内有可会被颠覆:加拿大的学界、业界、政府、以及个企业家正合力在多伦多 - 滑铁、蒙特利尔和埃蒙顿等城市建立超级中心( AI Superclusters )。 这项技术现已进入市场,随着技术商业化的高速发展,所有都将受到不同程度的影响。 在多伦多 - 滑铁、蒙特利尔和埃蒙顿打造超级中心 创的坐标「地理位置」非常重要。 效仿够凝聚周边资源的硅谷,加拿大决心在中部的多伦多 - 滑铁、东部的蒙特利尔以及西部的埃蒙顿地区打造兴的超级中心,建立完善的资金、业务和力生态链。 多伦多 - 滑铁篇 位处多伦多市中心,占地约 14 万平方米的 MaRS 科技创区,楼是上世纪二十年代复古爱华风格的建筑,与南塔和多伦多医疗发现塔宽敞的玻璃中庭屋顶旧相连。 如果按地域划分研究的话,多伦多打深度学习,蒙特利尔是深度学习和强化学习,而埃蒙顿专注于强化学习,但是我们的研究员有不同的兴趣,应用于机器学习和的各个方面」。

    72850

    “杀死”资本

    如果你相信炒作,那么 (AI) 很快将会以戏剧性的方式来改变世界。 反对会说它将导致失业率上升,国内动乱,甚至会带来类的灭绝。 相反,倡导告诉我们,随着机器处理繁重的作和日常琐事,我们将会迎来更加休闲而又创意的未来。 而多数处于中立的位置,他们承认会对作带来大幅度的改变这一观点是很难预测的,就目前而言,一切都是未知数。在过去业革命时期,作方式的大规模变革可在短期时间内都是具有破坏性的。 如果没有发生这种情况,类会发现自己处于这样的一个境地:在机器大军导的作领域中,类需要为那些有偿的且类还可以继续可做的作去竞争。 然而,如果这个农场的仍然把他的货物分给出价最高的,那么如何在民众中分配食物方面就会存在不平等,并且有可出现贫困的下层阶级,他们得不到足够的食物。当然,这并不是什么鲜的事情。

    26920

    “杀死”资本

    ---- 元报道 来源:福布斯 作者:Bernard Marr 编译:金磊 【元导读】专栏作家、大数据和商业分析师Bernard Marr日前在《福布斯》刊文指出,AI将类从枯燥的作中解放出来 为了避免财富最终积聚在控制大量机器的1%的上层手里,我们必须针对这个问题制定措施,而这将导致资本的消亡。 (文/Bernard Marr)如果你相信炒作,那么 (AI) 很快将会以戏剧性的方式来改变世界。 反对会说它将导致失业率上升,国内动乱,甚至会带来类的灭绝。 相反,倡导告诉我们,随着机器处理繁重的作和日常琐事,我们将会迎来更加休闲而又创意的未来。 然而,如果这个农场的仍然把他的货物分给出价最高的,那么如何在民众中分配食物方面就会存在不平等,并且有可出现贫困的下层阶级,他们得不到足够的食物。当然,这并不是什么鲜的事情。

    19900

    2015年将震撼科技市场的10件事

    鲁宾还说,更加的设备将采用低功率的WiFi和蓝牙通信协议,从而使对房屋装置的调试较为容易。 5现实将日益虚拟化 美国麻省理学院《技术评论》杂志编兼发行贾森·庞廷说,2015年,如果我们打算戴上极客眼镜,最有可选择的是奥克斯公司的Rift虚拟现实头盔和索尼公司的Morpheus(“梦神 庞廷说:“除了谷歌公司自己、谷歌眼镜开发者和几位未来者以外,没希望谷歌眼镜作为一种消费产品获得成功。庞大的游戏群则希望以一种更自然的方式与计算机和数字娱乐进行互动。 2015年,像奥克斯公司的Rift头盔这样的产品将开始重我们所理解的计算机界面这一概念。” 6黑客将目标对准小物 明年,我们日益联网的生活将变得越来越不安全。 结果是:在我们家中、在我们的汽车里、在厂车间,更多的机器取代了我们类。 恩勒说:“我认为,我们将看到另一起个电脑革命式事件,从而淘汰我们现在的机交互模式。

    382100

    CCF业务总部和学术交流中心落户苏州相城

    ,前任副理事长、中国程院副院长陈左宁等CCF常务理事、理事、执行机构负责、周边城市会员活动中心和YOCSEF城市分论坛有关负责、秘书处部分骨干;苏州市民政府副秘书长渊、苏州市科协席程波;相城区委书记顾海东 签约仪式上,CCF理事长高文、苏州市民政府副秘书长渊、相城区委常委、常务副区长潘春华分别作了讲话,整体上介绍了CCF和苏州市相城区合作的背景和对双方发展的重要意。 签约仪式上,CCF理事长高文,CCF前任副理事长、中国程院副院长陈左宁,苏州市政府副秘书长渊,苏州市科协席程波,相城区委书记顾海东的共同见证下,杜子、潘春华、苏学庆在合作协议上签字。 当前,相城高起点实施市域功区和产业功区规划,位于高铁城中部的长三角国际研发社区,将于未来5至8年时间内,集聚10万以上高科技研发才,不断加快国际化发展步伐,高标准布局材料、制造、生物医药、 等12个特色国际研发社区。

    24520

    【Nature社论】威胁论绝非耸听闻

    元导读】Nature日前发表社论,认为威胁论并非无稽之谈。 “奖”(Luddite Award,译注:也被称为阻碍科技进步奖)授予了“2015年因警告世或将毁灭类而搞得公众惶惶不安的一群科学家和知名士”。 2015年1月,马斯克和霍金都签署了一份公开信,张研究、监管和道框架确保类有益,并且保证“我们的系统必须做我们想让它们做的事情”。这哪谈得上“惶惶不安”。 使这样的监视变得更为普遍、更加强大。 再来是城市、基础设施和业变得过于依赖而出现的网络安全问题,更不用说无机和其他自进攻武器系统让机器自己做出攸关命决定的威胁。 如果这看起来是观点,那就这样吧。

    57280

    教学大师奖、杰出教学奖和创创业英才奖在杭州颁发

    清华大学姚期院士获得教学大师奖,北京大学黄如、复旦大学闻玉梅、南京大学馨、浙江大学吴晓波和西安交通大学何雅玲等5获得杰出教学奖,北京航空航天大学陈震和李琛、北京理大学倪俊和史晓刚、南京大学刘靖康 <<  滑动查看下一张图片  >> 获杰出教学奖之一的南京大学馨教授,24岁投身讲台,从教55年来长期从事理论物理的科学研究和教学,为培养中国的基础科学研究才做出了巨大贡献。 早在1989年他就开始探索大理科模式下培养基础科学才,培养学生的科研意识和创力。他编写的大学物理教科书被评价为“我国大学物理基础课程教学改革和教材建设史上具有里程碑意的教改成果。” 教学大师奖得姚期教授发表获奖感言时表示,“今天颁发的教学大师奖,是对于我在才培养作上的极大鼓励。 我在2004年回国以后,在清华开办姚班、班,并设立交叉信息研究院,就是想帮助中国在计算机科学方面的教育和研究水平。我们希望培养出来的学生够与世界著名高校麻省理、斯坦福大学比肩,甚至更好。” ?

    21530

    【AI 引擎】爱奇艺强氧科技共推VR产业 | 马斯克霍金获“阻碍科技创奖”

    2.百度吴恩达:还有很长的路要走 ? 尽管现在的计算机性已经十分强大,但达到和程度相当还十分遥远。这就是百度首席科学家、机器学习和深度学习领域业界公认的顶尖专家吴恩达所做的判断。 2015年“奖”。 马斯克和霍金在普通眼中代表了最先进的技术进步和科学理论,但他们为什么会获得奖呢?原因是他们二成立了“松散的联盟”,对技术“杞忧天”,导致们害怕技术。 IT与创基金会第二届奖共提名10位候选,最终的两位获奖者得到了3,680选票中的27%。 IT与创基金会席罗布·阿特金森(Rob Atkinson)说:“马斯克是的对立面,但我的确认为他给了社区以帮助和便利。 4.Skype杀手:微软拟用增强现实让视频通话身临其境 ?

    444120

    秦朔腾讯牵手出版《从连接到激活》,揭秘数字化激活慧教育“星辰大海”的向往

    该书由腾讯授权,知名财经作家秦朔编、戚志著,北京大学国家发展研究院教授周其仁作序,腾讯高级执行副总裁、云与慧产业事业群CEO汤道生,TCL集团创始李东生,三一重总裁向文波,北京大学国家发展研究院 四年前,同样的问题落在了天津市和平区上任的教育信息化管理中心冬梅身上。 2016年十三五国家战略性兴产业发展规划、2017年国务院《一代发展规划》、2018年《政府作报告》,将上升为国家战略。 2017年,高盛发布的《全球产业分布》报告显示,项目中国占51%,但才储备中国仅占5%左右,中国才缺口超过500万。 在深圳大学计算机与软件学院系系任朱泽轩看来,这些因素加起来就是深大“腾班”创办的“天时、地利、和”。

    15140

    那个陪你聊微信、发自拍的妹子,可不是

    运动 早期的技术性失业都是一种暂时性的、局部性的问题如运动。 运动(Luddite Movement):发生于第一次业革命期间,机器生产逐步排斥手劳动,造成大批手业者破产,失业,资下跌,英国以破坏机器为手段反对压迫和剥削。 ? 我们讲到了运动,讲到了三次业革命,但是至今为止还没有讲到AI,下面我们就从运动讲起。 6. 运动 20世纪90年代,我们出生那几年。 由于担心信息技术的引进会导致技术性失业,美国发生了反对信息技术的“运动”,其中,有一个极端分子——大学炸弹客卡辛斯基(Theodore Kaczynski)。 ? AI的两种流研究方式 全世界对于的研究方式,要分为全脑仿真和全脑架构两种方式。

    27240

    浅谈逻辑学与

    摘 要 : 的产生与发展和逻辑学的发展密不可分。逻辑学为的研究提供了根本观点与方法,而逻辑方法则是研究中的要形式化具。 要研究用方法模拟和扩展,最终实现机器研究与的思维研究密切相关。逻辑学始终是研究中的基础科学问题,它为研究提供了根本观点与方法。   1 学科的诞生   12世纪末13世纪初,西班牙罗门・乐提出制造可解决各种问题的通用逻辑机。17世纪,英国培根在《具》中提出了归纳法。 3 逻辑学在学科的研究方面的应用   逻辑方法是研究中的要形式化具,逻辑学的研究成果不但为学科的诞生奠定了理论基础,而且它们还作为重要的成分被应用于系统中。 如果二者够有机地结合,将推动进入一个的阶段。概率逻辑大都是基于二值逻辑的,目前许多专家和学者又在基于其他逻辑的基础上研究概率推理,使得逻辑学尽可满足发展的各方面的需要。

    1.4K80

    00后MIT美女学霸获2022年罗奖学金!4位中国学霸入学牛津

    ---- 元报道 编辑:好困 小咸鱼 【元导读】2022年罗奖学金的获奖名单正式公布,来自MIT、复旦、清华和北大的校友被评为罗学者。 除了麻省理学院和布达佩斯数学学期的研究项目之外,她还为明尼苏达大学斯分校和弗吉尼亚大学的研究项目做出了贡献,三篇文章被接受出版,许多其他文章已经提交或正在准备中。 她已经参加了广泛的研究生数学课程,在每门课程中都获得了尽可高的分数,并计划在麻省理学院学习3年后于2022年春季毕业。 洪乐潼最近在麻省理学院获得了兴领袖奖和社区建设奖,她是麻省理学院本科生数学协会的席和第一代低收入学生联盟的倡导和推广席。 洪乐潼获奖感言: 我很荣幸被选为2022年Alice T. 我的经历是由麻省理学院数学系培养的具有力挑战性和参与性的学术环境形成的。我特别感谢我的提名和顾问Pavel Etingof教授的大力帮助。

    17120

    的三大学派:符号、连接、行为

    (3) 行为(actionism),又称为进化或控制论学派,其原理为控制论及感知-动作型控制系统。 ? 1. 符号 认为源于数理逻辑。 符号曾长期一枝独秀,为的发展作出重要贡献,尤其是专家系统的成功开发与应用,为走向程应用和实现理论联系实际具有特别重要的意。 在的其他学派出现之后,符号仍然是流派别。这个学派的代表物有纽厄尔(Newell)、西蒙(Simon)和尼尔逊(Nilsson)等。 2. 连接 认为源于仿生学,特别是对脑模型的研究。 行为是20世纪末才以学派的面孔出现的,引起许多的兴趣。

    8.2K90

    的马克思审视

    文章从马克思哲学关于与技术关系的基本立场和观点出发审视的发展,文章认为还有广阔的发展空间,在可预见的未来并不会出现让们恐惧的“奇点”。 从马克思哲学关于与技术关系的基本立场和观点出发审视的发展,就会发现还有广阔的发展空间,在可预见的未来并不会出现让们恐惧的“奇点”。 随着深度学习的深入,在一定程度上摆脱类的经验,进行自学习,在练习中发现类还未发现的规律,摆脱经验的束缚,做出的判断。 从这个意上说,的发展不是威胁类的体地位,而是巩固和扩展了类的体地位,并为类的自由全面发展提供支撑。 . [11][美]霍华·加纳.多元视野[M].北京:中国民大学出版社,2008:7. [12]恩格斯.自然辩证法[M].北京:民出版社,1972:209.

    1.2K20

    黎曼猜想为何如此重要?

    尽管无数一流数学家向证明黎曼猜想发起冲击,却无一成功——不过就在昨天(9月24号),著名数学家、菲尔兹奖和阿贝尔奖双料得阿蒂亚爵士或将成为这样一个划时代的物。 他表示,自己基于冯·诺依曼、希策布鲁赫和狄拉克 等的成果,使用一种“简单而全”的方法证明了黎曼猜想,引发了全世界数学家们的关注。 45分钟证明演讲中,有30分钟介绍历史 长期关注、机器学习领域的垂直媒体“机器之心”昨天全程记录了阿蒂亚爵士在论坛上有关黎曼猜想的宣讲直播。 机器之心联合创始、副编李亚洲向中国之声介绍说,在9月24号的海堡获奖者论坛上,最受关注的可就是阿蒂亚爵士黎曼证明的宣讲了,也因为看直播的数太多,导致官方直播流崩溃,组织方不得不改用手机直播。 当然,还一些学者认为,阿蒂亚爵士的思路或为后续黎曼猜想证明提供了一种思路。 虽然历史上也有曾宣称自己“证明了黎曼猜想”,但是最终都被发现存在严重的漏洞。如何才真正证明黎曼猜想?

    36920

    如何用好 Roam Research ?(三):Roam 不是卡片盒

    听到这个题目,你可有一些惊诧,甚至不舒服。为什么呢?因为2020年, Roam Research 几乎是和卡片盒(英文:slipbox,语:zettelkasten)这个概念一起火起来的。 曼可以跟它对话,来不断迭代自己的思考,形成独特的见解和慧结晶。 不要小瞧概念的力量,一旦画上等号,你就会偏执的以一种「原教旨」的方式来记笔记。 但是,你可以假设一下,如果真是这样,那岂不是靠着它,出几十本厚厚的专著,外加数百篇论文了? 实际上,曼的这套具体系,需要的绝不仅仅是技术、经验,更重要的是毅力。 例如字数长度不应该超过一张卡片;倘若要说的话多,一张卡片写不完,就只依靠编号的分类法和连续性说明卡片间的顺序关联。你不编号,并且形成系统,又如何实现呢?

    24420

    上海矽杰煜旻:芯片同所有产品一样,抓住客户需求、维持高性价比很重要 | 镁客请讲

    1998年,煜旻在谢希和华中一教授的推荐下到美国留学,在获得密西根大学EE博士以后,来到波士顿。 2014年1月,煜旻选择回到上海。2月,入选了国家“青年千计划”的他,在自己临近不惑之际,送给了自己一份 “礼物”:从的起点开始。 “因为我有更多的产业经验,所以2013年成立的上海微技术业研究院成为了我回国后要投入精力做产业化尝试的平台。” “中民投集团旗下投资平台中民投资本围绕汽车,出行方向正在积极布局。虽然中民投投资的项目一般是比较中后期的项目,而上海矽杰是目前为止的唯一‘例外’。” 图 | 上海矽杰评估板 目前,针对车载、家居、慧照明等八种应用场景,上海矽杰都有着针对性的产品。

    34260

    102岁的设计生 | 贝聿铭最全作品赏析

    贝聿铭被称为“最后一个现代大师”,游走在东西方文化之间的他,无疑是建筑界一个特殊的存在,贝聿铭始终坚持着现代风格 在将建筑格化的同时为其注入东方的诗意。 贝聿铭作品以公共建筑、文教建筑为,被归类为现代建筑,善用钢材、混凝土、玻璃与石材。以下呈现他留给我们的部分经典作品。 国历史博物馆 ▼ ? ? ? 纽约市贾维茨会展中心 ▼ ? ? ? ? ? 波士顿美术馆 ▼ ? ? 加坡华侨银行中心 1976年 ▼ ? ? 罗彻斯特大学学生活动中心 1976年 ▼ ? ? 贝聿铭与家 ▼ ? 贝聿铭和杰奎琳·肯尼迪出席闻发布会,1964年 ▼ ? 贝聿铭和肯尼迪夫杰奎琳 ▼ ? 巴黎浮宫施现场, 中间手持玻璃材料的是时任法国总统密特朗, 密特朗旁边戴红色安全帽的是贝聿铭。 ▼ ? 贝聿铭与罗纳·里根总统及夫南希合影 ▼ ? 贝聿铭在讲解纽约四季酒店模型 ▼ ?

    1.2K10

    相关产品

    • 云服务器

      云服务器

      云端获取和启用云服务器,并实时扩展或缩减云计算资源。云服务器 支持按实际使用的资源计费,可以为您节约计算成本。 腾讯云服务器(CVM)为您提供安全可靠的弹性云计算服务。只需几分钟,您就可以在云端获取和启用云服务器,并实时扩展或缩减云计算资源。云服务器 支持按实际使用的资源计费,可以为您节约计算成本。

    相关资讯

    热门标签

    扫码关注云+社区

    领取腾讯云代金券