视频介绍
有幸和图灵奖得主约瑟夫·斯发基斯对谈！他是07年图灵奖获得者、模型检查Model Checking领域的奠基人，而我正好在做一些验证相关的研究，所以四舍五入，他就是我的祖师爷了（
但斯发基斯教授说，他并不认可图灵测试。
图灵测试由计图灵提出，它通过对话来判断机器智能是否已经达到人类，在过去的几十年中，一直是科学家们用来定义机器智能水平的“黄金准则”。但在大模型时代，ChatGPT这样的机器智能已经足够“迷惑”人类，那么能用图灵测试来定义ChatGPT的水平吗？
更多内容，欢迎看视频，本期是第一期。也