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