LLM认知框架观点整理

认知框架

本模块收录理解 LLM 所需的关键心智模型,帮助你建立对 LLM 的系统性认知,避免常见误区。


1 Software 1.0 / 2.0 / 3.0 范式

它是什么

Andrej Karpathy 提出的软件演进范式(2017 年提出 Software 2.0,2025-2026 年演化为三范式框架):

范式

程序媒介

编写者

执行方式

稀缺资源

Software 1.0

显式代码(.py/.cpp)

人类程序员

确定性编译执行

代码行数

Software 2.0

神经网络权重

数据 + 优化算法

训练学习

训练数据量

Software 3.0

上下文窗口(提示词 + 工具 + 记忆 + 示例)

自然语言描述

LLM 解释执行

上下文 token 数

Karpathy 在 2026 年 Sequoia Ascent 演讲中给出了 Software 3.0 的核心类比:

Context Window = RAM(工作内存)
Model Weights  = CPU(固定处理基底)
Prompting      = Programming(编程行为)

Software 3.0 的本质不是"更快的编码",而是一类"以前根本不可能"的事。Karpathy 提出的 Founder 问题是:不是"什么能做得更快?",而是"什么软件应该彻底消失,不再以软件形式存在?"

为什么重要

它帮助你定位 LLM 在技术谱系中的位置:

  • 不是对 Software 2.0 的替代,而是对特定任务的补充

  • 不是对 Software 1.0 的替代,传统代码在可预测性、性能、安全上仍有优势

  • 编程范式的迁移:从"写逻辑"(how)到"写目标"(what)再到"写意图"(intent)

实践含义

场景

推荐范式

原因

核心业务逻辑

Software 1.0

可预测、可验证、可审计

数据驱动的预测

Software 2.0

数据规模大、特征复杂

创意生成、对话、总结

Software 3.0

需要灵活性和泛化能力

混合场景

混合范式

各取所长

Agent-Native 产品设计:随着 Software 3.0 的普及,数字信息的消费者从两类变为三类——GUI(人类)、API(程序)、自然语言(Agent)。这意味着产品需要同时面向三类消费者设计:Markdown 文档替代 PDF、CLI/API 替代 Dashboard、MCP 服务器提供结构化数据访问。


2 LLM 是 Ghost 不是 Animal — 锯齿状智能

它是什么

Karpathy 的比喻:LLM 像 Ghost(数字拟像),不像 Animal(有生存本能的生物)。

维度

Animal(动物)

Ghost(幽灵/LLM)

起源

数百万年自然选择

模仿互联网文档的训练

硬件

硬编码在 DNA 中

完全数字存在,无具身

内在驱动力

生存、情感、欲望根植于生物本能

无情感或生存压力

能力边界

由生物结构决定,边界清晰

"锯齿状",依赖训练数据和 RL 信号

本质

生物过程的产物

数字拟像(Digital Simulacrum)

Karpathy 将预训练比作"低配版进化":从随机权重开始,在互联网文档上做模式补全,同时获取知识和启动"智能电路"。但知识部分可能反而拖累模型,使其过度依赖记忆而非推理。

信息密度差异是理解"幽灵"本质的核心数据:

存储位置

每 token 信息密度

性质

Model Weights(Llama 3)

~0.7 bits/token(15T token 训练集)

"模糊的记忆"

KV Cache(Context)

~320 KB/token

"工作内存",直接访问

3500 万倍的信息密度差异,解释了为什么上下文学习比权重记忆更"智能"。

锯齿状智能(Jagged Intelligence) 是这一认知框架的直接推论:同一模型可以重构 10 万行代码库(高可验证性领域有强 RL 信号),却在"开车去洗车"这种常识判断上不及格(低可验证性领域无 RL 信号)。

为什么重要

这个框架帮助你避免"泛化能力错觉":

  • 不要因为 LLM 在代码领域表现好,就假设它在医疗领域同样可靠

  • 不要因为 LLM 能写文章,就假设它能做精确的信息提取

  • 不要因为某次效果好,就假设所有场景都可靠

  • 不存在"通用智能"——只有特定训练范围内的能力涌现

实践含义

行为

理解为 Ghost

理解为 Animal

能力评估

测试每个具体任务

假设跨任务一致

风险识别

关注失败案例

关注成功案例

系统设计

设计失败应对机制

信任模型输出

产品设计

在非可验证领域嵌入人工审核

全自动

Agent 架构

分离"完成任务"和"检测失败"

单一信任链


3 Vibe Coding vs Agentic Engineering

它是什么

Karpathy 在 2025 年提出的两种开发模式:

维度

Vibe Coding

Agentic Engineering

核心理念

YOLO,跟随感觉

纪律严明,AI 辅助实施

代码审查

不审查

与人类 PR 同等严谨

测试

可选/忽略

无测试 = 不可接受

架构规划

跳过

先于 prompt

适用场景

原型、MVP、个人项目、学习探索

生产代码、团队协作

技能要求

低(任何人都可以)

高(需要深厚基础)

Agentic Engineering 的核心工作流(Karpathy,2025 YC Talk):

1. 写设计文档(可由 AI 辅助)
2. 将工作分解为定义良好的任务
3. 给 AI Agent 指定任务
4. 以与人类 PR 相同的严谨度审查代码
5. 测试、测试、测试
6. 拥有整个系统

Karpathy 的关键洞察:

AI 没有造成问题;跳过设计思考才是问题所在。Agentic Engineering 不是比传统工程更容易——它是不同种类的难:用打字时间换审查时间,用实现工作换编排技能,用写代码换读代码评估代码。基础反而更重要,而不是更不重要。

为什么重要

它帮助你理解 LLM 应用的两个阶段:

  • 不要在原型期过度工程化:会浪费时间和精力

  • 不要在生产期继续 Vibe Coding:会引入不可预测性和风险

  • 两种模式需要不同的工具和流程

适用边界

社区实践中形成的共识:

Vibe Coding 适合:快速原型和 Hackathon、一次性脚本和内部工具、Greenfield 开发(谨慎使用)、学习探索和头脑风暴。

Vibe Coding 不适合:精品赛道(支付、风控、医疗、基础设施)、长期维护项目、安全敏感系统。

如果你能写一个单元/功能测试来验证输出,说明范围足够小,可以 vibe。如果不能,你需要规范。 — Red Hat

判断标准:如果你只是让 AI 一气写几千行,自己也读不太懂,那不是生产力提升,是技术债分期付款。今天省的两小时,上线后变成二十小时复盘。

实践含义

Vibe Coding 阶段(推荐用于原型)

  • 直接与 LLM 对话,手动验证效果

  • 快速迭代 Prompt,不追求完美

  • 关注"这方向对不对",而非"这代码完美吗"

  • 目标是验证假设,而非交付产品

Agentic Engineering 阶段(生产必需)

  • 建立 Prompt 版本管理(Git 或工具)

  • 建立自动化测试(单元测试、集成测试)

  • 建立 A/B 测试框架

  • 建立监控和告警

  • 目标是稳定、可维护、可扩展

对资深工程师 vs 初级工程师的差异:Agentic Engineering 对资深工程师的收益远大于初级工程师。资深工程师的系统设计知识、安全模式理解和性能权衡经验,使其能有效 review AI 输出;初级工程师可能产生自己无法理解的代码。


4 可验证性框架

它是什么

Karpathy 的可验证性框架(2025):

Traditional computers can easily automate what you can specify in code. LLMs can easily automate what you can verify.
Software 1.0 easily automates what you can specify. Software 2.0 easily automates what you can verify.

核心命题:任务的可验证性决定了 AI 能力的边界。可验证性不是二元划分,而是一个谱系:

可验证性

验证方式

代码生成

极高

运行测试,编译检查

数学推理

极高

形式化证明检查,答案匹配

法律审核

中等

评估量规 + 规模化人工标注

医学诊断

中等

结果可测量,但周期长

艺术/品味

极低

人类反馈 = 验证,RLHF 使用之

Jason Wei 的验证者定律(Verifier's Law)提供了更精确的表述:

训练 AI 解决一个任务的难易程度,与该任务的可验证性成正比。
对于某些任务,验证一个解是否正确,要远比从头开始解决这个问题容易得多。

可验证任务需满足的五大特性:

特性

描述

示例

客观真理

对什么是好的解决方案有普遍共识

代码通过测试

快速验证

任何解决方案可在几秒内验证

运行测试、编译代码

可规模化验证

可同时批量验证大量解决方案

批量测试、fuzzing

低噪声

验证结果与真实质量高度相关

单元测试 vs 代码风格

连续奖励

易于对同一问题的多个解进行排序

准确率、BLEU 分数

验证的不对称性是核心机制:AI 能力的进化速度取决于"生成→检验→改进"迭代循环的效率,而循环效率完全取决于验证器的质量和成本。这就是为什么代码、数学等高可验证领域 AI 进步飞速,而战略规划、心理咨询等低可验证领域 AI 难以突破。

验证者溢价

Yu's Space 的 TVI(Task Verifiability Index)研究将 923 个职业按可验证性和 AI 暴露度分为四个象限:

象限

特征

代表职业

替代区(高可验证 + 高暴露)

AI 最容易升级为自主系统

程序员(TVI=3.66)、数据录入

溢价区(低可验证 + 高暴露)

AI 是工具但质量难自动化验证

管理分析师、作家、CEO

机器人区(高可验证 + 低暴露)

验证标准客观但瓶颈在物理操作

包装操作员、电工

护城河区(低可验证 + 低暴露)

短期几乎无替代可能

心理咨询师、牧师

一个值得注意的区分:"Computer Programmers"(TVI=3.66)落在替代区,"Software Developers"(TVI=3.23)落在溢价区——差别在于软件开发包含架构设计、需求分析等验证成本更高的环节。

核心洞察:当生成变得廉价后,能够判断产出质量好坏的人类判断力反而变得更加稀缺和有价值。这被称为验证者溢价(Verifier Premium)

为什么重要

它帮助你决策哪些任务适合用 LLM 自动化:

  • 高可验证性任务:可以大胆自动化,错误会被立即发现

  • 中可验证性任务:可以半自动化,需要人工抽查

  • 低可验证性任务:谨慎自动化,或者设计人工验证机制

实践含义

场景

可验证性

推荐方案

生成 SQL 查询

高(可执行)

直接自动化

生成代码

高(可编译、可测试)

直接自动化

总结长文档

中(可与原文对比)

自动化 + 抽查

创意写作

低(主观评价)

辅助人类创作,不全自动

情感分析

低(标注一致性低)

谨慎使用,设计验证机制

通过前置工作提升可验证性:在解题前准备标准答案、在编程前编写测试用例,可以显著扩展 AI 能有效处理的任务范围。

浙江省
浏览 381
收藏
4
分享
4 +1
+1
全部评论