【深度对话】图灵奖得主：别再让小朋友玩ChatGPT了 | 专访约瑟夫·斯发基斯教授 Prof Joseph Sifakis

有幸和图灵奖得主约瑟夫·斯发基斯对谈！他是07年图灵奖获得者、模型检查Model Checking领域的奠基人，而我正好在做一些验证相关的研究，所以四舍五入，他就是我的祖师爷了（ 这期视频是第二期，斯发基斯教授明确表示，不建议小朋友过早接触ChatGPT这样的大模型，这究竟是什么原因呢？ 第一期（对话图灵奖得主：图灵测试不能来比较人类和机器的智能水平？）：   • 【深度对话】图灵奖得主：别信图灵测试，它不能来比较人类和机器的智能水平？| 专访约瑟...   第三期（对谈图灵奖得主：为什么不建议你追求工作和生活的平衡）：   • 【深度对话】图灵奖得主：为什么我不建议你追求工作和生活的平衡 | 专访约瑟夫·斯发基...   ------------------------------------------------------------------------------------------------------------------------------------------------ 关于我： 大家好，我是芯片工程师老石，欢迎关注我的频道“老石谈芯”。 欢迎订阅👉https://reurl.cc/8ob9Ej 敲响小铃铛🔔，可以第一时间收到我的频道动态。 我会持续带来更多专注于芯片的科普、硬核知识、以及偶尔极度硬核的技术分析与解读。我也会不断分享高效工作和学习的方法与技巧。更多内容，也欢迎关注我的微信公众号、微博。也欢迎加入我的知识星球，和我进一步交流。 🎵 我使用的音乐/BGM：https://go.shilicon.com/epidemicsound 📚 我写的书：https://go.shilicon.com/book 📝 个人网站：https://www.shilicon.com 📚 公众号：老石谈芯 🏮微博：老石谈芯的老石 🌍知识星球：老石谈芯 - 进阶版 #老石谈芯 #科技