• AI又对奥数下手,刷题刷出「模考」最好成绩

    其中关键角色是OpenAI给Lean做的一个定理证明器。听起来有点耳熟&xff1f;没错&xff0c;就是去年参加国际数学奥林匹克竞赛&xff08;IMO&xff09;的“非人”选手Lean~自从2013年微软研究院推出Lean以来&xff0c;就一直尝试让AI...
    文章 2022-04-26 41浏览量
  • 追剧学AI(6)|概率论在机器学习中的迁移运用,手把手建...

    就是如果我们把模型自己变成随机会怎么样,的意思是像结构中的嵌入随机变量,变分自动编码器,很棒的一篇论文,我会发你的,请务必,我们或许还能把我们的模型造得和你一样变幻莫测,我很多变的,对于我们的模型有...
    文章 2017-09-04 2883浏览量
  • 人工智能需要一个可被证明的理论作为基础

    人工智能中的机械定理证明推动了计算代数的发展;数据安全、比特币、区块链的发展推动了代数数论、椭圆曲线和模形式的发展;社交网络、大数据的发展催生了持续同调理论(persistent homology)的发展;动漫、游戏的...
    文章 2017-10-27 1970浏览量
  • 演讲稿丨李衍达 沿着Simon开拓下去

    每当人工智能专家实现了一次突破,比方说有人说如果能证明数学定理我就说你有智能了,结果人工智能专家实现了,把罗素一本书中所有的数学定理都给证明了,还是有人说那不算智能,后来有人说如果你能下棋我就算你有...
    文章 2017-05-02 1568浏览量
  • 周志华CAIS大会现场演讲:人工智能的探讨

    为了证明这本书里面的定理,他们花了十年时间,而这个程序证明这所有的定理只用了不到两个月的时间,而且其中有一条定理证明比这两位伟大的逻辑学家证明出来的还要巧妙,更加简短、更加容易读懂。所以我们可以看到...
    文章 2017-10-24 1146浏览量
  • 听听工信部、信通院的大牛怎么说|数博会2018

    一句话描述区块链今后十年、五十年甚至一百年的趋势:我们的信任建筑在数学上——本来椭圆曲线加密,还有哈希函数的计算,还有零知识证明、多体系计算、微分隐私、同态加密等等,这些数学使我们真正的产品市场...
    文章 2018-05-30 1619浏览量
  • 马少平教授:我的AI研究之路

    我就是在那个课上首次接触了人工智能,印象中教材是一本油印的教材,内容包括至少现在在大多数人工智能教材中还会讲的A*算法、α-β剪枝算法、定理证明等。之后又开设了lisp语言课,由陆玉昌老师主讲,做过的作业...
    文章 2017-06-01 924浏览量
  • 清华马少平教授回首往事:那些年,我们做过的AI

    我就是在那个课上首次接触了人工智能,印象中教材是一本油印的教材,内容包括至少现在在大多数人工智能教材中还会讲的A*算法、α-β剪枝算法、定理证明等。之后又开设了lisp语言课,由陆玉昌老师主讲,做过的作业...
    文章 2018-01-08 1045浏览量
  • 程序员的十层楼及读后感

    如果直接抄袭Linux或者其他开源操作系统的内存管理算法,会被人看不起的,如果自动动手实现一个内存管理算法,他会发现现在有关内存管理方法的算法数量众多,自己并没有全部学过和实践过,不知道到底该那种内存...
    文章 2017-02-26 1125浏览量
  • 程序员的十层楼

    如果直接抄袭Linux或者其 他开源操作系统的内存管理算法,会被人看不起的,如果自动动手实现一个内存管理算法,他会发现现在有关内存管理方法的算法数量众多,自己并没有全部学过和 实践过,不知道到底该那种内存...
    文章 2017-11-07 1159浏览量
  • 清华大学马少平教授:那些年,我们做过的AI……

    我就是在那个课上首次接触了人工智能,印象中教材是一本油印的教材,内容包括至少现在在大多数人工智能教材中还会讲的A*算法、α-β剪枝算法、定理证明等。之后又开设了lisp语言课,由陆玉昌老师主讲,做过的作业...
    文章 2017-05-22 2040浏览量
  • 以太坊分片Sharding FAQ

    如果提现延迟是灵活的,那么如果有很多的提现发生他们会自动延长,这意味着当N增长的越来越大,攻击者迫使所有人的资金被锁定的时间越来越长,系统的“安全性“级别在一定意义上进一步降低。因为扩展的拒绝访问可以...
    文章 2018-06-10 998浏览量
  • 演讲稿丨林建祥 H.A.Simon学术生平

    是挑选了当时认为高级智能的特征进行抽象的定理证明,作为探讨,把罗素撰写的“数学原理”中命题逻辑有几十个定理进行自动程序的验证,当时认为计算机能够做自动定理证明的就是人工智能的表现,所以轰动了当时的学术...
    文章 2017-05-02 1497浏览量
  • 程序员的十层楼

    如果直接抄袭Linux或者其他开源操作系统的内存管理算法,会被人看不起的,如果自动动手实现一个内存管理算法,他会发现现在有关内存管理方法的算法数量众多,自己并没有全部学过和实践过,不知道到底该那种内存...
    文章 2017-11-08 1245浏览量
  • 如何让AI理解数学?Facebook神经网络通过“语言翻译”...

    神经网络探索的另一个可能的方向,是自动定理生成器的开发。数学家们正越来越多地研究使用人工智能来生成新的定理和证明的方法,尽管“这种技术还没有取得很大进展,”Lample 说,“这是我们正在研究的东西。Charton...
    文章 2020-07-01 772浏览量
  • 程序员的十层楼

    如果直接抄袭Linux或者其他开源操作系统的内存管理算法,会被人看不起的,如果自动动手实现一个内存管理算法,他会发现现在有关内存管理方法的算法数量众多,自己并没有全部学过和实践过,不知道到底该那种内存...
    文章 2012-04-19 1166浏览量
  • CAP的相对论

    该理论由brewer提出,2年后就是2002年,Lynch与其他人证明了Brewer猜想,从而把CAP上升为一个定理。但是,它只是证明了CAP三者不可能同时满足,并没有证明任意二者都可满足的问题,所以,该证明被认为是一个收窄的...
    文章 2016-07-07 4353浏览量
  • 专访 Jordan 高徒 Percy Liang:如何开发连续学习的...

    当你终于证明一个定理或者证明某个实验可行,你感到非常激动,但是要把这个功劳归于产生灵感那一刻是不公平的。因为你是在成功之前,经历了很长的一个过程,你付出了很多努力,尝试了各种事情。新智元:你为什么会...
    文章 2017-08-02 1319浏览量
  • 算法——贝叶斯

    拉普拉斯证明了贝叶斯定理的一个更普遍的版本,并将之用于解决天体力学、医学统计中的问题,在有些情况下,甚至用于法理学。但是拉普拉斯并不认为该定理对于概率论很重要。他还是坚持使用了概率的经典解释。弗兰克·...
    文章 2016-05-04 2391浏览量
  • BTA|邹均:区块链技术发展——在不完美世界艰难前行

    智能合约一部署上去就不受你的控制,那我们怎么在部署之前对它做形式化的证明证明它没有漏洞,证明它的功能正确,这也是一个非常大的一个研究领域,现在目前没有特别好的区块链平台能做这个。去年国外第二大的ICO...
    文章 2018-04-19 1604浏览量
  • 大数据背后的神秘公式(下):“贝叶斯革命”

    自然语言处理就是让计算机代替人来翻译语言、识别语音、认识文字和进行海量文献的自动检索。但是人类的语言可以说是信息里最复杂最动态的一部分。人们最初想到的方法是语言学方法,让计算机学习人类的语法、分析语句...
    文章 2017-05-02 1309浏览量
  • 火币袁煜明:区块链的本质、意义与商业体系设计|清华x...

    而现在基于加密算法的代码,可以数字签名来证明身份,哈希指针来确保内容没有被篡改过,智能合约来保证程序能自动执行。这是一个很根本的驱动力,因为商业体系里最重要的东西,契约变了,会引发商业体系一系列...
    文章 2018-05-02 2672浏览量
  • 算法——贝叶斯

    拉普拉斯证明了贝叶斯定理的一个更普遍的版本,并将之用于解决天体力学、医学统计中的问题,在有些情况下,甚至用于法理学。但是拉普拉斯并不认为该定理对于概率论很重要。他还是坚持使用了概率的经典解释。弗兰克·...
    文章 2014-02-24 1076浏览量
  • 大数据背后的神秘公式(下):“贝叶斯革命”

    自然语言处理就是让计算机代替人来翻译语言、识别语音、认识文字和进行海量文献的自动检索。但是人类的语言可以说是信息里最复杂最动态的一部分。人们最初想到的方法是语言学方法,让计算机学习人类的语法、分析语句...
    文章 2017-08-01 1574浏览量
  • 贝叶斯算法的应用

    拉普拉斯证明了贝叶斯定理的一个更普遍的版本,并将之用于解决天体力学、医学统计中的问题,在有些情况下,甚至用于法理学。但是拉普拉斯并不认为该定理对于概率论很重要。他还是坚持使用了概率的经典解释。弗兰克·...
    文章 2016-08-19 2004浏览量
  • 反向传播算法最全解读,机器学习进阶必看!

    上面的定理可以通过在无环神经网络中实现消息直接传递来证明,紧接着我们将解释一下如何计算∇2f(z)⋅v。设g(z)=⟨∇f(z),v⟩ 有定理可知,g(z)可以由大小是O(V+E)神经网络计算得到,同理我们再次应用法则,在这个...
    文章 2017-08-01 1120浏览量
  • 《深入分布式缓存》之“分布式理论:CAP是三选二吗?

    该理论由brewer提出,2年后就是2002年,Lynch与其他人证明了Brewer猜想,从而把CAP上升为一个定理。但是,它只是证明了CAP三者不可能同时满足,并没有证明任意二者都可满足的问题,所以,该证明被认为是一个收窄的...
    文章 2018-01-24 1014浏览量
  • IBM苏中:怎样利用深度学习、增强学习等方法提高信息...

    在很多人工智能的演化中,这方面已取得了非常大的进步,如定理证明。这方面的技术同样应用在产业界,以专家系统为例。在医疗行业中我们需要考虑一个好医生所具备的特点,到底是他诊断的病人比较多还是他遇到的疑难...
    文章 2017-12-01 1579浏览量
  • 注水、占坑、瞎掰:起底机器学习学术圈的那些“伪科学...

    例如“解卷积(deconvolution)”,它严格描述了数学上逆转卷积的过程,但现在在深度学习文献中,它用于指代自动编码器和生成对抗网络中常见的转置卷积(也称为向上卷积)。这个术语首先出现在[79]深入学习中,它确实...
    文章 2018-07-17 1132浏览量
  • IBM苏中:怎样利用深度学习、增强学习等方法提高信息...

    在很多人工智能的演化中,这方面已取得了非常大的进步,如定理证明。这方面的技术同样应用在产业界,以专家系统为例。在医疗行业中我们需要考虑一个好医生所具备的特点,到底是他诊断的病人比较多还是他遇到的疑难...
    文章 2017-12-04 1516浏览量
1 2 3 >

云产品推荐

视频直播 大数据计算服务 MaxCompute 国内短信套餐包 ECS云服务器安全配置相关的云产品 开发者问答 阿里云建站 新零售智能客服 万网 小程序开发制作 视频内容分析 视频集锦 代理记账服务 阿里云AIoT 阿里云科技驱动中小企业数字化