知识站 · 传统版式 · 持续更新 从图灵之问到大模型时代 · 系统梳理人工智能的知识谱系 配色
SI
人工智能知识站 Synthetic Intelligence Archive
首页/基础原理

基础原理:人工智能是怎样工作的

剥去所有术语,今天的人工智能本质上是同一件事: 用一个可调节的巨大函数去拟合数据中的规律,再用这个函数去预测或生成新结果。 本章把这个过程中的每个环节拆开讲清楚。

章 01AI 如何「学习」

传统编程 vs 机器学习

传统编程(规则驱动)

输入:数据 + 人工编写的规则 → 输出:答案。

人要先把知识写成明确的逻辑:if 叶子发黄 then 缺水。 问题是:现实世界的规则无穷无尽,且难以说清(比如「如何判断一张照片里是猫」)。

机器学习(数据驱动)

输入:数据 + 答案(标签) → 输出:规则(模型参数)。

人不写规则,而是让算法从大量样本中自己归纳出规律。 困难从「写规则」转移到了「找数据」。

一句话概括 · 机器学习 = 用数据反推出函数。若记输入为 x、输出为 y, 学习就是从数据中找出 y ≈ f(x) 里的 f。 深度学习则用一个参数量极大的多层神经网络来表示这个 f。

三个必要要素

数据

Data

原料。数据量、质量与多样性直接决定模型上限。「垃圾进,垃圾出」是铁律。

模型

Model

假设空间。即「我们允许机器在什么样的函数集合里寻找答案」。

算力

Compute

搜索这个假设空间所需的计算资源。大模型时代,算力往往是决定性约束。

章 02三大学习范式

范式学习信号典型任务代表性应用
监督学习
Supervised
每个样本都带有标准答案(标签),模型学习「输入 → 标签」的映射 分类(是猫还是狗)、回归(房价多少)、序列标注 图像识别、垃圾邮件过滤、疾病预测、机器翻译
无监督学习
Unsupervised
没有答案,模型自行发现数据中的结构、分布与簇 聚类、降维、密度估计、表示学习 用户分群、异常检测、词向量预训练、数据压缩
强化学习
RL
没有标准答案,只有延迟的奖励信号;智能体试错并最大化长期回报 序贯决策、策略学习、博弈 AlphaGo、机器人控制、RLHF 大模型对齐、推荐策略
自监督学习
Self-supervised
从数据自身构造监督信号(如遮住一部分让模型预测) 语言建模、对比学习 所有大模型的预训练方式:预测下一个词
为什么自监督如此重要 · 互联网上的文本、图片没有标签,却取之不尽。自监督学习把「无标签数据」变成了「无限标签数据」, 这正是大模型能够吞下整个互联网进行训练的原因。预测下一个词这个看似简单的任务, 迫使模型学会语法、事实、逻辑乃至一定程度的推理。

半监督、迁移学习与微调

  • 半监督学习:少量标注 + 大量未标注数据混合使用,降低标注成本。
  • 迁移学习:把在任务 A 上学到的知识用于任务 B。预训练大模型 + 下游微调就是最典型的迁移学习。
  • 持续学习 / 终身学习:让模型不断学习新知识而不遗忘旧知识——仍是开放难题(灾难性遗忘)。

章 03机器学习的完整流程

STEP 01问题定义要预测什么?成功标准是什么?是否真的需要 AI?
→
STEP 02数据采集来源、规模、合法性、隐私合规、代表性
→
STEP 03数据清洗去重、纠错、处理缺失值、标注质量校验
→
STEP 04特征工程把原始信号转成模型可理解的输入(深度学习可自动完成)
→
STEP 05模型选择根据任务、数据量与资源选择合适架构
→
STEP 06训练调优调超参、监控损失、防止过拟合
→
STEP 07评测验证在独立测试集与真实场景中检验
→
STEP 08部署监控上线、监控漂移、持续迭代

数据集的三种划分

集合作用常见比例与要点
训练集 Training用于更新模型参数通常占 60%—80%。模型只能在这部分数据上「学习」。
验证集 Validation用于调超参与早停约 10%—20%。相当于「模拟考」,用来选择模型版本。
测试集 Test用于最终评估泛化能力必须严格隔离,一次性的「高考」。泄漏测试集等于作弊。
常见陷阱 · 数据泄漏(Data Leakage):训练数据中混入了测试信息(如用未来数据预测过去、重复样本跨集出现), 会导致评测分数虚高而实际表现糟糕。这是机器学习实践中最常见也最危险的错误之一。

章 04神经网络是如何工作的

1. 一个神经元

人工神经元做的事非常简单,可概括为三步:

输入 x₁ x₂ … xₙ
▼ ① 加权求和 z = Σ wᵢxᵢ + b
② 非线性变换 a = σ(z)
▼ ③ 输出给下一层
输出 a
图 7 单个人工神经元的计算过程(w 为权重,b 为偏置,σ 为激活函数)

其中 w(权重)与 b(偏置)就是模型需要学习的「参数」。 一个大模型拥有数千亿个这样的参数——知识就以这些数字的型式存储在模型中。

2. 为什么要「多层」

单层网络只能表达线性关系,无法解决 XOR 这类简单却非线性的问题。 加入非线性激活函数并堆叠多层后,网络理论上可以逼近任意连续函数(万能逼近定理), 并且能自动学习出由简单到复杂的层级特征:

第 1 层
边缘、纹理
第 2 层
形状、部件
第 3 层
物体、语义
更深层
抽象概念
图 8 深度网络的特征层级(以视觉为例)

3. 前向传播与反向传播

前向传播 Forward

输入数据从第一层依次计算到最后一层,得到预测结果。这就是模型「思考」的过程。

反向传播 Backprop

用链式法则从输出层往回计算每个参数对误差的「责任」(梯度), 再沿梯度反方向微调参数。这就是模型「学习」的过程。

# 训练一个神经网络的极简伪代码
for 每个批次 batch in 数据集:
    y_pred = model.forward(x)        # 前向:算出预测
    loss   = criterion(y_pred, y)    # 比较:与真实答案计算差距
    loss.backward()                  # 反向:计算每个参数的梯度
    optimizer.step()                 # 更新:沿梯度反方向调整参数
    optimizer.zero_grad()            # 清零:准备下一轮
直觉理解 · 训练就像在浓雾中下山: 你看不清整座山(不知道最优参数),但能感觉到脚下哪边更低(梯度方向), 于是每次向低处迈一小步(学习率),反复走很多步后到达谷底。

章 05训练与推理:两个阶段

阶段在做什么成本与特点
训练 Training 在海量数据上反复调整参数,使模型学会规律 一次性投入巨大:需要成千上万张加速卡运行数周至数月,耗电与费用极高。
推理 Inference 用训练好的模型处理新输入,产出结果 每次请求都要发生,成本随用户量线性累积;关注延迟、吞吐与单次成本。

大模型的三个阶段

PHASE 1预训练 Pre-training 在海量文本上做「预测下一个词」,形成基础的语言与世界知识。成本最高。
→
PHASE 2指令微调 SFT 用「指令—优质回答」样例教会模型遵循指令、按格式输出。
→
PHASE 3偏好对齐 RLHF 用人类偏好数据进一步调整,使回答更有用、更安全、更符合价值观。

此外还有推理时扩展(让模型在回答前「多想一会儿」,如长思维链、多次采样投票)—— 这是近年提升复杂任务表现的重要新维度,详见 思维链。

章 06损失函数与优化器

损失函数 Loss Function

衡量「模型预测与真实答案差多少」的标尺。训练的目标就是最小化损失。

  • 回归常用 均方误差 MSE
  • 分类常用 交叉熵 Cross-Entropy
  • 语言模型本质是下一词预测的交叉熵

优化器 Optimizer

决定「如何根据梯度更新参数」的算法。

  • SGD:最基础,沿负梯度方向更新
  • SGD + Momentum:带惯性,减少震荡
  • Adam / AdamW:自适应学习率,大模型训练的事实标准

关键超参数

超参数含义调节经验
学习率 LR每次更新迈多大的步子过大导致发散不收敛,过小导致训练极慢。常配合预热 + 余弦衰减调度。
批大小 Batch Size每次用多少样本估一次梯度大批量稳定且并行效率高,但需更大学习率;小批量噪声大但泛化有时更好。
训练轮数 Epochs把数据集完整过几遍过多会过拟合,需配合早停(Early Stopping)。
模型规模层数、宽度、参数量在算力允许范围内,规模通常带来性能提升(规模定律)。

章 07泛化、过拟合与正则化

机器学习的终极目标不是记住训练数据,而是在没见过的数据上表现好——这就是泛化(Generalization)。

欠拟合

Underfitting

模型太简单,连训练集都学不好。表现:训练误差和测试误差都很高。对策:增大模型、加特征、训练更久。

过拟合

Overfitting

模型把训练集的噪声也背下来了。表现:训练误差很低,测试误差很高。对策:见下方正则化方法。

恰好

Good Fit

训练误差与测试误差都低且接近。这是训练追求的理想状态。

常用正则化手段

  • 更多数据 / 数据增强:最有效。对图像做旋转裁剪、对文本做改写回译等。
  • Dropout:训练时随机丢弃一部分神经元,迫使网络不依赖特定路径。
  • 权重衰减(L2 正则):惩罚过大的参数值,让模型更平滑。
  • 早停 Early Stopping:验证集误差不再下降就停止训练。
  • 批归一化 / 层归一化:稳定训练过程,间接提升泛化。
  • 简化模型:减少参数或层数,降低容量。
偏差—方差权衡 · 偏差来自模型假设过强(太简单 → 欠拟合); 方差来自模型对训练数据过于敏感(太复杂 → 过拟合)。 调参的艺术,本质上是在两者之间找平衡点。

章 08如何评价一个 AI 系统

分类任务的四个基本量

预测为「正」预测为「负」
实际为「正」TP 真阳性(判对)FN 假阴性(漏掉)
实际为「负」FP 假阳性(误报)TN 真阴性(判对)
  • 准确率 Accuracy = (TP+TN) / 全部。样本不平衡时易误导(如 99% 正常样本的欺诈检测,全判「正常」也有 99% 准确率)。
  • 精确率 Precision = TP / (TP+FP):判为正的里面有多少是真的。关注误报成本时用。
  • 召回率 Recall = TP / (TP+FN):真的正例里找出多少。关注漏检成本时用(如疾病筛查)。
  • F1 分数:精确率与召回率的调和平均,综合衡量。

大模型的评测

标准基准 Benchmark

  • MMLU:多学科知识与理解
  • GSM8K / MATH:数学应用题与竞赛题
  • HumanEval / MBPP:代码生成能力
  • ARC / HellaSwag:常识推理与句子续写

评测的三个坑

  • 数据污染:测试题已进入训练数据,分数虚高
  • 刷榜过拟合:针对榜单优化而非真实能力提升
  • 静态失真:固定题库无法反映真实场景的多样性与长尾
实践建议 · 对具体业务,自建贴近真实场景的评测集最有价值。 公开榜单用于横向比较,自己的「黄金测试集」用于决策上线。

章 09当前技术的固有局限

① 幻觉 Hallucination

模型会生成看似合理但虚假的内容。根源在于它优化的是「可能性」而非「真实性」。详见 关键概念。

② 缺乏真实世界模型

模型通过文本学习世界,缺少物理直觉与因果理解,导致规划与常识判断不稳。

③ 知识静态与时效

训练截止之后发生的事件模型并不知晓,需要检索增强或持续更新来弥补。

④ 可解释性弱

千亿参数的决策过程难以追溯,在医疗、司法等高风险场景中构成信任与合规障碍。

⑤ 鲁棒性与对抗样本

输入微小扰动(人眼不可见的噪声、同义改写)可能导致输出剧变。

⑥ 成本与能耗

训练与大规模推理的算力与电力消耗巨大,可持续性是长期约束。

章 10自学路径与知识结构

四层知识结构

应用层:Prompt 工程 · RAG · Agent 开发 · 行业落地
▲ 建立在
模型层:Transformer · 预训练 · 微调 · 对齐 · 推理优化
▲ 建立在
算法层:机器学习 · 深度学习 · 优化方法 · 概率建模
▲ 建立在
基础层:线性代数 · 概率统计 · 微积分 · 编程 · 信息论
图 9 AI 知识结构:自下而上,基础决定上限

最少必需数学

领域必须掌握的内容为什么需要
线性代数向量、矩阵运算、特征值、张量概念数据与参数都以矩阵形式存在,神经网络就是矩阵运算链
微积分导数、偏导、链式法则、梯度反向传播的数学基础
概率统计分布、期望、贝叶斯、最大似然建模不确定性,理解损失函数与采样生成
最优化梯度下降、凸优化直觉、约束优化训练本质上就是求解一个大规模优化问题
信息论熵、交叉熵、KL 散度理解语言模型目标函数与生成质量

三条常见学习路线

应用派

先把 AI 用起来

学习 Prompt 设计 → 掌握 RAG 与工具调用 → 做小项目 → 遇到瓶颈再回头补原理。适合产品、运营、业务人员。

工程派

能搭出可用的系统

Python + 数据结构 → 经典机器学习 → PyTorch 实战 → 微调与部署 → Agent 系统开发。适合开发者。

学术派

理解与创新

数学基础 → 经典论文精读 → 复现实验 → 前沿追踪 → 提出改进。适合学生与研究者。

避坑提示 · ① 不要只看科普视频,一定要动手跑代码; ② 不要过早陷入框架细节,先理解原理再看实现; ③ 警惕速成主义,AI 领域更新极快,基础扎实者迁移成本最低。 更多资源见 术语与资源。