Qs.Zhang张拳石

各位知乎的朋友们大家好，我是张拳石，我来自上海交通大学。今天的主题是：安全的本质，大模型能否被严谨解释为符号逻辑？我是2007、2008年大三的时候第一次接触人工智能研究，当时还没有深度学习，人工智能领域还是以及基于手工设计的特征的图模型为主导的。2012年的深度学习算是一次变革，到了2023年的大模型，我认为很可能是另一个变革。但是，跟大部分人的思考并不相同，我认为新的变革并不会沿袭旧的深度学习发展路径，而且旧路线也逐渐会走向终点。我们看一下2012年之前的基于图模型的人工智能，我将它总结为一个词…

相信大家对“神经网络能否被严谨地解释为符号逻辑”都有自己独特的想法，但是如果究根问底，还是需要一个更加严谨的公理、定理体系来证明或证伪这个命题。准确地说，这里面起码包含两个问题，1.如何定义并数学证明“符号化解释的严谨性”，2.求得“在哪些条件下”神经网络可以被严谨地解释为符号逻辑。下面，是我最近在知乎平台上的一个报告。细节的定理证明需要大家读后面的论文和我的其他知乎文章。各位知乎的朋友们大家好，我是张拳石，我来自上海交通大学。由于身体原因，很遗憾无法前往现场与大家面对面交流。我仍然用心准备了今天的…