LIANG.WORLD

以“控制权分配”为第一性轴线，拆解 DSH、Codex、Claude Code、OpenCode、Pi、Hermes 六种 Agent Harness 的运行时架构，比较 Loop 控制权、扩展深度、安全边界与系统自重，回答“框架把多少运行时控制权留在内核，又把多少交给插件与调用者”。

提出面向数学推理的动态多尺度单元架构 MonadFlow：放弃以固定词表预先决定计算粒度的强先验，将字节流无损映射为随上下文动态生成的多尺度 Monad，并依据任务难度非均质分配算力，首先在消费级 GPU 上完成机制存在性证明。

1970 年，马蒂亚谢维奇终结了希尔伯特第十问题；2026 年，他仍在阅读 AI 生成的数学手稿。本文从 722 篇手稿、孙智伟的 86 个未知数与“全知判定器不存在”的证明出发，追问 AI 时代数学家的位置。

一份覆盖 196 篇文献的灯塔综述：当 MATH-500 逼近满分、FrontierMath Tier 4 被刷到 97.6%，我们是否真的更懂数学了？本文用覆盖度、可靠度、可达度三把尺子，重建大模型数学能力的五层塔，并以 2026 年秋天 OpenAI 722 篇手稿、AlphaProof Nexus 与 27 位菲尔兹奖得主的联名信为案例，追问分数从哪里来、信任又去了哪里。

2026 年 10 月，当 AI 以流水线生成数学证明、以 Lean 内核取代人脑核查时，“理解”在数学中还剩下什么位置？本文从词源学、三次数学危机、具身认知与延展心智出发，提出六层理解框架与可观测判据，论证“形式正确性 ≠ 理解 ≠ 数学知识”，并以 OpenAI 722 篇手稿、Navier–Stokes 语义忠实性之争与 25 位菲尔兹奖得主联合声明为案例，回答数学的危与机：不是定理，不是证明，是理解本身。

两个月，一家三十年老店，一排货架的物理重量。一篇带着研究问题走进永旺管理培训生岗位的职业复盘：从冰红茶与客流观察，到“误差如何转化为劳动强度”的答案雏形；从离开的三个判断，到试错、定力与职业选择的三个过滤器。行业数据均标注口径与出处。