你可能没听过他的名字,但你大概听说过有着计算机界诺贝尔奖之称的图灵奖。
(相关资料图)
2007年,中国科学院外籍院士约瑟夫·希发基斯(Joseph Sifakis)凭借模型检查理论(Model-Checking)斩获图灵奖。他可能是地球上最懂计算机科学和人工智能的人之一了。
希发基斯教授提出的模型检查,是指用数学算法验证软件或硬件系统在安全性、可靠性方面是否满足预设需求。模型检查会对某个系统的整体运行过程进行排查,一旦出现bug,立即报错。所以,在芯片生产前,先要通过模型检查,确认所有潜在缺陷均已更正。
模型检查理论,目前已被广泛应用于芯片检测、集成电路设计、嵌入式系统等安全算法领域,被Intel、IBM、微软等公司用于日常生产实践,并不断启发着新的软件规范和检测算法。上到航天飞船,下至无人驾驶,当今几乎所有软硬件验证和芯片验证研究均基于此。
近日,今日头条推出“好奇对话”系列视频,特别邀请希发基斯教授和中国科学院计算技术研究所副研究员、头条科学领域优质创作者@老石谈芯 对谈。两位AI领域的权威学者,将结合希发基斯教授的新书《理解和改变世界》,一同探讨知识与信息、智能以及人类意识之间的关系,畅谈人工智能和人类智能的异同。
希发基斯教授认为,人类智能是社会进化的复杂产物,“人的判断往往是主观的,因而测试的用例也会存在偏见”,所以要衡量机器智能与人类智能的差距,得先定义清楚人类智能到底处于什么水平。
人脑无法多线程处理复杂事物真的是劣势吗?
通过图灵测试的机器就能算作“智能”了吗?
图灵测试可否用来定义ChatGPT的水平?
我们离实现通用人工智能还有多远?
想了解更多精彩内容?上今日头条,观看“好奇对话”!首期节目已于7月26日上线,后续还将持续更新。
上今日头条
搜索“好奇对话”
听科学家们共聊前沿科学
从好奇出发
愿你所求终有解~