公益中国爱心救助定点医院 http://www.pifubing999.org/bdftp/yyry/153.html

年1月6日，中国会计、财务、投资智能化暨智能财务专业创新研讨会（点击链接）于浙江大学举行。应众多兄弟院校专家和老师们要求，我们对会中嘉宾的精彩主旨发言再次进行详细整理，并以ZIFA名家观点的形式分享给大家。浙江大学计算机学院副院长、教育部人工智能科技创新专家工作组组长吴飞教授进行了题为《可计算社会学》的人工智能专题报告，介绍了人工智能的诞生与发展历程。

主讲专家

■吴飞教授

吴飞教授现任浙江大学计算机学院副院长、教育部人工智能科技创新专家工作组组长、浙江大学人工智能研究所所长。主要研究领域为人工智能、跨媒体计算、多媒体分析与检索和统计学习理论。国家杰出青年科学基金获得者、教育部新世纪优秀人才支持计划入选者。

讲座精华

内容整理：徐犀月（RA

ZIFA)

图文编辑：何子璇（RA

ZIFA)

01

工欲善其事，必先利其器：

智能之器从何而来？

人工智能是以机器为载体的人类智能或机器智能，这个载体包括计算机/掌上可计算设备等多种形式。人工智能的计算载体基于充分的理论准备走进人类社会。人工智能可以倒推到计算智能，再由计算智能倒推到计算模型的准备，因此我们讨论人工智能时，首先要追溯到可计算思想的产生。

20世纪初，科学家发现很多事情不可计算。年，德国数学家DavidHilbert在法国巴黎的一次数学家大会上提出23个数学问题。其中问题二是证明算术公理的相容性。相容性包含3点：

1.完备性：所有能够从该形式化系统推导出来的命题，都可以从这个形式化系统推导出来。（所有属于我的都属于我）

2.一致性：一个命题不可能同时为真或为假（所有不属于我的都不属于我）

3.可判定性：算法在有限步内判定命题的真伪。

DavidHilbert提出的纲领牵引了数学家的前进。如何证明这一问题？可用怎样的“计算载体”来实现？如果该证明手段是机械装置或自动装置，是不是就能指引人类从手工计算年代走入自动计算年代？

后来，哥德尔在《论数学原理及有关系统中不可判定命题》中提出了哥德尔不完全性定理证明这一问题。任何表达力足够强的（递归可枚举）形式系统都不可能具有一致性和完备性，数学建立的基石是一致性，而放弃了其完备性。

而天才的图灵在《论数学计算在决断难题中的应用》中用另一方法证明了该问题，并直接导致了世界上第一台计算机理论模型的产生。

图1“判定性问题”是无法解决的，即有些数学问题是不可求解的

图灵提出所有可计算的问题都可用该装置计算出来，如果问题可被计算，一定进入图灵可停机状态；一旦图灵可停机，问题即可被计算。计算机将不断猜测一个n，再试探满足方程的x、y、z的解，该计算程序已经写好，等待激发，这一过程是按部就班、不可造次的，即计算机不可能执行无人书写的代码。

图灵机模型在佛罗伊曼等人的努力之下被研制成为计算机，人类从此走入了自动计算的时代，机器可以替代人类工作。那么，为什么哥德尔等数学家的理论没有成为人类计算机的理论模型呢？因为，只有图灵机是机械计算的模型，只要有一支笔和一张纸，一名高中生就能就问题一步步地推导出来，而哥德尔的证明需要运用大量数学和逻辑学的知识。

那么，拥有了可计算之器，我们就可以用其来完成人类功能，人工智能从此走上历史舞台，从自动计算迈向智能计算。

02

人工智能的诞生

年，四位学者提出了人工智能这一术语及研究范畴：让机器能像人那样认知、思考和学习，即用计算机模拟人的智能。

JohnMcCarthy（时任Dartmouth数学系助理教授，年度图灵奖获得者）

MarvinLeeMinsky（时任哈佛大学数学系和神经学系JuniorFellow，年度图灵奖获得者）

ClaudeShannon（BellLab，信息理论之父）

NathanielRochester（IBM，第一代通用计算机主设计师）

图2AI概念提出50年后，建议人合影

报告列举了AI值得