# 数学创新范式手册（Historical Innovations Schema Library） > 给 brainstorm agent 显式调用的"历史突破手法库"。每条 case 含 ① 原问题、 > ② 不显然的招数、③ 为何 work、④ 可迁移 schema、⑤ 适用条件。 > 让 agent 不靠"自己想"发明新对象，而靠"类比 + 替换变量"调用现成 schema。 > > 版本：v1.0（2026-05-29，math-deep-dive v1.7 Phase 0.5 配套）。 > **目标**：每跑 Template 1 时 Innovation Scanner 必读本文件，挑 3-5 条候选 schema 应用。 ## 使用方法 每条 case 的核心是 **Schema 段**——一行抽象规则，可机械替换变量。例： > Bombelli/Euler i 的 schema："**当某算法在你的数域内推出不可能对象但形式上自洽时， > 不要拒绝这个对象，扩域接纳它，把它当一等公民研究。**" 把"算法 = Cardano 三次公式" / "数域 = ℝ" / "不可能对象 = √(-1)" 抽象掉后， schema 适用于**任何**"形式推导给出禁果"的情形。例如： - BV 第二阶矩 unconditional 没有，但 Maynard sieve 形式上 demands 它 → 把它当 placeholder 公理引入，研究"若有"的世界 - p-adic L 函数在某些点没定义，但 Iwasawa 主猜想 demands 一个值 → 引入 special-value - Connes embedding 在某些情形未知，但 free probability demands → 把"假设 embeds"当公理 --- ## CASE 1：Bombelli / Euler — 虚数 i（1572 / 1748） ### 原问题 Cardano 三次方程公式在某些情形（"casus irreducibilis"）会经过 $\sqrt{-1}$ 才能算出**真实**的实数根。当时人们认为这是"公式坏了"。 ### 不显然的招数 Bombelli **不拒绝** $\sqrt{-1}$，定义 $i^2 = -1$ 当形式符号操作。Euler 后来证明 $e^{i\pi}+1=0$，把它接进解析框架。Gauss 给出复平面几何解释 → 复变函数论 → 整个 19-20 世纪解析的根基。 ### 为何 work 公式自洽性比"哲学上是否合理"更重要。如果一个不可能对象在形式操作中遵守一致规则，**它存在**（在新的、扩大的世界里）。 ### Schema（可迁移） > **当某算法 / 公式在你的数域 / 对象集内推导出不可能对象但形式上自洽时， > 不要拒绝这个对象。扩域接纳它，定义其运算规则，把它当一等公民研究。 > 它的几何 / 解析意义会在后续浮现。** ### 适用条件 - 现有形式推导被某"不可能性"卡住 - 这个"不可能"在更广义结构里是 well-defined 的（不是真矛盾） - 引入它后下游计算变 cleaner ### 现代未实现的可能应用 - 把"具体没找到的常数 $C_1$"当形式符号引入，研究"若存在则..."的世界（Riemann/paper2 的 $C_1$ 困境本可这么做） - 把 "Selberg parity barrier" 的反例当形式存在，看 sieve 假设它会得到什么 --- ## CASE 2：Dedekind — 理想 ideals（1871） ### 原问题 在 $\mathbb{Z}[\sqrt{-5}]$ 等数域里唯一因子分解失败：$6 = 2 \cdot 3 = (1+\sqrt{-5})(1-\sqrt{-5})$。Kummer 早提出 "ideal numbers" 救场但定义模糊。 ### 不显然的招数 Dedekind 不去找"缺失的素元"，**把整个集合的概念升一级**：理想是元素的**子集**（满足吸收性），素理想替代素元。原数 $\alpha$ 对应主理想 $(\alpha)$；非主理想对应"缺失的素元的痕迹"。 ### 为何 work 通过把"对象"换成"对象生成的子集"，破坏的算法（唯一分解）在新的对象层面自动恢复。这是后来 Grothendieck "用上一层结构看下一层"的范式起源。 ### Schema > **当某性质 P 在层 L 失败时，不要修补 L，而是 ascend 到层 L+1（L 的子集 / 子结构 / > 函子），在 L+1 上 P 自动恢复。原 L 的对象通过"嵌入"映入 L+1。** ### 适用条件 - 某性质（唯一性 / 收敛 / 自洽）在自然层失败 - 你能想到一个"由原对象生成"的更大集合上 P 重新成立 - 这种嵌入是 functorial 的（保持运算） ### 现代未实现的可能应用 - 当某显式不等式在整数上失败但在分布意义下成立 → 用分布对象替代点对象 - 当某 averaging 失败但 essential averaging 成立 → 用 ess.sup. 而非 sup - 函数域 Legendre 命题在 $q \le 2d$ 失败 → 用 slice 而非整 polynomial（已实现） --- ## CASE 3：Galois — 群论作为对称性（1832） ### 原问题 高次方程根式可解性问题。Abel 已证 5 次以上一般不可解，但**为什么**？无系统理论。 ### 不显然的招数 Galois 不研究方程本身，**研究方程根的对称群**。可解性翻译成群的"可解性"（normal series 的因子是 abelian）。问题从"算"变成"结构"。 ### 为何 work 方程是表象，对称是骨架。把问题翻译到对称语言后，可解性变成群论问题，5 次群 $S_5$ 不可解→方程不可解。 ### Schema > **当问题在"对象本身"上看不出结构时，研究该对象的**自同构 / 对称变换**形成的群 / > 范畴。把原问题翻译成该群 / 范畴的性质，往往一翻译就 trivial。** ### 适用条件 - 对象有非平凡的对称性（哪怕只是 ad hoc 的） - 你的问题对该对称封闭（"P 对 sym 不变"） - 已有抽象代数 / 范畴语言能表达这些对称 ### 现代未实现的可能应用 - Riemann 零点的对称（$s \mapsto 1-s$）形成的群，它表示论里 RH 是什么？ - Goldbach 表法数 $r(n)$ 在 $n \mapsto 2N-n$ 下不变；这个 $\mathbb{Z}/2$ 作用的不变环是什么？（已部分用 — Goldbach reflection lemma） - 把 sieve weight 的对称群显式提取 → 找未利用的对称约束 --- ## CASE 4：Cantor — 集合论 + 超穷数（1874） ### 原问题 傅立叶级数的唯一性问题：什么样的点集上级数可以重新定义而不改？需要分类"奇异点集"。 ### 不显然的招数 Cantor 不解决原问题，**把无穷当作具体对象研究**：$\aleph_0, \aleph_1, ...$ 序数 / 基数算术。"实数比自然数多"用对角线证。后来发现"无穷的层级"是数学基本结构。 ### 为何 work 把"无穷"从形容词（如"无穷多个"）变成名词（一个具体可比较的对象）后，整个分析 / 拓扑 / 集论都重新组织。"具体化抽象"是高阶招数。 ### Schema > **当问题涉及"无限多个 X"或"所有可能 Y"时，不要把它当形容词，把整个总体 > **包装成一个对象**（集合 / 类 / 范畴 / topos）。研究对象间的关系（基数 / 等价 / > 同构）。原问题往往退化为对象的性质。** ### 适用条件 - 问题陈述含 "所有" / "无穷多" / "任意" - 这些 totality 之间有自然映射（包含 / 双射） - 这些映射 forms 一个结构（partial order / category） ### 现代未实现的可能应用 - 把"所有满足 P 的 prime 集合"包装成 $\mathfrak{P}_P$，研究 $\mathfrak{P}_P$ 之间的 functor - 把"所有可能的 Goldbach decomposition"包装成 motivic 对象 --- ## CASE 5：Riemann — 黎曼面 / 内禀流形（1854） ### 原问题 多值函数（如 $\sqrt{z}$）在复平面上不连续，怎么办？ ### 不显然的招数 Riemann **改变定义域**：不让函数多值，而让定义域多层。$\sqrt{z}$ 在两层粘起来的"Riemann 面"上是单值。同时把"几何空间"从"嵌在 $\mathbb{R}^n$ 里"改成**内禀** intrinsic（用 local charts + transition functions 定义）。 ### 为何 work "对象"和"对象住在哪里"是两件事。改变 ambient space 可以让奇异变 regular、多值变单值、不可微变可微。Riemann 内禀化为整个 20 世纪几何（复几何 / Riemannian / 微分流形 / 代数几何）开了路。 ### Schema > **当对象在自然 ambient space 里有缺陷（不连续 / 多值 / 奇异 / 边界）时， > 不要 fix 对象，**重新定义对象的 ambient space**（粘合 / 延伸 / 内禀化）。 > 在新 space 上对象 well-behaved，原问题自动消失。** ### 适用条件 - 对象有"病态"（多值 / 奇异 / 不解析） - 病态来自 ambient space 的限制（不是 intrinsic 的） - 你能想出一个粘合 / 扩展 / 商空间让 ambient 适应对象 ### 现代未实现的可能应用 - $\zeta$ 函数在 $s=1$ 奇异 → 把 $\zeta$ 当作 motivic / Deninger 流上的全纯对象（Deninger 已尝试） - 二次剩余特征和的不连续 → 找一个 sheaf 让它 represent 为切片 - 模形式的 q-expansion 在 cusps 奇异 → 用 toroidal compactification（已实现，Mumford / Faltings） --- ## CASE 6：Riemann — ζ 解析延拓（1859） ### 原问题 $\zeta(s) = \sum n^{-s}$ 仅对 $\Re s > 1$ 收敛。但素数定理要求 $\zeta$ 在 $s=1$ 附近的行为。 ### 不显然的招数 Riemann 用 **functional equation** $\zeta(s) = \chi(s) \zeta(1-s)$ 把 $\zeta$ 唯一延到 $\mathbb{C} \setminus \{1\}$。原本"无意义"的 $\zeta(-1) = -1/12$ 现在有定义。零点全跑到复平面 → 素数定理证明。 ### 为何 work "形式上有意义但收敛域窄"的对象，往往承载更深结构。**用对称 / functional equation 强制延拓** 是把这个深结构挖出来的标准招数。 ### Schema > **当对象 (函数 / 级数 / 算子) 仅在域 D 内 well-defined，但**形式对称性 / functional > equation** 把它跟 D 外的值绑定时，用这个对称强制延拓，研究新域上的行为。 > 原本"无意义"的取值往往是真正深的信息。** ### 适用条件 - 对象有自然 functional equation / 对称变换 - 在收敛域内对称是 trivially true - 用对称做唯一延拓在文献里已有先例（如 modular forms 的 functional eq.） ### 现代未实现的可能应用 - L 函数家族的 functional equation 早被开发，但 multiple L-functions 或 height pairings 的延拓不完整 - p-adic L 函数 (Iwasawa) 的延拓性质仍有 conjectural piece (e.g. zeros) --- ## CASE 7：Fourier — 傅立叶级数（1822） ### 原问题 热传导方程 $\partial_t u = \Delta u$ 在矩形上的边界值问题。 ### 不显然的招数 Fourier **断言任意函数可写成 $\sum a_n \sin nx$**（同时代数学家如 Lagrange 强烈反对，因为缺收敛证明）。但他的物理结果对，且形式上推开了用频域分解函数的范式。后人补严收敛理论（Dirichlet / Riemann / Lebesgue / Carleson）。 ### 为何 work "任意对象都是简单对象的（无限）叠加" 是极其强大的范式。代数延伸到 representation theory；几何延伸到 sheaf cohomology；信号延伸到 wavelet / compressed sensing。 ### Schema > **断言"任意 X 是简单 X 的（无限）线性组合"，找一组**正交 / canonical 基**。 > 用基上系数转化"未知 X 的性质"为"系数序列的性质"——后者通常远易处理。 > 即使收敛证明暂缺，断言推动后人补。** ### 适用条件 - X 的总体形成线性空间（or 范畴上有自然加法） - 有自然内积 / pairing 让你定义"正交" - 简单 X 的家族能 span 整个空间（密度可后证） ### 现代未实现的可能应用 - 算术函数 $f: \mathbb{N} \to \mathbb{C}$ 的 Dirichlet 系数 / Mellin 展开（部分已有，但缺统一基） - 素数分布 $\pi(x)$ 的"基本波"分解（Riemann explicit formula 是这方向，但只用零点；还有别的基吗？） --- ## CASE 8：Volterra / Hilbert — 泛函 / 无穷维（1900s） ### 原问题 变分法、积分方程、本征值问题缺统一框架。 ### 不显然的招数 **把函数视为"无穷维空间里的点"**。函数空间（$L^2$、Hilbert space）有内积、有正交基、有算子作用。线性算子的本征值理论像有限维线性代数。微分方程变成"找算子的特征向量"。Banach 进一步扩 abstract 空间。 ### 为何 work 有限维线性代数的几何直觉（向量、距离、投影、本征基）可以**机械搬到无穷维**。把"函数 = 点 / 算子 = 矩阵"翻译后，PDE / 谱论 / 量子力学 / 概率全部 unify。 ### Schema > **当问题里出现"无穷多个相互关联的对象"（如函数 / 序列 / 算符）时，把整个家族 > 包装成**赋范空间 / Hilbert 空间**，原问题翻译成空间里的几何 / 算子论问题。 > 有限维直觉机械搬过去，往往直接出 framework。** ### 适用条件 - 对象有自然加法 + 标量乘 - 有自然范数 / 内积 - 算子作用满足线性 ### 现代未实现的可能应用 - Goldbach 表法数 $r$ 作为 $L^2(\mathbb{Z})$ 里的元素，singular series 是哪个算子的本征值？ - Selberg parity barrier 在 sieve weights 形成的算子代数里是什么 spectral gap？ --- ## CASE 9：Lebesgue — 测度论 + 积分（1902） ### 原问题 Riemann 积分不能交换极限与积分（dominated convergence 失败），无法处理大量函数族。 ### 不显然的招数 Lebesgue **重新定义"什么集合可测"**（σ-代数 + 测度），然后**重新定义积分**（按 y 轴而非 x 轴切片）。结果：dominated convergence theorem + Fubini + 几乎处处收敛 一切自动得到。 ### 为何 work 原积分定义里的"病态"实际来自 ambient（实数轴的 cell partition）限制。换 ambient 概念（measurable sets）+ 换计算路径（horizontal slicing），所有 limit-related 性质自动 free。 ### Schema > **当某操作（积分 / 极限 / 求和）在自然定义下与其他操作（交换 / 收敛 / Fubini） > 不兼容时，**重新定义底层概念**让兼容性 free。不要给老定义打补丁。** ### 适用条件 - 不兼容性是系统性的（不是少数 pathology） - 你能想出一个底层重定义让目标兼容性自动成立 - 重定义在主要例子上和老定义重合 ### 现代未实现的可能应用 - $r(n)$ 的"平均"在小尺度有 noise；引入 essential / Cesàro / regularized average 让 limit 自动收敛（已部分实现） - 计算复杂度的"average case"在最坏 input 下病态；引入 smoothed analysis（已实现，Spielman-Teng） --- ## CASE 10：Schwartz — 分布 / 广义函数（1944） ### 原问题 δ 函数（点质量）、$1/x$ 主值、$\partial_x \theta$（阶梯函数导数）—— 物理用得欢，数学上"不是函数"。 ### 不显然的招数 Schwartz **把 δ 当作"作用在测试函数上的连续线性泛函"**（不是函数本身，而是函数空间的**对偶**对象）。所有原本"非函数"的对象都获得了合法身份。微分 / 卷积 / Fourier 全部扩展到分布。 ### 为何 work 对象本身可能病态，但它**对 well-behaved 对象的作用**（pairing）总是 well-defined。"把对象用 pairing 定义"是 functional analysis / 同调代数 / scheme theory 的反复 motif。 ### Schema > **当某对象 X 本身"不存在"或病态，但它**对一类好对象 Y 的作用**总良定义时， > 把 X 重新定义为"在 Y 上作用的泛函"（Y 的对偶）。原 X 的所有操作通过 pairing > 自动延伸。** ### 适用条件 - X 的"naive 定义"病态 - 存在 well-behaved 测试对象类 Y - X-on-Y 的 pairing 对所有 Y 都有意义且连续 ### 现代未实现的可能应用 - "p-adic μ 测度"在某些 prime 病态，作为 p-adic 测试函数的对偶定义（已实现，p-adic distributions） - 拟自守 representation 的 distributional character（已部分实现，Harish-Chandra） --- ## CASE 11：Grothendieck — 概形 schemes（1960） ### 原问题 代数几何里 affine variety 的定义依赖 algebraically closed field；非闭域 / 非约化情形（如 $\text{Spec}\, \mathbb{Z}/4$）"不是 variety"。Weil 猜想需要把数论和几何统一。 ### 不显然的招数 Grothendieck **把"affine variety"重新定义为 "commutative ring 的 spectrum"**。$\text{Spec}\, R$ 的点 = $R$ 的素理想；topology = Zariski；structure sheaf = $R$ 本身在 sheaf 化后。 - $\text{Spec}\, \mathbb{Z}$ 突然是 "1-维 scheme" - $\text{Spec}\, \mathbb{Z}/4$ 是 "non-reduced scheme" - Frobenius、Galois、p-adic geometry 全部自动收纳 ### 为何 work "对象 = 函数代数" 的对偶。**研究对象 = 研究其函数环**。这种对偶（contravariant 等价：geometric 范畴 ≅ algebraic 范畴 opposite）让几何工具自动适用于纯代数对象，反之亦然。 ### Schema > **当两个领域看似无关但**对象-函数关系**结构相同时，建立 contravariant 等价： > 几何范畴 ≅ 代数范畴^op。一边的工具自动可用到另一边。新对象（如 non-reduced） > 在新框架里 free 出现。** ### 适用条件 - 有两个候选范畴（一个"具体" / 一个"抽象"） - 几何对象 ↔ 它的函数环（或类似）有自然双向映射 - 双向映射保持局部结构（sheaf-like） ### 现代未实现的可能应用 - 把"prime gap 分布"的几何 ↔ 某个 noncommutative ring 的 algebraic 双向对偶 - Polymath / Maynard sieve 是否有"sieve scheme"？ --- ## CASE 12：Connes — 非交换几何（1980s） ### 原问题 Gelfand 等价：紧 Hausdorff 空间 ↔ 交换 $C^*$-代数。但**非交换** $C^*$-代数也想被几何化（量子力学 / foliation / 数论）。 ### 不显然的招数 Connes **抛弃几何空间的"点集"概念**，把"非交换 $C^*$-代数 = 非交换空间"。点不再是 first-class，**算子代数**才是。开发了 cyclic cohomology / spectral triples 取代 de Rham 上同调。Riemannian geometry 类比 + 非交换。 ### 为何 work "空间"这一直觉概念太具体了。**用结构（代数）而非元素（点集）定义空间**，自动包含量子 / foliation / 数论谱等"无点"空间。Galois / Spec 已经是这条路，Connes 推到极致。 ### Schema > **当某对象在 commutative 假设下被研究透了，**drop commutativity** 看会出现什么。 > 通常会出现一个全新的几何 / 拓扑 / 概率理论。** ### 适用条件 - 对象本身有自然代数结构（环 / 群 / 算子） - 该代数 commutative 时已有完整理论 - non-commutative 推广在物理 / quantum 里出现过 ### 现代未实现的可能应用 - "non-commutative prime numbers"？quantum analog of Riemann zeta？（Connes 自己探索过） - "non-commutative Goldbach"：表法不再 abelian sum 是什么？ --- ## CASE 13：Erdős — 概率方法（1940s） ### 原问题 Ramsey 数 $R(k,k)$ 的下界。直接构造极困难。 ### 不显然的招数 Erdős 不构造，**证明随机对象大概率有想要的性质**。$R(k,k) > 2^{k/2}$ 用 random graph 直接出来。"存在性 via 随机"成为整个组合 / 数论 / TCS 的通用工具。 ### 为何 work **"概率"不是物理随机，是计数工具**。算"满足 P 的对象比例 > 0" 等于"存在"。直接构造往往要全部组合细节，概率证明只要全局期望。 ### Schema > **当直接构造对象 X 太难时，证明"随机选 X 的概率 P(X 满足条件) > 0"。 > 等价于存在性。配合 Lovász local lemma / 二阶矩 / 浓度不等式可以处理更精细的情形。** ### 适用条件 - 对象 X 有自然的随机模型（无明显对称性破缺） - 你能算或界 P(条件成立) 的下界 - 满足条件的 X 不止一个（否则随机找不到） ### 现代未实现的可能应用 - 大量已被使用（sphere packing / coding / extremal combinatorics / number theory via random） - 仍未充分用：随机 sheaves / 随机 schemes / 随机 representation 找最优表示 --- ## CASE 14：Furstenberg — Correspondence Principle（1977） ### 原问题 Szemerédi 定理：任意正密度自然数子集含任意长度等差数列。Szemerédi 原证组合，长 & 极难。 ### 不显然的招数 Furstenberg **把组合问题翻译成 ergodic theory 问题**：density-arithmetic 等价于动力系统的 multiple recurrence。然后用 measure-theoretic ergodic theorem（已经成熟）证。开发整个 ergodic Ramsey theory。 ### 为何 work **不同领域成熟的工具可以通过精确翻译解决另一领域的硬问题**。前提是翻译保结构（不是肤浅类比）。 ### Schema > **当 A 领域的问题硬时，找一个 B 领域**对偶 / 等价**的陈述，用 B 的成熟工具解。 > 关键是翻译要 forms equivalence（双向蕴含），不是单向类比。** ### 适用条件 - A 和 B 是不同传统的领域 - 你能给出 A 命题 ↔ B 命题的精确双射 / 同构 / 等价 - B 的工具远比 A 成熟 ### 现代未实现的可能应用 - 大量在用（Green-Tao, additive combinatorics ↔ ergodic; sphere packing ↔ representation theory） - 仍未充分用：把 TCS 复杂度问题翻译成 algebraic geometry / Hodge theory --- ## CASE 15：Langlands — 程序（1967） ### 原问题 Galois 表示（数论侧）和 automorphic forms（解析侧）形式上有相似性，但没有理论桥梁。 ### 不显然的招数 Langlands **大胆猜想**：所有 Galois 表示由 automorphic representation 对应。L-函数从两侧 match。**程序本身没有证明**，但提供了 unifying vision 推动了 50 年研究。Wiles / Fermat 大定理是其一小部分（modular ↔ elliptic）。 ### 为何 work **Conjectural framework with precise predictions** 是动员社区的有力工具。即使整体猜想几十年未证，每个 small case 都推进单独的领域。 ### Schema > **当你看到两个领域有形式上的相似性时，不要"再看看"，**写一个明确的双向 dictionary** > 并大胆猜测它全是对应的。每条 entry 都是一个 testable conjecture。整体没证明也无所谓—— > 推动 small cases 就行。** ### 适用条件 - 两领域成熟但传统隔离 - 形式相似性涉及多个核心对象（不止一个） - 至少 1-2 个 small case 已知（作为 anchor） ### 现代未实现的可能应用 - "geometric Langlands"（已活跃） - "p-adic Langlands"（部分实现，Colmez / Emerton / Breuil） - TCS 复杂度类之间的 "complexity Langlands"？ --- ## 元 schema（高阶模式） 读完 15 case 后，你会注意到反复出现的高阶招数： 1. **Ascend a level**（Dedekind ideals, Cantor sets）— 上一层结构看下一层 2. **Define by pairing / duality**（Schwartz distributions, Grothendieck schemes, Connes NCG）— 对象 = 它对好对象的作用 3. **Drop a "comfortable" axiom**（Hamilton commutativity, non-Euclidean parallel, Connes NCG）— 删一条公理看新世界 4. **Embed in larger ambient**（Riemann surfaces, complex extensions for ℝ problems）— 改变住的空间 5. **Translate to mature domain**（Furstenberg, Langlands, Galois）— 用 B 领域工具解 A 领域问题 6. **Treat infinite as concrete**（Cantor, Hilbert spaces, Fourier）— 无穷做名词不做形容词 7. **Existence via probability**（Erdős）— 不构造，证明 P > 0 8. **Force extension via symmetry**（Riemann ζ analytic cont）— 用 functional eq. 唯一延拓 9. **Replace points with functors / sheaves**（Grothendieck, Connes, modern algebraic geometry）— 点不重要，态射重要 10. **Conjectural unification**（Langlands）— 写 dictionary，逼 community 验证 Innovation Scanner agent 的工作 = 给定新问题，扫描这 15 case + 10 元 schema，挑 3-5 个最 promising 的应用到新问题上。 --- ## 引用 如果在论文 / 报告里提及本 schema，请： - 引用原 inventor + 年份（每条 case 顶部） - 标注 schema 来自 `multi-agent-research/historical_innovations.md` v1.0 --- ## 维护 未来可加 case（按"产生过新领域"标准筛选）： - Cohen forcing（model theory + set theory） - Atiyah-Singer index theorem（topology ↔ analysis） - Lurie ∞-categories（homotopy 的 refound） - Voevodsky univalent foundations / HoTT（equality 重定义） - Mirror symmetry（physics ↔ algebraic geometry） - Witten Morse 复 / TQFT - Tao Furstenberg + Green ergodic-combinatorial - Maynard sieve（GPY + multi-dim 优化融合） 每加一条遵守 5-字段模板：原问题 / 不显然招数 / 为何 work / Schema / 适用条件 + 现代未实现应用。