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

(责任编辑：百科)