“大模型很能干，但没智能？”两位学者在沪激辩：AI这条路会不会走偏了？
两位学者在沪激辩智能本质：王培认为智能核心是适应性与资源约束，而非模仿人类；徐英瑾指出大模型缺乏内在动机和自知之明。纳思系统具备非公理推理能力，与大模型形成对比。哲学批判并非反对AI，而是另一种拥抱方式。
上周末，一场关于“智能”的深度对话在上海展开。这场名为《智能论》的新书分享会，请来了两位重量级人物：美国天普大学的王培教授，和复旦大学哲学学院的徐英瑾教授。主持人则是上海市科学学研究所的李辉研究员。三个人围绕“什么是智能”“当前AI走到哪一步了”“纳思系统和大模型到底哪里不一样”这些硬核问题，来了一场计算机科学与哲学之间的跨学科碰撞。
我们先从智能的本质说起——这其实是个几十年都没吵明白的问题。
智能的本质：不是像“人”，而是能“适应”
“我们讨论了那么多年智能，连个定义都没统一。”王培教授的开场白很直接。作为《智能论》的作者，以及纳思系统（NARS，Non-Axiomatic Reasoning System）的创立者，他在这本书里提出了一个跟主流完全不同的智能定义——智能的核心，是适应性。
他解释说，就像“仁者见仁，智者见智”，那个“智”，指的就是智能。不同的人看到的智能，本来就不一样。目前业界对智能的定义，大致可以分成两派：一派看行为，比如图灵测试，看机器能不能“骗过”人；另一派看解决问题的能力，比如下棋、考试。但在他看来，这两种定义都有硬伤：“能解决问题和有智能不是一回事，计算器比人心算强得多，但没人说计算器有智能。完全跟人一样，也不是智能的充分条件，图灵自己都说过这一点，只不过大家没注意。”
那王培定义的智能，关键在哪？两个词：适应性和资源约束。一个真正的智能系统，必须能根据自己的经验来决定行为，而且是在知识和资源永远不够用的条件下尝试。“我不是要造一个跟人一样的东西，而是要提炼出思维规律，用计算机去实现。实现了这种规律的系统，行为不必跟人一样，因为它的经验本来就和人不一样。”
徐英瑾教授从哲学角度做了补充。他强调王培说的“适应性”，并不仅仅是生物学层面的适应性，目标可以是内生的，也可以是外生的。“现在的GPT、DeepSeek，目标全是外生的——用户问什么它答什么。它不可能产生人意义上的‘反叛’，因为它没有自己的目标。机器坏了不叫反叛，电视机坏了你不会说它反叛了。”
他还用历史故事来说明“手段和目标是会互换的”：隋炀帝修大运河，本来是为了军事目的，结果军事行动烂尾了，运河本身反倒成了目标；《西游记》里的取经，重点根本不在经文，而在经历本身——取经的“经”不是经文的“经”，是经历的“经”。最精彩的，是他拿李后主和刘阿斗做了个对比：“同样是亡国之君，刘阿斗装傻活了很长时间，李后主写了《虞美人》却被杀。但有些人说，李后主在文学史上有地位，刘阿斗什么都没有。人可以为了超越生物性的目标牺牲生物性利益，这是个自由选择的问题，而这是AI目前做不到的。”
当前大模型：聪明的“工具”，但不是“智能”
聊到大模型，两位嘉宾的态度出奇一致——承认它好用，但质疑它离智能还差得远。
王培很坦诚：“大语言模型我现在也在用，虽然我不认为它有智能，但它可以解决好多问题，确实很好用。”他强调，纳思系统和大模型不是竞争关系，“我不认为纳思可以取代大语言模型，它能干的活我干不了；但我能干的活它也干不了。”
徐英瑾的批评更加犀利。他先承认大模型是“有用的工具”——自己用DeepSeek翻译学术论文效果还不错。但问题在于，这类大模型没有内在的动机结构，也缺乏自知之明。他当场举了个例子：当他问DeepSeek，马斯克的SpaceX是不是已经上市了，DeepSeek坚称“没有IPO”；即使他贴出了BBC新闻的截图，DeepSeek还是说“我深刻反省”，但就是不改。一句话，大模型不知道自己不知道。
徐英瑾还调侃道：“现在AI领域热闹得有点过头了。谷歌买核电站搞算力中心，英伟达相互投资循环，金价暴跌都挡不住AI的吸金效应。但我们连智能运作的基本原理都还没搞清楚，就往里面砸这么多钱，这很危险。”不过他也给了一个务实的判断：大模型能不能用好，关键还是看人。“它确实在倒逼你的批判性思维——如果你连它胡说八道都看不出来，那问题不在AI，在你自己。”
纳思系统：一条少有人走的路
纳思系统是王培坚持了40多年的研究方向。它的核心特征是非公理推理——不承认任何绝对真理，所有前提和结论都可能是错的，但错有程度之分、可信度之别。
王培说：“在纳思系统中，我说的‘对’的意思是：根据以往的经验，它是对的。但我承认，这有局限性，所有结论都可能被未来经验修改。真假是一个量化的度量，不是0和1。”
徐英瑾用了一个非常形象的对比：“纳思像一个犹犹豫豫的人——它会说这个史料少，下面说的不靠谱，你自己要多查查；而大模型则有点像一个信口开河的人——说完就忘，前后矛盾也不在乎。就这点来说，纳思有自知之明，大模型没有。”
当然，现实很骨感。王培坦言：“托大语言模型的福，绝大部分的科研经费都跑那边去了。”他透露，自己的团队目前也在做工程尝试，将纳思与深度学习、大语言模型结合起来，“两条腿走路”。
活动尾声，主持人李辉的一段话，或许很适合作为总结：“今天的讨论有一个焦点——对AI，我们是拥抱还是批判？我想说，人工智能是我们发展的重点，这毫无疑问，但哲学批判本身就是哲学的基本精神，批判不是反对，恰恰是拥抱人工智能的另一种方式。”
WPS Office是一款面向macOS用户的综合办公套件，将文字处理、电子表格、演示文稿、PDF工具、模板与云协作整合在同一应用中。它兼容常见Microsoft Office格式，支持Intel及Apple芯片Mac，基础功能可免费使用，
Shapr3D是一款面向工业设计、机械工程、建筑概念和三维打印工作流的CAD软件。Mac版采用Parasolid建模内核，支持草图约束、实体建模、工程图、可视化渲染及常见CAD格式交换，并可通过账户在多台设备之间同步项目。
REAPER是Cockos开发的数字音频工作站，提供多轨音频与MIDI录制、剪辑、处理、混音和母带制作工具。Mac版兼容Intel与Apple芯片，支持AU、VST、VST3、CLAP等插件格式，并提供高度可定制的工作流程。
Ableton Live 是面向音乐制作人与现场表演者的数字音频工作站，提供编曲视图、独具特色的现场视图、音频录制、MIDI创作、实时变速、乐器及效果器。Mac版原生支持Apple芯片，并可连接音频接口、MIDI控制器和第三方插件。
Adobe After Effects 是面向动态图形、影视特效与视频合成的专业创作软件。它提供关键帧动画、遮罩抠像、运动跟踪、三维空间、文字动画和表达式等工具，并可与 Premiere Pro、Photoshop、Illustrator
Adobe Audition 是面向播客、影视后期、音乐制作及内容创作者的专业音频工作站，提供波形精修、多轨录制与混音、频谱编辑、降噪修复、响度匹配和效果处理工具，并可与 Adobe Premiere 协同完成视频声音制作。
Adobe Bridge 是面向摄影师、设计师及内容团队的免费数字资产管理工具，可集中预览照片、视频和 Adobe 项目文件，并利用评级、标签、关键词、元数据、筛选与收藏集完成分类检索。它还支持批量重命名、格式导出、相机导入及 Camera
Adobe Illustrator 是 Adobe 推出的专业矢量图形设计软件，适合在 Mac 上制作标志、图标、插画、包装、信息图及印刷版面。它以路径和锚点构建可无损缩放的图形，并提供钢笔、形状、文字、图像描摹、渐变、画板及生成式功能。
Adobe InDesign 是面向印刷品与数字出版物的专业版面设计软件，可在 Mac 上制作书籍、杂志、宣传册、海报、报告及交互式文档。它提供精细的文字样式、网格、母版、长文档管理和印前输出能力。
Adobe Lightroom Classic 是面向桌面摄影工作流的照片管理与后期处理软件，可将原始照片保存在本地硬盘，通过目录、关键词、评分和收藏夹高效整理图库，并提供 RAW 冲印、蒙版、镜头校正、批量同步及多格式导出等功能。
Adobe Media Encoder 是 Adobe 推出的专业音视频编码与转码工具，可通过队列、预设和监视文件夹批量完成格式转换、代理文件创建及多平台成片输出，并与 Premiere Pro、After Effects 等软件紧密协作。
Adobe Photoshop 是面向摄影师、设计师和内容创作者的专业图像处理软件，提供图层、蒙版、选区、修复、调色、文字排版、智能对象及生成式编辑等能力。Mac 版支持 Intel 与 Apple Silicon 处理器。
Adobe Photoshop 是面向摄影师、设计师和内容创作者的专业图像处理工具，可在 Windows 上完成照片修饰、选区抠图、图层合成、文字排版、绘画及生成式编辑。软件采用订阅授权，由 Creative Cloud 管理安装、更新与许
Adobe InDesign 是面向印刷与数字出版的专业页面排版工具，可制作书籍、杂志、宣传册、海报、交互式 PDF 和电子书。它提供精细的文字样式、多页面管理、印前检查及多格式输出能力，并能与 Photoshop、Illustrator
Adobe Illustrator 是用于绘制矢量图形、插画、图标、徽标和版式的专业设计工具。它以路径和锚点为核心，作品放大后仍能保持清晰，并提供画板、文字、渐变、图像描摹及精确变换等功能，适合品牌视觉、印刷物料、数字界面和商业插画创作。
Adobe Bridge 是 Adobe 推出的创意资产管理工具，可集中预览、分类和查找照片、视频、PDF及多种设计文件，并支持元数据、关键词、评级、批量重命名和格式导出。它可与 Photoshop、Illustrator 等应用衔接，
Affinity Photo 是一款面向摄影师、修图师和视觉设计人员的桌面图像编辑工具，提供 RAW 显影、多图层合成、蒙版、实时滤镜、批处理和色彩管理等功能。原独立产品已停止销售，其照片编辑能力已延续至免费的新 Affinity 应用；
Adobe Lightroom Classic 是面向 Windows 桌面摄影工作流的照片管理与无损编辑工具，可通过目录集中整理大型图库，并完成 RAW 显影、局部蒙版、批量调整、打印和多格式导出。它强调本地文件管理与精细控制，
Figma 是面向产品设计与开发团队的云端协作平台，可在 Windows 桌面客户端中完成界面绘制、组件管理、交互原型、评论评审和开发交付。文件保存在云端，多名成员能够同步编辑并共享设计系统；官方同时提供免费 Starter 方案及按席位计
Affinity Designer 是面向矢量图形、数字插画和界面设计的专业创作工具，可在矢量、像素与导出工作区之间快速切换。它提供曲线编辑、形状构建、画板、排版、图层和专业色彩管理，并支持常见设计文件的导入及多种印刷、网页格式输出。
Capture One Pro 是面向摄影师和影像团队的专业桌面照片处理工具，提供相机定制色彩配置、RAW转换、图层与蒙版、联机拍摄、目录及会话管理等功能。它适合棚拍、人像、商业产品、婚礼和风光摄影，
Adobe Acrobat Pro 是面向专业 PDF 工作的综合解决方案，可在 Windows 中创建、编辑、转换、比较、整理和保护文档，并支持表单、电子签名、扫描件文字识别及敏感信息永久遮盖。订阅还包含网页、移动服务和云端协作能力，
Adobe After Effects 是面向动态图形、动画与影视视觉特效制作的专业工具，可完成关键帧动画、图层合成、遮罩跟踪、抠像、文字动画和二维三维元素整合。Windows 版通过 Adobe Creative Cloud 安装及更新，
DaVinci Resolve是Blackmagic Design推出的一体化影视后期工具，将素材管理、非线性剪辑、专业调色、Fusion视觉特效、Fairlight音频处理和成片交付整合在统一工程中。免费版已覆盖多数个人创作需求，