安全的本质：大模型能否被严谨解释为符号逻辑？｜知乎先行者沙龙分享

>p<>/p<>figure data-size="normal"<>img src="https://pic1.zhimg.com/v2-df530e09ca54ead43acc4aaacb2e0320_b.jpg" data-caption="" data-size="normal" data-rawwidth="1086" data-rawheight="636" class="origin_image zh-lightbox-thumb" width="1086" data-original="https://pic1.zhimg.com/v2-df530e09ca54ead43acc4aaacb2e0320_r.jpg" data-original-token="v2-c5d48c8c659b44de0f845ba8ebab8b45"/<>/figure<>p data-pid="5MMuUJ1J"<各位知乎的朋友们大家好，我是张拳石，我来自上海交通大学。今天的主题是：安全的本质，大模型能否被严谨解释为符号逻辑？>/p<>figure data-size="normal"<>img src="https://pic1.zhimg.com/v2-b4f1660ff9780ef1c4136f3b767d5c24_b.jpg" data-caption="" data-size="normal" data-rawwidth="1078" data-rawheight="629" class="origin_image zh-lightbox-thumb" width="1078" data-original="https://pic1.zhimg.com/v2-b4f1660ff