(可能是)全世界最懂AI的人来了!

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


(相关资料图)

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

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

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

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

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

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

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

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

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

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

上今日头条

搜索“好奇对话”

听科学家们共聊前沿科学

从好奇出发

愿你所求终有解~

推荐DIY文章
海艺AI:迎合“AI时代”发展潮流,刷新绘图市场传统认知
布局产业新高地!海星医药健康创新园B区奠基仪式隆重举行
未来五年500亿投入打底,北汽蓝谷锚定细分市场增量
【展会直击】华秋慕尼黑上海电子展精彩ing,助力电子产业高质量发展!
桂花网蓝牙网关助力司乘人员职业健康监测
DNF新推出封号申诉:每个玩家180天内只能享受一次减少处罚时间机会 每日视讯
精彩新闻

超前放送