走进计算机文化史 6 - 他的思想代表了逻辑和语言
上期文章（详见：《一个无法证明的逻辑问题》）中我们讲到了图灵在哥德尔证明了不完备理论之后用图灵机的概念完整地证明了希尔伯特判定性问题，并因此从数学理论中开辟出了计算机科学的分支。但即便是这样，图灵的理论撑起的也仅是计算机领域的半边天。如果把日益兴起的计算机科学比作一个成长的巨人，...
一张通往数学世界的地图
继 物理学地图 之后，今天要给大家带来的是一张通往数学世界的地图，概括了所有的数学分支。
【解读谷歌TFX】基于TensorFlow可大规模扩展的机器学习平台
作者详细分析了Google通用机器学习平台和其实现过程。通过将上述组件集成到一个平台中，能够对组件进行标准化，简化平台配置，并将生产时间从数月缩短到数周，同时提供平台稳定性，最大程度地减少服务中断。
重返数学史的黄金时代，由数学推动诞生的人工智能，一部人类智慧形成的历史
数学，特别是西方数学，起源于非常实际的目的，从土地测量到灌溉系统再到推理演绎体系，数学至少在认知、测量、记录和预测四个方面满足了人类的需求。现在的人工智能在测量和记录上取得极大的成就，而在认知和预测上被限制。
AI上帝？前谷歌工程师设立宗教组织 “未来之路”
前谷歌工程师Anthony Levandowski设立了一个非营利性的宗教组织——Way of the Future（未来之路）。很可能，这个被Levandowski创造出来的AI上帝，将会摆脱Levandowski的控制。
走进计算机文化史 5 - 一个无法证明的逻辑问题
前三期我们用恩尼格码的制造与破解阐述了一个用机器战胜机器的故事。这也可以说是人们对计算机概念进行实践的一个起点。那么计算机的概念又是从何而来呢？本期我们回到20世纪初页，从一个数学的逻辑问题开始讲起。
手机上的智能税务平台
12366，相信大家都不陌生，北京纳税人网（六能平台），大家也接触过吧，纳税人网即将更名为北京12366纳税服务平台，在这里，您可以轻松实现政策法规查询、热点问题解读、智能网站咨询等功能，足不出户能懂税，是您身边的税收政策专家。
【大咖解读Bengio笔记】邓侃：用深度学习模型，解构并重构人类思维
Yoshua Bengio 在 Arxiv 上发表了一篇题为《意识先验》的笔记。大数医达创始人、CMU 计算机学院暨机器人研究所博士邓侃专为此笔记做了解读。他认为：“笔记往往比论文更有启发，就如同与教授喝咖啡聊天，往往更容易学到教授的思想方法。”邓侃同时也是 AI WORLD 2...
【普华永道重磅AI报告】2030年AI撬动15.7万亿经济，中国成最大赢家
普华永道最近发布了一份名为“探索AI革命”的全球AI报告，强调人工智能如何增强企业的能力，其价值潜力何等巨大，甚至比自动化的价值潜力更大。报告认为，到2030年，AI将为全球经济贡献高达15.7万亿美元，比中国和印度目前经济产值的总和还多。AI带来最大经济收益的国家将是中国（20...
又一个ALL IN AI，全球最大数据库提供商将AI注入云
甲骨文公司刚刚在年度 OpenWorld 大会上发布了新的基于人工智能的应用程序，用于一系列商业应用场景，内置于 Oracle Cloud 之中。
