乐于分享
好东西不私藏

理解 AI,不要从概念开始,要从“真实瓶颈”开始

理解 AI,不要从概念开始,要从“真实瓶颈”开始
很多人学 AI,最容易掉进一个坑:一上来就背概念。

符号主义、连接主义、机器学习、深度学习、注意力机制、QKV、Transformer、大模型、AI Infra、RAG、向量检索、智能体、智能体互联网……

这些词看起来都重要,但如果只是横向排开,就会变成一张术语表。

真正理解 AI,不能先问:

这个词是什么意思?

而要先问:

它到底是被哪个真实问题逼出来的?

技术不是凭空出现的。

每一个关键概念背后,都有上一代方法解决不了的瓶颈。

所以 AI 的发展主线不是:

一个算法接着一个算法。

而是:

一个真实瓶颈,逼出一个新结构; 新结构解决旧问题,又带来下一层新问题。

沿着这条线看,AI 的逻辑就清楚了。


一、AI 最早的瓶颈:知识怎么表示?

AI 的起点不是大模型,而是一个更朴素的问题:

机器到底怎么“拥有知识”?

人看到一只猫,知道那是猫。 人听到一句话,能理解对方意思。 人看到一个市场机会,会判断值不值得做。 人遇到复杂任务,会拆解、推理、决策。

但机器一开始什么都不懂。

机器不能直接理解“猫”“市场”“可信”“风险”“价值”。 机器只能处理符号、数字、向量、参数、代码、状态和函数。

所以 AI 最早的核心问题是:

人类世界里的知识、经验、语言和判断,怎么变成机器可以处理的形式?

围绕这个问题,早期 AI 先走向了符号主义。


二、符号主义:知识能不能写成规则?

符号主义的想法很自然:

人类会用语言、概念、逻辑和规则推理,那么机器智能也可以用符号和规则实现。

比如:

如果 A 是人,所有人都会死,那么 A 会死。

或者专家系统里的规则:

如果病人发烧、咳嗽、白细胞升高,那么可能是感染。

这种方法的核心是:

符号 + 规则 + 逻辑 + 推理。

它的优势很明显:清楚、可解释、可验证。

每一步推理都能写出来,每一个结论都可以回溯。

所以符号主义适合数学证明、专家系统、知识图谱、规则推理、形式化验证、法律条文这类问题。

但它很快遇到一个真实瓶颈:

现实世界太复杂,规则写不完。

你可以写出“红灯停,绿灯行”。

但你很难完整写出:

什么是猫? 

什么是讽刺? 

什么是好文章? 

什么是可信? 

什么是一个有前途的创业方向?

现实世界充满模糊性、经验性和上下文。

如果什么都靠人手写规则,机器永远无法真正适应复杂世界。

于是,AI 走向第二条路线:连接主义。


三、连接主义:规则写不完,能不能从数据里学?

连接主义换了一个思路:

既然规则写不完,那就不要让人把规则全部写出来,而是让机器从数据里自己学习规律。

符号主义是:

人写规则,机器执行。

连接主义是:

人给数据,机器学习。

比如识别猫。

符号主义会尝试定义猫的规则:有耳朵、有胡须、有尾巴、会叫。

但现实中,照片角度可能看不到耳朵,有的猫没有尾巴,图像可能模糊,猫也可能和其他动物相似。

连接主义不强行手写规则,而是给机器看大量猫的图片,让神经网络自己学出“猫”的特征。

这一步的根本变化是:

知识不再完全来自人写出来的规则,而是来自数据中统计出来的模式。

这就引出了机器学习。


四、机器学习和深度学习:机器怎么从数据中学规律?

机器学习解决的问题是:

如何让机器从数据中学习输入到输出的映射?

比如:

图片 → 是猫还是狗 

邮件 → 是垃圾邮件还是正常邮件 

用户行为 → 是否会点击 

交易记录 → 是否欺诈 

网页内容 → 是否相关

早期机器学习往往还需要人设计特征。

比如判断垃圾邮件,人可能会设计一些特征:

是否出现“中奖”? 

是否出现“免费”? 

是否包含异常链接? 

发件人是否可疑?

模型再根据这些特征做分类、预测和排序。

但问题是,很多复杂任务的特征太难人工设计。

图像、语音、自然语言尤其如此。

于是深度学习出现了。

深度学习的关键是:

用深层神经网络自动提取特征。

以前是人告诉机器该看什么特征。 深度学习则让机器自己从数据中学出特征。

这里有两个概念经常被讲得很玄:前向传播和反向传播。

其实可以先用人话理解。

前向传播就是:

数据从输入层一路往前走,经过一层层计算,最后得到一个预测结果。

比如给模型一张猫的图片,模型经过一层层计算,最后输出:

这张图有 90% 可能是猫。

但一开始模型肯定会错。

错了怎么办?

这就需要反向传播。

反向传播就是:

把预测结果和真实答案之间的误差,反过来一层层传回去,告诉每一层参数应该怎么调整。

所以深度学习的训练过程可以粗略理解为:

前向传播负责“做题”; 反向传播负责“改错”; 一次次做题和改错之后,模型逐渐学会规律。

所以机器学习解决的是:

如何从数据中学习规律?

深度学习进一步解决的是:

能不能连“特征怎么提取”也让机器自动学?

这一步把 AI 从“人工设计特征”推进到“自动学习特征”。

但当 AI 进入自然语言时,新的瓶颈又出现了。


五、自然语言的瓶颈:词不是孤立的,关系才是关键

自然语言难,不是因为词多,而是因为词和词之间有关系。

比如这句话:

小明把书放进书包,因为它太重了。

这里的“它”指什么?

是书,还是书包?

人能理解,是因为人会看上下文。

机器如果只看单个词,就很难判断。

语言里的关键不是单个词,而是:

指代关系、语义关系、因果关系、转折关系、长距离依赖和上下文关系。

所以自然语言 AI 的核心问题变成:

当前词应该关注上下文里的哪些词? 

哪些词更相关? 

哪些关系更重要? 

长文本里的上下文关系怎么建模?

这就引出了注意力机制。


六、注意力机制和 QKV:让模型知道“该看哪里”

早期自然语言模型常用 RNN、LSTM 这类序列模型。

它们处理文本时,通常要把一句话的信息不断往后传。

问题是:

句子越长,前面的信息越容易丢失。

比如机器翻译一段长句时,模型生成后面的词,可能已经记不清前面哪些词最关键。

注意力机制就是为了解决这个问题。

它的核心思想非常简单:

当模型处理当前词时,不必只依赖一个压缩后的固定表示,而是可以回头查看上下文里最相关的部分。

所以注意力机制可以先用一句人话理解:

注意力机制就是让模型自动划重点。

比如处理“它”这个词时,模型可以回头看“小明”“书”“放进”“书包”“太重”等词,然后判断哪些词和“它”更相关。

相关的词权重大。 不相关的词权重小。

这样模型就能从上下文中提取最有用的信息。

到了 Transformer 里,注意力机制被整理成了 Q、K、V 这种标准形式。

Q 是 Query,表示当前正在寻找什么信息。 K 是 Key,表示每个词提供什么匹配特征。 V 是 Value,表示真正携带的信息内容。

可以理解为:

Q:我现在需要什么? 

K:谁可能和我相关? 

V:如果相关,我应该取回什么信息?

模型会计算 Q 和 K 的相关程度,然后根据相关程度对 V 加权汇总。

于是模型就能动态决定:

当前词应该重点关注上下文中的哪些词。

注意力机制解决的真实瓶颈是:

长距离上下文关系如何建模?

但新的问题又出现了。

如果语言模型仍然严重依赖一步一步的串行结构,就很难真正做大。

这就引出了 Transformer。


七、Transformer:把注意力机制做成可扩展架构

很多文章会说:

Transformer 让 GPU 并行训练更高效。

这句话没错,但它不是 Transformer 出现的唯一原因,更不是全部原因。

Transformer 首先是为了解决自然语言建模的问题,后来人们才发现它非常适合大规模训练。

在 Transformer 之前,RNN、LSTM 这类模型有两个核心问题。

第一,长距离依赖难学。

例如:

一本书开头出现的人名,可能在几百个词之后再次出现。

RNN 理论上可以记住这些信息,但实际上很难。

信息会随着序列传播逐渐衰减。

第二,路径太长。

如果第 1 个词和第 100 个词有关,信息必须经过中间很多位置才能传过去。

模型学习这种关系非常困难。

Transformer 的核心思想是:

既然注意力机制已经能直接找到相关词,那为什么还要让信息一级一级传递?

于是 Transformer 用注意力机制作为核心结构,让任意两个位置都能直接建立联系。

过去像这样:

词1 → 词2 → 词3 → ... → 词100

信息必须逐步传递。

Transformer 中可以变成:

词1 ↔ 词100

两个位置可以直接建立关系。

这让长距离依赖更容易学习。

当然,Transformer 不只是一个注意力层。

它还包括几个关键模块:

Embedding:把文字变成向量; 

位置编码:告诉模型谁在前、谁在后; 

多头自注意力:从多个角度观察上下文关系; 

前馈网络:进一步加工信息; 

残差连接和层归一化:让深层网络更稳定地训练。

但不用一开始就陷入这些细节。

先抓住主线:

注意力机制解决“该看哪里”; 

Transformer 把注意力机制做成了更适合大规模训练的语言模型架构。

Transformer 的重要性至少有三点。

第一,它缓解了长距离依赖问题。

过去信息要一步步传。 现在远距离词之间可以直接建立联系。

第二,它提供了更统一的语言建模架构。

后来 BERT、GPT、T5 等模型都建立在 Transformer 之上,只是训练目标和使用方式不同。

第三,它非常适合扩展。

Transformer 的计算主要是矩阵运算。 矩阵运算天然适合 GPU、TPU 等并行硬件。

所以历史顺序应该是:

RNN / LSTM    ↓长距离依赖难处理    ↓注意力机制    ↓Transformer    ↓BERT / GPT    ↓大模型

而不是简单理解为:

GPU 出现    ↓Transformer 出现

GPU 在深度学习时代早已广泛使用。

Transformer 的诞生首先来自模型结构创新,随后才与 GPU 的并行能力形成了极强的协同效应。

这一步非常关键。

因为没有 Transformer,后面的大模型就很难真正放大。


八、大模型:把海量知识和能力压进通用模型

有了 Transformer,再加上海量数据、大量参数、大规模算力和分布式训练系统,才形成今天的大模型。

大模型解决的核心问题是:

如何把海量知识和能力压进一个通用模型?

过去很多 AI 是专用模型。

一个模型做图像分类,另一个模型做机器翻译,再一个模型做语音识别。

每个模型解决一个固定任务。

大模型的变化在于:

它试图用一个通用底座模型处理大量不同任务。

写文章、写代码、翻译、总结、问答、推理、规划,都可以接到同一个模型体系上。

但大模型不是单纯“参数多”。

更准确地说,大模型是多个条件共同作用的结果:

Transformer 架构 海量数据 大量参数 GPU / TPU 等算力 分布式训练系统 预训练 指令微调 人类反馈与对齐 推理服务体系

其中,预训练非常关键。

大模型最底层的训练目标其实很朴素:

根据前面的文本预测下一个 token。

比如看到:

今天天气很

模型要预测后面更可能接:

好、冷、热、糟糕……

这个任务看起来简单,但当数据足够多、模型足够大、训练足够充分时,模型为了预测下一个 token,就不得不学习语言结构、常识知识、语义关系、推理模式和任务格式。

这就是大模型能力形成的关键。

它不是被人一条条写进规则的。

它是在海量文本中,通过预训练逐渐压缩出一种通用能力。

所以大模型不是一个算法,而是一整套技术系统。

但大模型形成以后,AI 的问题没有结束。

它只是进入了下一层瓶颈。


九、大模型之后的两个新瓶颈:知识瓶颈和工程瓶颈

大模型出现以后,过去的问题发生了变化。

以前的问题是:

机器能不能学? 能不能理解语言? 能不能形成通用能力?

大模型让这些问题往前推进了一大步。

但新的问题马上出现了。

第一类是知识瓶颈。

大模型参数里有很多知识,但这些知识不一定新,不一定准,也不一定可追溯。

模型可能会一本正经地编造内容。 模型可能不知道最新发生的事情。 模型可能给出答案,但说不清依据来自哪里。

所以问题变成:

模型回答时,能不能先找到可靠证据,再基于证据生成?

这条线会通向搜索引擎、向量检索和 RAG。

第二类是工程瓶颈。

大模型很强,但也很重。

训练它需要巨大算力。 推理它需要显存、带宽、调度和服务系统。 用户越多,成本越高。 上下文越长,显存压力越大。 生成越慢,体验越差。

所以问题变成:

这么大的模型,怎么跑得起、跑得快、跑得便宜?

这条线会通向 GPU、TPU、CUDA、算子、分布式训练、推理优化和 AI Infra。

所以大模型之后,不是一条线继续往前走,而是分出两条关键支线:

一条解决“答案有没有依据”; 一条解决“系统能不能跑起来”。

前者是 RAG。 后者是 AI Infra。


十、从搜索引擎到 RAG:外部知识如何接回模型?

要理解 RAG,必须先理解搜索引擎。

因为 RAG 本质上不是凭空出现的。

它继承的是搜索引擎时代已经解决过的一类问题:

在海量外部信息中,如何找到和当前问题最相关、最可信的内容?

在大模型之前,互联网已经遇到过一个巨大问题:

网页太多了,人怎么找到真正有用的信息?

搜索引擎表面上是一个搜索框,背后解决的是:

海量网页如何抓取? 如何索引? 如何检索? 如何判断相关性? 如何判断权威性? 如何把最好的结果排在前面?

IR,也就是信息检索,解决的是“找相关”。

PageRank 解决的是“排权威”。

PageRank 的关键思想是:

一个网页重要不重要,不只看它自己写了什么,还要看有没有其他重要网页链接到它。

也就是说,PageRank 把互联网看成一个图:

网页是节点,链接是边。

一个网页如果被很多高质量网页链接,它就更可能重要。

所以搜索引擎真正的瓶颈不是简单字符串匹配,而是:

在巨大、开放、噪声很高的网页集合里,如何找到最相关、最权威的信息,并把它排到前面?

这和大模型之后的 RAG 有直接关系。

搜索引擎解决的是:

人如何在开放 Web 里找信息。

RAG 解决的是:

模型如何在外部知识库里找证据。

大模型把大量知识压进参数里,但参数记忆有天然边界。

第一,知识可能过时。

模型训练完成后,世界还在变化。

第二,来源不透明。

模型给出一个答案,但用户不一定知道它依据什么。

第三,事实调用不稳定。

模型可能知道某些事实,但生成时仍然出错。

第四,更新成本高。

如果每次知识更新都重新训练大模型,成本太高。

这就是大模型应用中的真实瓶颈:

参数里的知识不够新、不够准、不够可追溯。

于是 RAG 出现了。

RAG 不是简单给大模型外挂搜索框,而是把两种能力结合起来:

参数内知识 + 外部可检索知识库。

它的流程是:

用户提出问题; 系统先检索外部知识库; 找到相关文档; 把文档放入上下文; 再让大模型基于资料生成答案。

这里,搜索负责找证据,大模型负责理解和组织语言。

向量检索进一步解决“语义相近”的问题。

传统关键词检索依赖字面匹配。

向量检索会把问题和文档都变成 embedding 向量,然后找语义上接近的内容。

比如用户问:

如何降低大模型推理成本?

相关文档可能没写这句话,但写了:

减少显存占用; 提高 token 吞吐; 优化 batch 调度; 降低生成延迟。

向量检索仍然可能找到它们。

所以搜索引擎、向量检索和 RAG 共同解决的是:

外部知识如何重新接回大模型? 

模型知识不准、不新、会幻觉时,如何先找证据再生成答案?

这一步把大模型从“只靠参数回答”,推进到“参数 + 外部知识库”协同回答。


十一、AI Infra:大模型如何跑得起、跑得快、跑得便宜?

另一条支线是工程瓶颈。

大模型有了能力以后,问题不再只是:

模型能不能回答?

而是变成:

这么大的模型,怎么训练? 怎么推理? 

怎么部署? 怎么服务大量用户? 

怎么降低成本? 

怎么减少延迟? 怎么提高吞吐?

这就是 AI Infra 的位置。

AI Infra 不是简单“买几张 GPU”。

它包括:

GPU、TPU、CUDA、CANN、算子、显存、存储、网络、调度系统、缓存系统、分布式训练、分布式推理、推理服务框架、向量数据库。

大模型看起来是在生成文字,但底层其实是大量矩阵计算和系统调度。

如果算子慢,模型就慢。 如果显存管理不好,推理就贵。 如果网络通信低效,分布式训练就会被拖死。 如果调度系统不好,同样的硬件也跑不出好吞吐。

所以大模型竞争不只是模型能力竞争,也是基础设施竞争。

这时,很多工程优化才顺理成章地出现。

比如:

KV Cache:减少推理时历史上下文的重复计算。 

MoE:扩大模型容量,但每次只激活部分参数。 

量化:用更低精度降低显存和计算成本。 

蒸馏:让小模型学习大模型能力。 

剪枝:删掉冗余结构。 降 token:减少模型需要处理的无效信息。

这些技术都重要,但它们不是 AI 发展主线的独立章节。

它们更像是同一个问题下的不同工程答案:

大模型已经很强了,但太贵、太慢、太吃资源,怎么让它真正落地?

其实这种大规模系统工程不是今天才出现。

早在搜索引擎时代,人类就已经遇到过类似的系统工程瓶颈。

当网页数量越来越大,真正的问题就不只是“怎么排序”,而是:

网页太多,怎么存? 索引太大,怎么算? 数据结构太复杂,怎么组织和查询? 机器会坏,怎么容错? 普通服务器很多,怎么组成可靠系统?

于是出现了 Google 早期著名的三驾马车:

GFS、MapReduce、Bigtable。

GFS 解决的是:

海量数据如何可靠、低成本地分布式存储。

MapReduce 解决的是:

大任务如何拆开并行计算,再汇总结果。

Bigtable 解决的是:

超大规模结构化和半结构化数据如何组织、管理和查询。

简单记就是:

GFS = 存 MapReduce = 算 Bigtable = 管

它们表面上属于搜索引擎和云计算时代,但留下的是一套更底层的思想:

当数据、计算和服务规模变大以后,系统架构本身就会变成核心竞争力。

这套思想延续到了大模型时代。

因为大模型同样面对类似问题:

训练数据怎么存? 训练任务怎么分布式算? 外部知识库怎么组织? 向量索引怎么查? 推理请求怎么调度? 缓存和存储怎么协同?

所以 GFS、MapReduce、Bigtable 不应该被理解成搜索引擎的附属知识点。

它们更像是大规模系统工程的前史。

搜索引擎时代解决的是:

海量网页如何存、算、管。

大模型时代解决的是:

海量数据、模型、请求、知识库和推理任务如何存、算、管。

底层问题是延续的。

只是对象变了。


十二、智能体:模型从会说话,变成会做事

大模型主要生成答案。

但智能体不只是回答问题。

智能体要做事。

它可能会查资料、写代码、改文件、发邮件、调用 API、操作数据库、订票、付款、安排日程。

所以智能体可以理解为:

大模型 + 记忆 + 工具 + 规划 + 权限 + 行动 + 环境反馈。

这时候,核心问题彻底变了。

大模型说错一句话,损失可能有限。

但智能体如果删错文件、发错邮件、买错东西、调用错工具,就会产生真实损失。

所以智能体阶段的核心问题是:

模型从说话变成行动以后,如何记忆、规划、调用工具并保持可控?

这里有几个关键概念。

第一是智能体记忆。

普通 RAG 是为了回答问题。 智能体记忆是为了支持持续任务执行。

智能体需要记住用户偏好、历史任务、项目状态、过往经验、可用工具和风险边界。

所以智能体记忆可以理解成:

面向行动的 RAG。

第二是工具调用。

大模型本身只是语言模型。

工具调用让它能连接搜索、代码解释器、数据库、文件系统、浏览器、日历、邮件、支付系统等外部能力。

第三是权限控制。

不是所有工具都应该随便调用。

读文件、写文件、删文件、发邮件、付款、发布内容,风险等级完全不同。

所以智能体必须有权限边界、操作白名单、人工确认、回滚机制和日志审计。

第四是可信治理。

智能体越强,越需要可信。

可信不只是安全,还包括可靠、可控、可审计、可解释、可追责、符合用户意图。

这就是为什么大模型系统工程阶段的主线是降本增效,而智能体落地阶段的主线会越来越转向可信治理。


十三、从大模型到智能体互联网:未来不是一个更大的模型,而是一个协作系统

把整条线串起来,就能看到 AI 的真实演化逻辑:

符号主义解决“知识能不能写成规则”

连接主义解决“规则写不完时,能不能从数据里学” 

机器学习和深度学习解决“如何从数据中学习规律,并自动提取特征” 

注意力机制和 QKV 解决“语言上下文关系如何建模”

Transformer 解决“上下文建模如何做成可扩展架构” 

大模型解决“如何把海量知识和能力压进通用模型”

搜索引擎、向量检索和 RAG 解决“外部知识如何接回模型” 

AI Infra 解决“大模型如何低成本训练、推理和部署”

智能体记忆、工具调用、权限控制和可信治理解决“模型从说话变成行动以后如何可控”

最终,AI 会从单个大模型,走向智能体,再走向智能体互联网。

智能体互联网不是简单把很多智能体连起来。

它真正要解决的是:

多个智能体如何协作? 

任务如何分配? 

资源如何调度? 

记忆如何共享? 

工具如何调用? 

权限如何控制? 

行为如何审计? 

责任如何追溯? 

系统如何保持可信?

这时,问题已经不只是“模型强不强”,而是:

一个由模型、工具、数据、网络、算力、用户和权限组成的智能系统,如何高效、可靠、可控地运行。

这才是从大模型走向智能体互联网的真正主线。


十四、最后总结:AI 是一条真实瓶颈逼出来的问题链

不要把 AI 理解成一堆热词。

它其实是一条连续的问题链:

知识怎么表示? 

规则写不完怎么办? 

机器怎么从数据里学? 

特征能不能自动提取? 

长距离上下文关系怎么建模?

注意力机制如何找到重点信息? 

Transformer 如何构建可扩展的语言模型架构? 

海量知识怎么压进通用模型? 

参数知识不可靠怎么办? 

外部知识怎么接回来? 

大模型怎么低成本运行? 

模型怎么从会说话变成会做事? 

多个智能体怎么可信协作?

每一个问题,都逼出一组技术结构。

符号主义、连接主义、机器学习、深度学习、注意力机制、QKV、Transformer、大模型、搜索引擎、RAG、AI Infra、智能体,都不是孤立名词。

它们是一条问题链上的不同答案。

谁能沿着这条问题链往下追,谁就不是在背 AI 概念,而是在理解 AI 时代真正的系统结构。