算法与 AI
从数组到大模型的通关之路——别被"大模型"三个字唬住,拆开一看,全是你能一步步学会的东西。
| AI 概念 | 依赖的数学 | 依赖的算法 | 先修章节 |
|---|---|---|---|
| 线性回归 | 向量、最小二乘、偏导 | 梯度下降 | P0 数学 · P2 ML |
| 逻辑回归 | Sigmoid、交叉熵、极大似然 | 梯度下降 | P0 数学 · P2 ML |
| 朴素贝叶斯 | 贝叶斯定理、条件概率、独立假设 | 哈希表计数 | P0 数学 |
| k 近邻 kNN | 距离度量(欧氏/曼哈顿) | 排序/堆 TopK、KD-Tree | P2 ML |
| 支持向量机 SVM | 拉格朗日对偶、核函数、凸优化 | 二次规划、SMO | P0 数学 · P2 ML |
| 决策树/随机森林 | 信息熵、基尼系数、期望 | 递归分治、Bagging | P2 ML |
| XGBoost/Boosting | 梯度、二阶泰勒展开 | 贪心分裂、加法模型 | P0 数学 · P2 ML |
| K-Means 聚类 | 欧氏距离、方差、期望 | 迭代分配、质心更新 | P2 ML |
| DBSCAN | 密度、邻域 | 图遍历(BFS/DFS) | P2 ML |
| PCA 降维 | 协方差矩阵、特征值/特征向量、SVD | 特征分解、投影 | P0 数学 |
| 反向传播 | 链式法则、矩阵微分、复合函数求导 | 动态规划式记忆 | P0 数学 · P3 神经网络 |
| Batch Norm | 均值/方差、标准化 | — | P3 神经网络 |
| Adam 优化器 | 指数加权、二阶矩 | 动量、自适应步长 | P3 神经网络 |
| 自注意力 | 点积、softmax、概率归一化 | 矩阵乘法并行化 | P3 神经网络 · Transformer |
| 位置编码 RoPE | 三角函数、旋转矩阵 | — | Transformer |
| BERT/GPT | 条件概率、语言模型似然 | 掩码/自回归生成 | Transformer |
| RLHF/PPO | 马尔可夫决策过程、策略梯度 | Q-Learning、TRPO | 强化学习 |
| RAG | 向量相似度(余弦) | 向量检索(ANN)、排序 | RAG进阶 |
| Agent/ReAct | — | 搜索规划、工具调用循环 | Agent架构 |
| 状压 DP / TSP | 位运算、组合计数 | DP、子集枚举 | 见 P0-P3 前置课 |
| KMP / AC 自动机 | 字符串、公共前后缀 | Trie、失败指针 | 见 P0-P3 前置课 |
| 凸包 / 计算几何 | 向量叉积、极角排序 | Graham 扫描、栈 | 见 P0-P3 前置课 |
| 随机 / 近似算法 | 概率、期望 | 快排、近似保证 | 见 P0-P3 前置课 |
| P/NP/NPC | 归约、复杂度类 | SAT、顶点覆盖 | 见 P0-P3 前置课 |
| AVL / 红黑树 | 树高、旋转 | BST、平衡因子 | 见 P0-P3 前置课 |
| B+ 树索引 | 多路搜索树、磁盘 IO | 二分查找、页 | 见 P0-P3 前置课 |
| 跳表 / 线段树 / BIT | lowbit、区间分解 | 平衡树思想、lazy | 见 P0-P3 前置课 |
| SVD 降维 | 奇异值分解、正交分解 | 特征分解、投影 | 见 P0-P3 前置课 |
| 概率图模型 PGM | 条件概率、贝叶斯、条件独立 | 贝叶斯网络、HMM | 见 P0-P3 前置课 |
还没搞清楚"模型""权重""KV Cache""上下文"是什么?别慌——这 22 节课专门给零基础的你铺路:前 10 课从"AI 到底是什么"讲到"Agent 怎么干活";后 12 课把真正跑模型要用的零件一次讲全——分词、采样、向量、重排、GGUF、MLX、MTP、投影层、推理引擎,最后手把手带你用 llama.cpp 在自己电脑上把模型跑起来。每课配思维导图、考点练习和记忆口诀。
前置 · 数学基础直觉
向量/矩阵、贝叶斯、梯度——不推导,只讲 AI 里用到的直觉。
前置 · Python 速通
AI 代码就靠这三板斧:数组运算、表格处理、画损失曲线。
前置 · 机器学习入门
什么是过拟合、为什么要正则化——不讲推导讲直觉。
前置 · 神经网络直觉
用 Minecraft 红石刻类比:输入→加法→激活→输出。
AI 是什么:从图灵测试到生成式 AI
AI 不是突然冒出来的。这课用大白话串起七十年演进史,讲清 AI、机器学习、深度学习、大模型到底谁包含谁。
模型类型:判别式与生成式全家桶
判别式做判断、生成式做创造;BERT 理解、GPT 生成、T5 翻译。一张表看清各种模型结构和适用场景。
评分系统:怎么知道模型好不好
模型跑分不等于好用,但跑分是门槛。困惑度、MMLU、GSM8K、Elo 排名——这些数字怎么读、哪里有坑。
主流模型全景:GPT/Claude/Gemini/DeepSeek
写代码选谁、写文章选谁、本地跑选谁、预算有限选谁?一张对比表帮你快速做决定。
模型权重:几百亿个"旋钮"
权重就是模型的全部。7B 是什么意思?safetensors 和 gguf 有什么区别?Llama 商用要注意什么?
KV Cache:为什么能逐字蹦出来
没有 KV Cache,大模型每个字都要从头算一遍。它怎么省计算、又怎么吃显存,一文讲透。
量化:把大模型压缩到电脑上
7B 模型不量化要 14GB 显存,INT4 只要 4GB。量化怎么省、怎么损、Ollama 怎么跑,全在这课。
上下文窗口:一次能"看"多少字
上下文窗口就是模型的工作记忆。Token 是什么?128K 是多少字?超窗了会怎样?
记忆:为什么聊到后面就忘
模型本身没有记忆,所谓记忆全是工程外挂。对话拼接、向量记忆、记忆摘要、外部数据库——四种方案对比。
Agent:从聊天到会干活
大模型只会动嘴,Agent 让它学会动手。ReAct 模式、函数调用、Plan-and-Execute——AI 基础最后一课。
分词器:模型看世界的最小单位
文字进模型前先被切成编号;一个中文词常占好几个 token,直接决定计费和上下文换算。
采样与生成参数:温度怎么调
0 是死板、1 是稳健、接近 2 是发疯;一张手感调优表告诉你写代码/写作/问答各用什么。
Embedding:把文字变成向量
意思相近的句子向量也近;这是 RAG 检索和语义搜索的地基。
重排 Rerank:粗排之后再精排
先粗排捞 50 条,再精排挑 5 条,准召兼顾。
GGUF 格式:CPU 跑大模型的钥匙
为什么 GGUF 适合笔记本,Q4_K_M/Q8_0 这些后缀到底什么意思。
Apple MLX:Mac 上跑模型
M 系列芯片统一内存架构的红利,mlx-lm 一行命令跑起来。
MTP 多 Token 预测:一次吐好几个
DeepSeek 的秘密武器:一次前向多预测几个 token,又涨点又加速。
投影层与投影 GGUF:多模态的眼睛
看图模型的视觉投影层为什么单独出一个 mmproj 文件、怎么和主权重一起加载。
推理引擎全家桶怎么选
一张对比表:本地玩、服务并发、英伟达顶配、跨平台,对号入座。
llama.cpp 配置模型实战(重点)
从下载 GGUF 到 llama-server 起服务、curl 调 API、算显存、排报错,照做就能跑。
结构化输出:让模型吐 JSON
自由文本不能当程序读;用文法硬约束,逼模型只吐合法 JSON。
流式输出:打字机是怎么来的
为什么模型一个字一个字往外蹦:SSE 流式与首字延迟,和 TTS 怎么联动。
Transformer 详解
Q/K/V 矩阵计算、多头注意力、位置编码(正弦/RoPE/ALiBi)、FFN、残差——大模型的骨架。
大模型训练全流程
从数据清洗到对齐:预训练→SFT 指令微调→RLHF/DPO→推理优化,一条流水线讲透。
GPT 系列演进
从 117M 到多模态与推理模型:InstructGPT、RLHF、o1 思维链。
DeepSeek 与 MoE
混合专家架构、MLA 多头潜在注意力、R1 强化学习推理模型,国产开源之光。
国产模型家族
通义千问、智谱 GLM、Kimi、豆包、文心、混元——开源 vs 闭源对比表。
推理优化
vLLM 分页注意力、连续批处理、Flash Attention、投机解码、KV 量化。
RAG 进阶
切分策略、Embedding 选择、BM25+向量混合检索、重排序、Query 改写、HyDE。
Agent 架构详解
ReAct 循环、Function Calling、Planning、Memory、AutoGen/CrewAI 多智能体协作。
推理模型
慢思考 vs 快思考、思维链、RL 训练推理能力,花更多 token 换更准答案。
原生多模态
视觉编码器、跨模态对齐,不是拼接而是原生统一架构看听说。
长上下文
位置编码外推、环形注意力,整本书一次读完。
AI 编程
AI 写代码、改 Bug、跑测试,从 Copilot 到 Agentic Coding。
世界模型
从预测下一个 token 到预测下一帧画面,让 AI 理解物理世界。
具身智能
视觉-语言-动作模型,AI 长出身体,在物理世界里干活。
端侧小模型
手机跑大模型:知识蒸馏、MoE 稀疏激活、量化部署。
模型评测
怎么衡量一个模型好不好?榜单、人工评估、AI 当裁判。
想搞 AI?先别急着调包。从数组到大模型,每一层都踩在前一层的肩膀上——数组教会你"数据怎么摆",数学教会你"变化怎么算",算法教会你"活怎么干得快",最后大模型才肯理你。这一站不是论文,是通关地图:每个名词都用大白话讲明白,配一道例题,看完你就知道 ChatGPT 肚子里到底在转什么。
模块一 · 数据结构基础
大模型再玄乎,底层数据还是一坨一坨摆在内存里的。数据结构就是"数据的摆法":同样一百个数,排成一排、连成一条线、挂成一棵树、画成一张网,查起来、改起来的速度天差
模块二 · AI 相关数学回顾
大模型不是玄学,它就是几摞矩阵在做乘法、再加一点求导。这一模块不教你重新学数学,只做一件事:把数学大厦里的概念,翻译成"它在 AI 里扮演谁"。忘了公式没关系,
模块三 · 算法相关知识
数据结构是"怎么摆",算法就是"怎么干"。这一模块过八大算法思想——不是背代码,是学套路:遇到问题先判断属于哪一类,套路直接套。
模块四 · 机器学习与深度学习
前面的算法是"人写死规则",机器学习换了个思路:不写规则,给模型一堆题和答案,让它自己总结规律。这一节从最朴素的回归,一路爬到 Transformer 和大模型
深度学习
从这里开始,模型开始"自己学特征",不再需要人手写规则。核心就是:很多层线性变换 + 非线性激活,用反向传播调参数。
前沿:大模型与 Agent
前面 11 个知识点叠在一起,再把参数堆到几千亿、数据堆到万亿 token,就成了你正在聊的 ChatGPT。这一节讲清楚它是怎么训出来的、Agent 又是什么
模块五 · 机器学习进阶
模块四只讲了回归、逻辑回归、决策树三个"网红入门款"。这一模块把经典 ML 的主力梯队补齐:朴素贝叶斯、kNN、SVM、集成学习、聚类、降维。它们在深度学习崛起
模块六 · 深度学习进阶:损失、优化、正则化
模块四只说了"反向传播+梯度下降"。但真实训练里,用什么损失、用哪个优化器、怎么防止过拟合、怎么初始化、怎么调学习率,每一步都是坑。这一模块把这些"炼丹手册"讲
模块七 · Transformer 与大模型进阶
4.9 节给了注意力公式,但没讲 Q/K/V 从哪来、为什么除以 √dk、BERT 和 GPT 到底差在哪、千亿模型怎么训。这一模块把这些"论文里的硬骨头"啃完
模块八 · Agent 进阶、RAG 与 MCP
4.11 节说了 Agent 四件套。这一模块把 ReAct 循环、Function Calling、多 Agent 协作、RAG 检索增强、MCP 协议这些
模块九 · 强化学习
AlphaGo 赢李世石靠的就是它。今天大模型对齐用的 RLHF,底层就是这一套。不理解 RL,就理解不了 ChatGPT 最后一步怎么"学做人"的。
模块十 · 评估与部署
训出模型只是一半。怎么打分、怎么诊断过拟合、怎么部署到生产环境,决定它是论文 PPT 还是线上产品。
附录 A · 核心公式深度推导
正文里讲了"是什么"和"怎么用"。这里把反向传播和注意力的完整推导一步一步走完。数学不吓人,就是链式法则乘来乘去。
附录 B · AI 学习路线图 + 公式速查 + 研
读到这里,你已经从数组走到了 Agent。这份附录是毕业装备包:接下来按什么顺序练、关键公式在哪查、工具链用什么。
18 个核心知识点,每个一页讲透:直觉 → 公式 → 例题 → 18 题练习 → 记忆口诀。想深挖哪个点,点进去就是。
线性回归
最小二乘与梯度下降入门
逻辑回归
Sigmoid 与分类决策边界
决策树
信息增益与 Gini 分裂
随机森林
Bagging 与特征随机
梯度下降
从导数到学习率与收敛
SVM
最大间隔与核技巧
KNN
距离度量与投票决策
K-Means
质心迭代与肘部法则
正则化
L1/L2、过拟合与 Dropout
模型评估
混淆矩阵、交叉验证与 ROC/AUC
神经网络基础
感知机、激活函数与反向传播
CNN
卷积、池化与特征提取
RNN / LSTM
序列建模与梯度消失
Transformer
Self-Attention 到 GPT
时间复杂度
大O表示法与常见复杂度分析
动态规划
状态定义与转移方程
最短路径
Dijkstra 与 BFS
Word2Vec
从 one-hot 到稠密向量
10 个大模型落地核心专题,每个一页讲透:Prompt → RAG → Agent → 微调 → 推理优化 → 评估 → 安全对齐。从会用到懂,从 Demo 到生产。
Prompt 工程
Few-shot / CoT / 结构化输出
RAG 系统
切分→嵌入→检索→重排→生成全链路
Agent 设计
规划 / 工具调用 / 记忆 / ReAct
微调与 LoRA
全参微调 vs 参数高效微调 / QLoRA
推理优化
KV Cache / 量化 / 投机解码
多模态模型
CLIP / 图文对齐 / VLM
向量检索
余弦 / HNSW / Faiss / Milvus
大模型评估
LLM-as-Judge / MMLU / 基准测试
函数调用
Schema / 参数抽取 / 错误处理
安全与对齐
RLHF / DPO / 越狱防御
链表反转技巧
哑节点、快慢指针、判环找入口
回溯算法
排列组合子集、N 皇后通用模板
二叉树进阶
层序、BST、LCA、路径和
滑动窗口进阶
变长窗口、最小覆盖子串
Trie 与位运算
前缀匹配、n&(n-1)、状态压缩
小测:从数组到大模型,你通关到哪一步了?
1. 数组按下标访问一个元素,时间复杂度是?
2. 浏览器"后退"功能,底层用什么数据结构?
3. 从 100 万个数里找最大的 10 个,最高效的数据结构是?
4. 反向传播(Backpropagation)背后的数学原理是?
5. Transformer 自注意力公式 Attention(Q,K,V)=softmax(QKT/√dk)V 里,为什么要除以 √dk?
6. 大语言模型 RLHF 阶段的主要目的是?
7. Agent 跟普通聊天 LLM 的最大区别是?