2026-10-09 校核：数学措辞修正：求导须满足可微性；“无初等原函数”不等于无法积分。标准正态分布的累积分布函数可用 erf 表示，全实轴积分为 1，见 NIST DLMF §7.2。局部/全局的比喻是 作者观点，不能由此证明所有系统设计或 LLM 的分析能力高于综合能力。
Synthesis is harder than Analysis
Author: Lorin Hochstein (Surfing Complexity)
HN Points: 128 (up from 77 at collection) | Comments: 18
Published: 2026-07-03
核心论点
微分（分析）是局部操作，积分（综合）是全局操作。局部比全局容易得多。
原文引用：
“Differentiation is a ‘local’ operation: to compute the derivative of a function at a point you only have to know how it behaves in a neighborhood of that point. But integration is a ‘global’ operation: to compute the definite integral of a function in an interval you have to know how it behaves on the entire interval.”
“Generally, local things are much easier than global things.”
分析（Analysis）
- 把大问题拆成小问题，每个小问题更局部 → 更容易解决
- 对应微分：有算法可循，对由可微基本运算组成的表达式，可以按求导规则计算导数；不可微点和任意函数不在此保证内
- 工程原则：封装、关注点分离，都是为了让问题局部化
综合（Synthesis）
- 把局部解决方案组合成整体系统
- 对应积分：初等原函数未必存在；高斯函数的原函数可用 erf 表示，定积分可用解析或数值方法求值
- 这也是为什么系统设计 > 问题分解
对我们意味着什么
Agent 设计启发
- 待检验的 LLM 类比：局部上下文与分析/综合的类比可以提示评测方向，但不足以证明 LLM 在 debug、review、问答中的能力来源或普遍优势
- 综合是 LLM 的真正瓶颈：把多个发现组合成连贯方案、长程规划、跨 session 推理——这些需要全局理解，正是当前上下文窗口限制的核心痛点
- 多 Agent 架构的意义：不同 Agent 各自做局部分析（各自擅长领域），由 orchestrator 做综合——这正是 Manas 的角色定位
Incident Analysis 启发
- Lorin Hochstein 是知名的事故分析专家（前 Netflix 韧性工程）
- 这篇其实是把 incident analysis（局部根因分析）和系统修复（全局综合）的哲学差异用微积分做类比
- Root cause analysis 是”微分”——局部的事故断点分析
- System redesign 是”积分”——把修复方案综合到整体架构中
技术引用
- 原文引用 Mathematics Stack Exchange 高赞回答（Qiaochu Yuan）关于”为什么积分比微分难”的讨论
- 自动微分（automatic differentiation）是 LLM 训练的核心技术