技术日新月异的当下，人工智能编程日益成熟，它的发展能有助于人类制造更多智能机器吗?程序合成是指基于规范自动生成程序的概念。程序验证依赖于正式的证明来证实程序按照正式的规范运行。1957年，在康奈尔大学符号逻辑协会举行夏季会议期间，阿隆佐·邱奇试图基于数学要

在10月18日举办的AI World2019世界人工智能峰会上，英特尔中国研究院院长宋继强发表主题演讲，带领我们一起探索智能的边界。欢迎来新智元 AI 朋友圈与大咖一起讨论～。10 月 18 日，以“AI 元力，重启未来”为主题的 AI World 201

2. 大数据: 不仅仅是量大, 不仅仅是结构化与非结构化的区别, 需要多维度的数据, 数据越完备越好.

Google AI 大牛、谷歌大脑负责人 Jeff Dean 曾统计过一个数据：平均每天全世界都会产生 100 篇机器学习新论文。已经相当忙碌的 AI 从业者如何有针对性的选择优质论文学习呢？机器之心「7 Papers」为大家整理了过去一周备受关注的优质论

早在 1948 年，图灵就写了一篇题为《智能机器》的论文，描绘了现在成为人工智能核心的许多概念，包括遗传算法、神经网络、强化学习等。在没有电子计算机的年代，图灵用纸和铅笔做出了这项开创性的研究，在今天引发热议。这篇论文是图灵在伦敦国家物理实验室工作时写的，

背景在《UI2CODE--整体设计》篇中，我们提到UI2Code工程的整体流程。前步图片分析之后，我们可以得到对应的DSL布局描述。利用DSL的资讯，结合IntelliJ Plugin介面工具，面向使用者提供生成对应Flutter代码。本篇主要介绍我们如何

新智元导读】早在 1948 年，图灵就写了一篇题为《智能机器》的论文，描绘了现在成为人工智能核心的许多概念，包括遗传算法、神经网络、强化学习等。在没有电子计算机的年代，图灵用纸和铅笔做出了这项开创性的研究，在今天引发热议。这篇论文是图灵在伦敦国家物理实验室

提起人工智能，大多数人脑子里首先跳出的可能是这些问题，人工智能会使人类都失业吗？人工智能真的可以有自我意识以及情感吗？人工智能离我们还很遥远吧？但事实是，人工智能的时代已经到来了，它就在我们身边。今天，我们请到了阿里云研究中心高级战略专家马珂，和你分享一下

近十年监控系统开发经验，具有构建基于大数据平台的海量高可用分布式监控系统研发经验。SNG的哈勃多维监控平台在完成大数据架构改造后，尝试引入AI能力，多维根因分析是其中一试点，用于摸索AI的应用经验。本分分享探索过程和经验，希望可给后续AI应用提供参考。前言

本文选自清华大学计算机科学与技术系教授、清华-青岛数据科学研究院科技大数据研究中心主任李涓子老师于2017年12月20日在阿里联合中文信息学会语言与知识计算专委会举办的知识图谱研讨会上做的以“知识工程：机器智能的加速器”为题的报告。李涓子老师在报告中概述了

背景在《UI2CODE--整体设计》篇中，我们提到UI2Code工程的整体流程。前步图片分析之后，我们可以得到对应的DSL布局描述。利用DSL的资讯，结合IntelliJ Plugin介面工具，面向使用者提供生成对应Flutter代码。本篇主要介绍我们如何

当开放文化与最为著名的科学期刊《Nature》发生冲突的时候，人工智能领域的学者们选择了反对和抵制后者。众多学者与工业界人士近日签署了一份声明，声称他们将不会向 Nature 的新期刊《Nature Machine Intelligence》提交论文、提供

为什么只有人工智能从业者才能研究AI的行为？尽管人工智能的影响越来越大，我们对于AI智能体的研究是由一群非常特殊的人进行的。这些创造AI智能体的科学家，即计算机和机器人专家，几乎同时也是专门研究智能体行为的科学家。游戏智能体必须打败目前最先进的算法，或者那

提起人工智能，大多数人脑子里首先跳出的可能是这些问题，人工智能会使人类都失业吗？但事实是，人工智能的时代已经到来了，它就在我们身边。

机器之能，是机器之心旗下关注全球人工智能产业应用场景及商业化的内容账号。欢迎关注与互动：almosthuman2017. 百分点推出行业 AI 决策系统 DeepMatrix，能实现智能、快速、精确的 AI 决策。然而，做汽车召回的决定并不容易。汽车召回对

11月22日，2017云栖大会·广东分会在广州举行，阿里云机器智能首席科学家闵万里作了主题演讲，进一步阐释了阿里云的ET城市大脑，以下是演讲要点一览。近日，阿里云城市大脑入选国家新一代人工智能开放创新平台。城市大脑是全球第一次将人工智能叠加开放数据平台用于

AMD 最近宣布新的深度学习加速库 MIOpen 1.0 现已发布，该深度学习库支持加速卷积神经网络，并且构建和运行在 ROCm 软件栈的顶部。同时 MIOpen 还提供了卷积层、池化层、批量归一化层等众多使用参考，机器之心对这一机器智能库的特性和安装进行

5 月 27 日至 28 日，机器之心 SYNCED 主办的 2017 全球智能机器峰会将在北京举行。从大咖参会、「人机大战」，到六场主题 Session 和 IME 主题展的设置，GMIS 2017 上有许多吸引眼球的亮点。在人工智能浪潮正在席卷全球的当

本文作者 Ben Medlock 是 SwiftKey 的联合创始人。SwiftKey 是一款使用预测技术来适应用户打字习惯的移动应用。Medlock 参与评议过许多著名的国际期刊，并且在自然语言处理领域的顶级会议 ACL 上发表过学术论文。本文观点不代表

人工智能的时代才刚刚开始。首席信息官们正努力帮助各家公司变得更有洞察力，而一套快速演化的认知工具——从机器学习，深度学习和高级认知分析到机器过程自动化和机器人程序——是其中的关键。德勤最近发布了一篇报告，为机器智能时代的企业应用与策略提供了建议。我们将本文