part-0002 第一性原理：传统软件与 Agent 系统的形式化模型
- 输入来源: 本地 pdf 预提取文本（source-02.txt，arXiv:2606.05608v1 [cs.SE]）
- 原文链接: https://arxiv.org/html/2606.05608v1
摘要
§1 后段：借 Brooks《人月神话》指出软件复杂度与其他工程领域缩放行为根本不同——软件 没有制造步骤，「设计即产品」；每个新功能、边界情形、集成点都叠进状态与交互的组合爆炸， 即 Brooks 所称 essential complexity（问题固有的复杂度，区别于 accidental complexity）。 论文主张：当 LLM 能理解任务、分解子任务、动态生成代码执行、用后即弃时，代码的角色从 「系统本身」变成「推理的临时工具」（ephemeral instrument of reasoning）。随后完整给出 三大 central claims（First-Principles Necessity / Paradigm Shift Not Optimization / Emergent Discipline），并预告 §2–§7 结构。
§2 First-Principles Analysis 是全文论证核心：
- 2.1 传统软件的定义：Definition 2.1 把传统软件系统形式化为三元组 S = (C, D, E)—— C 为计算资源（CPU/内存/I/O），D 为编码在源码中的确定性决策规则集，E 为对输入执行 D 的执行环境。关键性质：D 相对执行是静态的——所有决策逻辑必须在系统遇到任何输入前 由人显式写好。因此每次改功能 / 修 bug / 适配环境都要求人：(a) 理解所需变更， (b) 在 D 中定位，(c) 无回归地修改，(d) 验证正确性；改动成本是 |D| 大小与内部依赖 密度的函数
- 2.2 复杂度壁垒：数十年进步（高级语言、框架、自动化测试）系统性压低了 accidental complexity，但 essential complexity 无界。Proposition 2.1（复杂度缩放）：n 个组件、 两两可能交互的系统，可能交互路径数 P(n) ∈ Θ(2^n)（n 个元素两两组合共 C(n,2) 个可能 依赖边 → 2^C(n,2) 个可能依赖图）。真实系统不会实现全部配置，但复杂度的上界指数 增长，而人类认知这些交互的容量近似常数——这个 mismatch 是软件项目规模增长时边际 产出递减的深层结构性原因；传统应对（层级分解、模块接口、封装）只降低常数因子， 不改变渐近行为
- 2.3 Agent 系统的形式化模型：Definition 2.2 把 AI agent 系统形式化为 A = (M, T, M, Π) ——M 为作为推理引擎的 LLM，T 为可执行工具集（代码解释器、API、数据库、文件系统）， M 为记忆子系统（短期上下文、长期向量库），Π 为把用户意图分解为动作序列的规划机制。 系统迭代执行 a_t ← M(s_t, M)、s_{t+1} ← exec(a_t)。关键区别：决策逻辑在运行时生成， LLM 可按中间结果动态产出代码、调用工具、调整行为——代码不是系统本身，而是随时产生 又丢弃的 transient artifact。该区分映射并超出 Karpathy 的 "Software 2.0"：Software 2.0 用学习到的权重替代手写程序逻辑；agent 更进一步——网络不只替代程序，还按需写程序， 把代码当工具服务于更广的推理目标。作者称这与 ReAct（推理轨迹与工具使用交替显著提升 任务表现）及 Chain-of-Thought prompting（显式中间推理步骤解锁 LLM 潜在能力）一致
- 2.4 为何 agent 必然缩放得更好：设任务 T 需在规模 N 的解空间上推理。传统范式：人须 在脑中遍历该空间找解路径再编码为静态程序，而人类认知容量 C_H 固定 → N > C_H 时任务 在任何现实成本下都不可行。agentic 范式：LLM 的有效容量 C_M 随模型规模与训练算力增长； 规划机制 Π 把 T 分解为可独立处理的子问题；代码只为特定解路径生成而非为所有可能分支 生成。因此 agentic 范式把「求解能力」与「人类认知极限」解耦——不是 10% 的改进，而是 能被经济地解决的问题种类的质变
要点归纳
- 全文的轴心二分：决策逻辑由谁、在何时承载——静态代码（人预先写定）vs 运行时 生成（LLM 推理）
- 复杂度论证的锋芒：2^n 交互路径上界 × 常数人类容量 → 传统范式的天花板是结构性的， 不是方法不够好；层级分解只降常数因子
- 作者对 Software 2.0 的扩展（网络写程序而非网络当程序）是自己理论谱系上的定位动作
术语 / 概念
- Definition 2.1（Traditional Software System） — S = (C, D, E)；D 静态、须人工预先编码
- Definition 2.2（AI Agent System） — A = (M, T, M, Π)；决策逻辑运行时生成
- essential / accidental complexity（本质 / 偶然复杂度） — Brooks 的二分；本文立论 的起点（essential 无界、accidental 已被系统性压低）
- Proposition 2.1（Complexity Scaling） — P(n) ∈ Θ(2^n) 的交互路径上界
- Software 2.0（Karpathy） — 学习权重替代手写逻辑；agentic 系统在其上更进一步
- ReAct / Chain-of-Thought（CoT） — 支持「推理与行动交替 / 显式中间步骤」的证据
- ephemeral instrument（临时工具） — 作者对 agentic 系统中代码角色的称呼
原句摘录
This paper contends that the emergence of AI agents does not merely offer a new tool within the existing paradigm. Rather, it dissolves the very premise on which software engineering was founded. … the role of code changes from the system itself to an ephemeral instrument of reasoning. This shift is as fundamental as the transition from analog circuits to stored-program computers.
This mismatch is the deep structural reason why software projects experience declining marginal productivity as they grow. The traditional response—hierarchical decomposition, modular interfaces, encapsulation—reduces the constant factor but does not change the asymptotic behavior.
Thus, the agentic paradigm decouples solution capacity from human cognitive limits. This is not a 10% improvement; it is a qualitative change in what kinds of problems can be economically addressed.
疑问 / 待查
- P(n) ∈ Θ(2^n) 只给了上界论证，作者也承认真实系统不实现全部配置——「指数壁垒」的现实 分布仍存疑（延伸见 notes.md 待查线索）
- 「C_M 随训练算力指数增长」的论断隐含 LLM 持续 scaling 的假设，若遭遇能力平台期则 2.4 的必然性论证削弱
Backlinks (1)
flowchart LR
n0["ch-0001 凶案、侦探与母亲的信（第 2–163 章）"]
n1["ch-0002 坦白、出逃与和解（第 163–233 章）"]
n2["The Curious Incident of the Dog in the Night-Time 人物"]
n3["The Curious Incident of the Dog in the Night-Time（整理完成）"]
n4["The Curious Incident of the Dog in the Night-Time 笔记"]
n5["The Curious Incident of the Dog in the Night-Time 故事线"]
n6["E-Commerce Bench（整理完成）"]
n7["E-Commerce Bench 笔记"]
n8["part-0001 摘要与引言：一年期电商运营基准（Abstract + §1）"]
n9["part-0002 相关工作与定位：continuing 任务谱系（Table 1 + §2）"]
n10["part-0003 基准设计：四层架构与确定性经济（§3 主体）"]
n11["part-0004 实验结果：18 模型的多维画像（Table 2 + §4）"]
n12["part-0005 结论与参考文献（§5 + References）"]
n13["part-0006 工具集与 agent harness：18 工具与上下文管理（Table 3 + Appendix A）"]
n14["part-0007 数据层：类目、店型、日历与供应商（Appendix B）"]
n15["part-0008 经济引擎：13 步结算与需求/退货/成本公式（Table 7 + Appendix C）"]
n16["part-0009 确定性谈判内核：决策函数与骗局目录（Appendix D）"]
n17["part-0010 评测指标定义：六个维度与统计口径（Appendix E）"]
n18["part-0011 每维度结果导览与模型/实验设置（Table 10 + Appendix F）"]
n19["part-0012 失败案例研究：骗局实录与一次破产（Appendix G）"]
n20["part-0013 失败模式规则表与提示词设计（Table 18 + Appendix H）"]
n21["The End of Software Engineering（整理完成）"]
n22["The End of Software Engineering 笔记"]
n23["part-0001 摘要与引言：范式重构的宣告（Abstract + §1 前段）"]
n24["part-0002 第一性原理：传统软件与 Agent 系统的形式化模型（§1 后段 + §2）"]
n25["part-0003 三代交付史与 AI→Software→Result 的失败（§3.1–3.2）"]
n26["part-0004 Agent→Result 与 Agentic Engineering 学科（§3.3 + §4）"]
n27["part-0005 实证证据与 EvoClaw 落差（§5）"]
n28["part-0006 四阶段演进路线图（前段：表 3 + Stage I–III）"]
n29["part-0007 路线图后段与建议：实践者与研究者（§6.3 后段 + §6.4 + §7.1–7.2）"]
n30["part-0008 组织建议、结论与参考文献（§7.3 + §8）"]
n31["ch-0001 Introduction（为什么做数据可视化）"]
n32["ch-0002 选工具讲你的数据故事（Ch 1）"]
n33["ch-0003 强化电子表格技能（Ch 2）"]
n34["ch-0004 找到并质询你的数据（Ch 3）"]
n35["ch-0005 清洗脏数据（Ch 4）"]
n36["ch-0006 做有意义的比较（Ch 5）"]
n37["ch-0007 图表化你的数据（Ch 6）"]
n38["ch-0008 地图化你的数据（Ch 7）"]
n39["ch-0009 表格化你的数据（Ch 8）"]
n40["ch-0010 嵌入网页（Ch 9）"]
n41["ch-0011 用 GitHub 编辑与托管代码（Ch 10）"]
n42["ch-0012 Chart.js 与 Highcharts 模板（Ch 11）"]
n43["ch-0013 Leaflet 地图模板（Ch 12）"]
n44["ch-0014 转换你的地图数据（Ch 13）"]
n45["ch-0015 识别谎言、减少偏差（Ch 14）"]
n46["ch-0016 讲述并展示你的数据故事（Ch 15）"]
n47["ch-0017 附录 A 排查常见问题"]
n48["Hands-On Data Visualization（整理完成）"]
n49["Reading"]
n0 --> n4
n3 --> n0
n3 --> n1
n3 --> n2
n3 --> n4
n3 --> n5
n5 --> n3
n6 --> n7
n6 --> n8
n6 --> n9
n6 --> n10
n6 --> n11
n6 --> n12
n6 --> n13
n6 --> n14
n6 --> n15
n6 --> n16
n6 --> n17
n6 --> n18
n6 --> n19
n6 --> n20
n21 --> n22
n21 --> n23
n21 --> n24
n21 --> n25
n21 --> n26
n21 --> n27
n21 --> n28
n21 --> n29
n21 --> n30
n22 --> n21
n30 --> n22
n48 --> n31
n48 --> n32
n48 --> n33
n48 --> n34
n48 --> n35
n48 --> n36
n48 --> n37
n48 --> n38
n48 --> n39
n48 --> n40
n48 --> n41
n48 --> n42
n48 --> n43
n48 --> n44
n48 --> n45
n48 --> n46
n48 --> n47
n49 --> n3
n49 --> n6
n49 --> n21
n49 --> n48
click n0 "../../curious-incident/ch-0001/" "ch-0001 凶案、侦探与母亲的信（第 2–163 章）"
click n1 "../../curious-incident/ch-0002/" "ch-0002 坦白、出逃与和解（第 163–233 章）"
click n2 "../../curious-incident/characters/" "The Curious Incident of the Dog in the Night-Time 人物"
click n3 "../../curious-incident/" "The Curious Incident of the Dog in the Night-Time（整理完成）"
click n4 "../../curious-incident/notes/" "The Curious Incident of the Dog in the Night-Time 笔记"
click n5 "../../curious-incident/storyline/" "The Curious Incident of the Dog in the Night-Time 故事线"
click n6 "../../e-commerce-bench/" "E-Commerce Bench（整理完成）"
click n7 "../../e-commerce-bench/notes/" "E-Commerce Bench 笔记"
click n8 "../../e-commerce-bench/part-0001/" "part-0001 摘要与引言：一年期电商运营基准（Abstract + §1）"
click n9 "../../e-commerce-bench/part-0002/" "part-0002 相关工作与定位：continuing 任务谱系（Table 1 + §2）"
click n10 "../../e-commerce-bench/part-0003/" "part-0003 基准设计：四层架构与确定性经济（§3 主体）"
click n11 "../../e-commerce-bench/part-0004/" "part-0004 实验结果：18 模型的多维画像（Table 2 + §4）"
click n12 "../../e-commerce-bench/part-0005/" "part-0005 结论与参考文献（§5 + References）"
click n13 "../../e-commerce-bench/part-0006/" "part-0006 工具集与 agent harness：18 工具与上下文管理（Table 3 + Appendix A）"
click n14 "../../e-commerce-bench/part-0007/" "part-0007 数据层：类目、店型、日历与供应商（Appendix B）"
click n15 "../../e-commerce-bench/part-0008/" "part-0008 经济引擎：13 步结算与需求/退货/成本公式（Table 7 + Appendix C）"
click n16 "../../e-commerce-bench/part-0009/" "part-0009 确定性谈判内核：决策函数与骗局目录（Appendix D）"
click n17 "../../e-commerce-bench/part-0010/" "part-0010 评测指标定义：六个维度与统计口径（Appendix E）"
click n18 "../../e-commerce-bench/part-0011/" "part-0011 每维度结果导览与模型/实验设置（Table 10 + Appendix F）"
click n19 "../../e-commerce-bench/part-0012/" "part-0012 失败案例研究：骗局实录与一次破产（Appendix G）"
click n20 "../../e-commerce-bench/part-0013/" "part-0013 失败模式规则表与提示词设计（Table 18 + Appendix H）"
click n21 "../" "The End of Software Engineering（整理完成）"
click n22 "../notes/" "The End of Software Engineering 笔记"
click n23 "../part-0001/" "part-0001 摘要与引言：范式重构的宣告（Abstract + §1 前段）"
click n24 "./" "part-0002 第一性原理：传统软件与 Agent 系统的形式化模型（§1 后段 + §2）"
click n25 "../part-0003/" "part-0003 三代交付史与 AI→Software→Result 的失败（§3.1–3.2）"
click n26 "../part-0004/" "part-0004 Agent→Result 与 Agentic Engineering 学科（§3.3 + §4）"
click n27 "../part-0005/" "part-0005 实证证据与 EvoClaw 落差（§5）"
click n28 "../part-0006/" "part-0006 四阶段演进路线图（前段：表 3 + Stage I–III）"
click n29 "../part-0007/" "part-0007 路线图后段与建议：实践者与研究者（§6.3 后段 + §6.4 + §7.1–7.2）"
click n30 "../part-0008/" "part-0008 组织建议、结论与参考文献（§7.3 + §8）"
click n31 "../../hands-on-data-visualization/ch-0001/" "ch-0001 Introduction（为什么做数据可视化）"
click n32 "../../hands-on-data-visualization/ch-0002/" "ch-0002 选工具讲你的数据故事（Ch 1）"
click n33 "../../hands-on-data-visualization/ch-0003/" "ch-0003 强化电子表格技能（Ch 2）"
click n34 "../../hands-on-data-visualization/ch-0004/" "ch-0004 找到并质询你的数据（Ch 3）"
click n35 "../../hands-on-data-visualization/ch-0005/" "ch-0005 清洗脏数据（Ch 4）"
click n36 "../../hands-on-data-visualization/ch-0006/" "ch-0006 做有意义的比较（Ch 5）"
click n37 "../../hands-on-data-visualization/ch-0007/" "ch-0007 图表化你的数据（Ch 6）"
click n38 "../../hands-on-data-visualization/ch-0008/" "ch-0008 地图化你的数据（Ch 7）"
click n39 "../../hands-on-data-visualization/ch-0009/" "ch-0009 表格化你的数据（Ch 8）"
click n40 "../../hands-on-data-visualization/ch-0010/" "ch-0010 嵌入网页（Ch 9）"
click n41 "../../hands-on-data-visualization/ch-0011/" "ch-0011 用 GitHub 编辑与托管代码（Ch 10）"
click n42 "../../hands-on-data-visualization/ch-0012/" "ch-0012 Chart.js 与 Highcharts 模板（Ch 11）"
click n43 "../../hands-on-data-visualization/ch-0013/" "ch-0013 Leaflet 地图模板（Ch 12）"
click n44 "../../hands-on-data-visualization/ch-0014/" "ch-0014 转换你的地图数据（Ch 13）"
click n45 "../../hands-on-data-visualization/ch-0015/" "ch-0015 识别谎言、减少偏差（Ch 14）"
click n46 "../../hands-on-data-visualization/ch-0016/" "ch-0016 讲述并展示你的数据故事（Ch 15）"
click n47 "../../hands-on-data-visualization/ch-0017/" "ch-0017 附录 A 排查常见问题"
click n48 "../../hands-on-data-visualization/" "Hands-On Data Visualization（整理完成）"
click n49 "../../" "Reading"