文章 2018-01-09 来自:开发者社区

数学大师、AI先驱吴文俊逝世,40年前让电脑代替人脑证明定理

本文来自AI新媒体量子位(QbitAI) 我国著名数学大师、首届国家最高科技奖获得者、人工智能研究开拓者吴文俊院士因病医治无效,于2017年5月7日7时21分在北京逝世。 在此致以深切的哀悼。 吴文俊(Wentsun WU),祖籍浙江嘉兴,1919年5月12日出生于上海。1940年吴文俊毕业于交通大学数学系,1949年在法国斯特拉斯堡大学获博士学位。 吴文俊在拓扑学、自动推理、机器证明、代...

数学大师、AI先驱吴文俊逝世,40年前让电脑代替人脑证明定理
文章 2017-05-19 来自:开发者社区

数学菜鸟的AI学习攻略 | 数学符号轻松入门

你是否跟我一样,自幼恨透数学。 现在,我终于发现了我对数学绝缘的最主要原因:我的老师从来不去回答最重要的问题:我为什么要学数学?学数学有什么用? 他们只是在黑板上写下一大堆方程,并让我记下来。  现在,如果你对AI这个激动人心的领域感兴趣,那么它将是回答这个问题最好的答案!那就是,我想要写一个更好的图像识别程序,或者一个可以理解自然语言的交互界面!也许甚至想有一天写出自己的算法? 如果你...

文章 2017-05-17 来自:开发者社区

数学烂也要学AI | 带你造一个经济试用版AI终极必杀器

今天我们将建立我们自己的深度学习终极大杀器。 我们会搜集最好的精华,并且把他们组合成数字终结者。 我们也会讨论如何把最新的深度学习软件架构一步步安装到Ubuntu Linux 16.04中。 在这台机器上运行神经网络就像热激光束穿过黄油一样快捷流畅。你不用花超过129,000美元来购买 Nvidia’s DGX-1,这个AI超级计算机可以放在一个盒子里。我马上要给你展示它的性能,你绝.....

文章 2017-05-01 来自:开发者社区

数学菜鸟的AI学习攻略——数学符号轻松入门

[ 导读 ] 自学AI的过程中,我们非常需要理解这些数学符号。它可以让你用一种非常简洁的方式来表达一个复杂的想法。 你是否跟我一样,自幼恨透数学。 现在,我终于发现了我对数学绝缘的最主要原因:我的老师从来不去回答最重要的问题:我为什么要学数学?学数学有什么用?   他们只是在黑板上写下一大堆方程,并让我记下来。   现在,如果你对AI这个激动人心的...

数学菜鸟的AI学习攻略——数学符号轻松入门

本页面内关键词为智能算法引擎基于机器学习所生成,如有任何问题,可在页面下方点击"联系我们"与我们沟通。

产品推荐

{"cardStyle":"productCardStyle","productCode":"aliyun","productCardInfo":{"productTitle":"阿里云 AI","productDescription":"从 AI 应用构建,模型部署到训练,一站式了解阿里云经典的 AI 应用场景和解决方案。","productContentLink":"https://www.aliyun.com/solution/tech-solution/ai","isDisplayProductIcon":true,"productButton1":{"productButtonText":"查看详情","productButtonLink":"https://www.aliyun.com/solution/tech-solution/ai"},"productButton2":{"productButtonText":"联系 AI 专家","productButtonLink":"https://page.aliyun.com/form/act933288178/index.htm?spm=5176.29311086.J_RY_4Q8--sru4dMV7o3lqS.2.22ec5297YL7w86"},"productButton3":{"productButtonText":"立即体验","productButtonLink":"https://bailian.console.aliyun.com/?spm=5176.28326591.0.0.56136ee1bpor89#/efm/model_experience_center"},"productPromotionInfoBlock":[{"$id":"0","productPromotionGroupingTitle":"热门体验","productPromotionInfoFirstText":"文生文应用","productPromotionInfoFirstLink":"https://bailian.console.aliyun.com/?spm=5176.29311086.J__xR9sQs7AmaTHLBTgN3VS.1.22ec52978mJi5p#/home","productPromotionInfoSecondText":"文生图应用","productPromotionInfoSecondLink":"https://bailian.console.aliyun.com/?spm=5176.29311086.J__xR9sQs7AmaTHLBTgN3VS.2.22ec52978mJi5p#/efm/model_experience_center?modelId=wanx-v1"},{"$id":"1","productPromotionGroupingTitle":"热门产品","productPromotionInfoFirstText":"大模型服务平台百炼","productPromotionInfoFirstLink":"https://www.aliyun.com/product/bailian","productPromotionInfoSecondText":"人工智能平台 PAI","productPromotionInfoSecondLink":"https://www.aliyun.com/product/bigdata/learn"},{"$id":"2","productPromotionGroupingTitle":"技术解决方案","productPromotionInfoFirstText":"向量检索与通义千问搭建专属问答服务","productPromotionInfoFirstLink":"https://www.aliyun.com/solution/tech-solution/dashvector","productPromotionInfoSecondText":"创意加速器:AI 绘画创作","productPromotionInfoSecondLink":"https://www.aliyun.com/solution/tech-solution/tongyi-wanxiang"},{"$id":"3","productPromotionGroupingTitle":"热门模型","productPromotionInfoFirstText":"通义千问","productPromotionInfoFirstLink":"https://tongyi.aliyun.com","productPromotionInfoSecondText":"通义万相","productPromotionInfoSecondLink":"https://tongyi.aliyun.com/wanxiang"}],"isOfficialLogo":false},"activityCardInfo":{"activityTitle":"","activityDescription":"","cardContentBackgroundMode":"LightMode","activityContentBackgroundImageLink":"","activityCardBottomInfoSelect":"activityPromotionInfoBlock","activityPromotionInfoBlock":[]}}

阿里云机器学习平台PAI

阿里云机器学习PAI(Platform of Artificial Intelligence)面向企业及开发者,提供轻量化、高性价比的云原生机器学习平台,涵盖PAI-iTAG智能标注平台、PAI-Designer(原Studio)可视化建模平台、PAI-DSW云原生交互式建模平台、PAI-DLC云原生AI基础平台、PAI-EAS云原生弹性推理服务平台,支持千亿特征、万亿样本规模加速训练,百余落地场景,全面提升工程效率。

+关注