把局部窗口、低秩近似、哈希桶三类稀疏路径放进同一个信息论率失真与频谱分析框架里——滑动窗口保留低频局部依赖但牺牲高频长程信号,线性注意力受 softmax 秩拉伸约束,哈希桶在两者之间通过学习桶分配逼近最优,工程选型应基于任务长度、类型与精度预算联合决策。
把 trace 采样、确定性回放、LLM-as-Judge 评分、回归集版本化、A/B 分流、护栏拦截六件事,串成一条从生产数据到推理回路的全链路闭环。
本文沿着非单调逻辑、TMS 真值维护、Dung 论辩框架、AGM 信念修订四条主线,把信念可错性从哲学语义拉到 Agent 工程可用层,并在自由能原理下做跨域统一,给可废止性一个工程契约式的形式化底座。
把 GPU SKU 选型、NVLink 拓扑、PCIe 通道、HBM 容量、TPU 切片、占位成本、跨域路由七个约束统一为一个调度真相,从单集群多卡到多云 TPU 共存的工程闭环。
把多租户 LLM 限流重新建模为二维 Wasserstein 距离最小化,工程上落地为双层令牌桶 + 加权公平队列 + 突发借据 + 软降级的四件套,补齐流量入口层公平性的工程空白。
用率失真函数与最小描述长度这两个互补视角,把自监督预训练、SFT、DPO/RLHF、对齐税、KV 压缩与模型合并统一为同一族信息论约束,揭示大模型在训练与推理全链路上不断做“隐式压缩”的统一机制。
把工具调用作为主入口之后,Prompt Injection 已从用户层攻击演变为经由 RAG 召回、网页抓取、邮件附件、PDF 内容流入模型上下文的间接注入。本文给出从威胁建模、分层防御、多源校验到 SRE 闭环的工程实战框架,把被 prompt 改写目标这类失败变成可观测、可回滚、可压测的工程事件。
把 Agent 的世界模型压缩、信念状态更新与动作选择,统一映射到 Friston 自由能原理的同一目标函数下,给出预测编码循环、误差驱动学习与主动推理三层架构,证明在长链路、高不确定性任务上比 ReAct、Reflexion 具备更紧的遗憾上界。
当一个应用同时调度数十个 LLM、跨越多家供应商、并在请求级做大小模型级联时,AI Gateway 不再是简单的反向代理——它是一个面向推理经济学与延迟 SLO 双目标的实时调度系统。本文从形式化定义到生产可观测性,给出 2026 年的完整工程路径:协议适配、配额隔离、成本感知权重、级联可验证性,以及给 SRE 的五件可观测性清单。
把 prompt 视作源代码级的一等公民,通过版本化、A/B 试验、评审工作流、CI 门禁、可观测性与一键回滚六大能力,把 LLM 应用行为规约的工程治理做到与代码治理同构。
当语言建模从离散 token 的自回归过程迁移到连续时间扩散过程,真正的范式跃迁不在“如何去噪”,而在“如何定义吸收态、定义前向-反向过程的对偶、定义去噪得分匹配与自回归似然的等价性”——本文用 CTMC 与吸收态理论,把扩散语言模型的训练目标、采样动力学、与自回归的桥接关系,统一在“离散-连续桥接”的范畴下。
把超时熔断与幂等性放在同一个副作用预算框架里讨论,从 HLC deadline 到熔断家族再到 fingerprint 持久化,给出可落地的六层防御清单。
把 agent 系统建模为范畴,行为作为态射、上下文作为自然变换、协议作为伴随函子、资源作为线性类型——五件工具箱共同把 agent 工程从经验工程提升为形式化工程。
把单分位 P99 优化推到多分位 SLO + 多租户 Token-Level Fair Queue + 抢占语义与背压的联合设计,以 SLO Compliance Ratio、Jain's Fairness Index、Type Fairness Ratio 三件度量与一个统一的容量规划公式,给出生产侧可复用的判定与治理闭环。
把量化、WebGPU/Metal 运行时、端云协同、可观测性、隐私合规五件套拼成一个工程子系统,2026 年端侧 LLM 已经从演示特性走向可承载真实生产流量的产品基建。
把 MoE 路由从工程启发式提升为带约束的优化问题,沿着辅助损失、专家正交、容量感知三个里程碑重新叙述这条主线,并以 DeepSeek-V3 与 Qwen3-MoE 的实测作为对照。
把 LLM 输出当不可信输入看待,围绕 schema 验证、解析降级、重试退避、模型分级、可观测性与回归门禁五个层级,让 Agent 工具调用从能用走向敢用。
把置信度校准、误差归因、自评估可靠性建模统一在贝叶斯证据累积与信息瓶颈的数学对象下,给出 Agent 元认知四元组与六条可工程化推论。
把每次大模型请求视为带有质量、延迟与能源约束的资源交易,建立从 Token 功耗计量到绿色调度、可观测性和回滚治理的生产闭环。
把 trace 四元组、span 层级、cost 归因、eval 闭环作为最小抽象,从 OpenTelemetry+OpenLLMetry+GenAI semconv 三条标准化线索,到 LangSmith/Langfuse/Helicone/Phoenix/Arize 五家产品工程真相,落到自托管 vs SaaS 决策树与给 SRE 的可观测性清单。