（可能是）全世界最懂AI的人来了！

你可能没听过他的名字，但你大概听说过有着计算机界诺贝尔奖之称的图灵奖。

2007年，中国科学院外籍院士约瑟夫·希发基斯（Joseph Sifakis）凭借模型检查理论（Model-Checking）斩获图灵奖。他可能是地球上最懂计算机科学和人工智能的人之一了。

希发基斯教授提出的模型检查，是指用数学算法验证软件或硬件系统在安全性、可靠性方面是否满足预设需求。模型检查会对某个系统的整体运行过程进行排查，一旦出现bug，立即报错。所以，在芯片生产前，先要通过模型检查，确认所有潜在缺陷均已更正。

(相关资料图)

模型检查理论，目前已被广泛应用于芯片检测、集成电路设计、嵌入式系统等安全算法领域，被Intel、IBM、微软等公司用于日常生产实践，并不断启发着新的软件规范和检测算法。上到航天飞船，下至无人驾驶，当今几乎所有软硬件验证和芯片验证研究均基于此。

近日，今日头条推出“好奇对话”系列视频，特别邀请希发基斯教授和中国科学院计算技术研究所副研究员、头条科学领域优质创作者@老石谈芯 对谈。两位AI领域的权威学者，将结合希发基斯教授的新书《理解和改变世界》，一同探讨知识与信息、智能以及人类意识之间的关系，畅谈人工智能和人类智能的异同。

希发基斯教授认为，人类智能是社会进化的复杂产物，“人的判断往往是主观的，因而测试的用例也会存在偏见”，所以要衡量机器智能与人类智能的差距，得先定义清楚人类智能到底处于什么水平。

人脑无法多线程处理复杂事物真的是劣势吗？

通过图灵测试的机器就能算作“智能”了吗？

图灵测试可否用来定义ChatGPT的水平？

我们离实现通用人工智能还有多远？

想了解更多精彩内容？上今日头条，观看“好奇对话”！首期节目已于7月26日上线，后续还将持续更新。

上今日头条

搜索“好奇对话”

听科学家们共聊前沿科学

从好奇出发

愿你所求终有解~

关键词：