二元加性的 parity 墙：从 Hardy-Littlewood 圆法到 Pintz 例外集 | 2026-05-23
强 Goldbach 猜想（1742）：每个大于 2 的偶数都可以写成两个素数之和，即
$$\forall\, n \in 2\mathbb{Z}_{>1},\quad \exists\, p, q \text{ 素数},\quad n = p + q.$$引入 Goldbach 表示数
$$r_2(n) \;:=\; \#\bigl\{(p, q) : p, q \text{ 素},\; p + q = n\bigr\}.$$强猜想等价于：$r_2(n) \ge 1$ 对所有偶数 $n > 2$ 成立。
弱 Goldbach 猜想（三元版）：每个大于 5 的奇数都是三个素数之和。已由 Helfgott（2013）无条件证明。
例外集：令 $E(X) := \#\{n \le X : n \text{ 偶},\; r_2(n) = 0\}$。强猜想 $\Leftrightarrow$ $E(X) = 0$（对所有充分大 $X$）。
Hardy–Littlewood 启发式主项：对偶数 $n$，
$$r_2(n) \;\sim\; \mathfrak{S}(n) \cdot \frac{n}{(\log n)^2},$$ $$\mathfrak{S}(n) \;=\; 2C_2 \prod_{\substack{p \mid n \\ p > 2}} \frac{p-1}{p-2}, \qquad C_2 \;=\; \prod_{p > 2}\!\Bigl(1 - \frac{1}{(p-1)^2}\Bigr) \;\approx\; 0.6601.$$强 Goldbach 已数值验证到 $n \le 4 \times 10^{18}$（Oliveira e Silva, 2014）。理论上仅知 $r_2(n) \ge 0$ 对"几乎所有"偶数成立（$E(X) = O(X^{0.7})$），距离 pointwise 结论仍有本质鸿沟。
三元：主项 $\gg n^2 / (\log n)^3$，minor arc $\ll n^2 / (\log n)^A$ — 主项赢。
二元：主项 $\sim n / (\log n)^2$，minor arc 余项同量级 — 无法分离。
这一数量级差距是 ternary 可证、binary 未证的根本原因。
Hardy–Littlewood 圆法（1923）将 $r_2(n)$ 表示为指数和积分：
$$r_2(n) \;=\; \int_0^1 S(\alpha)^2 e^{-2\pi i n\alpha}\, d\alpha, \qquad S(\alpha) \;=\; \sum_{p \le n} e^{2\pi i p\alpha}.$$将 $[0,1)$ 分为 major arcs（$\alpha$ 接近有理数 $a/q$，$q$ 小）和 minor arcs（其余）。
在 major arc $\alpha \approx a/q$ 附近，$S(\alpha)$ 近似为 Gauss 和乘以 $\text{Li}(n)$ 型积分，汇总后得到奇异级数：
$$\mathfrak{S}(n) \;=\; \prod_{p \mid n,\, p>2} \frac{p-1}{p-2} \cdot 2C_2.$$注意 $\mathfrak{S}(n) \in [1, 2]$ 对几乎所有偶数 $n$ 成立，对 $6 \mid n$ 时更大（因为更多素数整除 $n$，乘积项更大）。
若能证明 minor arc 积分 $\ll n (\log n)^{-2-\epsilon}$，即可获得 $r_2(n) > 0$。但目前最好的 minor arc 估计（基于 Vinogradov 均值定理、Bombieri–Vinogradov 等）给出的余项与主项同阶，故圆法在 binary Goldbach 中无法闭合。
三元情形的 minor arc 可以用指数和方法（Vinogradov 均值定理）压成比主项小的量；二元情形缺少一个 $n$ 的额外因子，这个因子恰好是 ternary 圆法里第三个素数提供的积分维度。
Goldbach 强猜想的核心障碍是 Selberg（1949）揭示的 parity barrier（奇偶墙）：
线性筛（以及一大类乘性函数方法）无法区分"$n = p + q$（两个素数）"与"$n = p \cdot r$（素数乘半素数）"。筛法看到的是 Mobius 函数 $\mu$ 的一次矩，而 $\mu$ 对 $\Omega(n) = 1$（素数）和 $\Omega(n) = 2$（半素数）给出相同符号。
形式地：任何上界筛 $\lambda_d$ 在估计 $\sum \lambda_d \mathbf{1}_{n-p \text{ prime}}$ 时，无法将 "$n-p$ 是素数" 与 "$n-p$ 是两素数积" 在主项层面区分。
这正是 Chen（1966）只能到 "1+2"（$n = p + q_1 q_2$ 或 $p + q$）而无法到 "1+1" 的原因。Chen 定理是迄今最接近 Goldbach 的纯筛法结果，而它恰好停在 parity barrier 的边缘。
突破 parity barrier 需要某种非乘性的解析结构，目前没有候选工具。
Oliveira e Silva（2014）：借助分布式计算，验证每个偶数 $4 \le n \le 4 \times 10^{18}$ 均有 Goldbach 表示。这是迄今最大数值验证。
GoldbachGPU（Llorente-Saguer, 2026）：arXiv:2603.05550 + 2603.02621，利用现代 GPU 并行架构，目标将验证范围推至 $10^{25}$（或至少 $10^{20}$）。
$r_2(n)$ 与启发式的吻合：在 $n = 10^9$ 量级，实测 $r_2(n)$ 与 $\mathfrak{S}(n)\, n / (\log n)^2$ 的误差约 1%，提供了强经验证据，但不构成证明。
$4 \times 10^{18}$ 是极大的数字，但从渐近分析角度 $\log(4 \times 10^{18}) \approx 43$，仍是"小参数"区域。强猜想是对所有 $n$ 成立，而不仅对"足够大的 $n$"，故数值验证和理论证明是完全不同性质的工作。
| 年份 | 作者 | 结果 |
|---|---|---|
| 1742 | Goldbach（致 Euler 信） | 猜想原始表述（每偶数 $\ge 4$ 是两素数和） |
| 1923 | Hardy–Littlewood | 圆法 + GRH 假设证 ternary Goldbach；奇异级数 $\mathfrak{S}(n)$ 公式 |
| 1937 | Vinogradov | 无条件证 ternary Goldbach 对充分大奇数（指数和方法） |
| 1939 | Schnirelmann | 每偶数是至多 $K$ 个素数之和（$K$ 有效常数） |
| 1953 | Linnik | 每偶数 $= p + q + 2^{a_1} + \cdots + 2^{a_K}$，$K$ 有效 |
| 1966 | Chen Jingrun | "1+2"：每充分大偶数 $= p + P_2$（$P_2$ 至多两个素因子） |
| 1975 | Montgomery–Vaughan | $E(X) = O(X^{1-\delta})$，$\delta = 0.05$（例外集首个非平凡上界） |
| 1995 | Ramaré | 每偶数是至多 6 个素数之和（无条件） |
| 2013 | Helfgott | 弱 Goldbach（$\ge 7$ 每奇数 = 3 素数和）完全无条件证明 |
| 2014 | Oliveira e Silva | 数值验证至 $4 \times 10^{18}$ |
| 2017 | Pintz | $E(X) = O(X^{2/3})$（例外集指数降至 2/3） |
令 $E(X) := \#\{4 \le n \le X : n \text{ 偶},\, r_2(n) = 0\}$。
| 年份 | 结果 | 作者 | 说明 |
|---|---|---|---|
| 1975 | $E(X) = O(X^{0.95})$ | Montgomery–Vaughan | 首个非平凡上界，$\delta = 0.05$ |
| 1975–2015 | $E(X) = O(X^{0.879})$ | Pintz（系列改进） | $\delta$ 逐步提升至约 0.121 |
| 2017 | $E(X) = O(X^{2/3})$ | Pintz | 显著跳跃；BV + 零点密度综合 |
| 2025 | $E(X) = O(X^{7/10})$ | Zhao | arXiv:2511.05631；ineffective（依赖 Siegel 零点存在性假设），附 Linnik 常数 $P(q) = O(q^5)$ |
Zhao 2025 给出 $X^{7/10}$，数值大于 Pintz 2017 的 $X^{2/3}$，意味着上界更弱。但其方法引入了新机制（Linnik 常数 + Siegel 零点分析），且是"ineffective"结果 — 无法给出具体的 $X_0$ 使得结论在 $X > X_0$ 成立。两条路线（effective Pintz vs ineffective Zhao）代表不同研究策略，不能简单比较优劣。
以下是若假设某个猜想（或定理）成立，能对 Goldbach 给出何种强化：
| 假设 / 定理 | 对 Goldbach 的推论 | 状态 |
|---|---|---|
| 广义 Riemann 猜想（GRH） | $E(X) = O(X^{1/2} \log^2 X)$；短区间 Goldbach 常数可降至 $O(\log^2 n)$ | 未证 |
| Bombieri–Vinogradov（BV） | 已用于 $E(X) = O(X^{1-\delta})$ 证明（是证明的基础工具） | 已证 |
| Elliott–Halberstam 猜想（EH） | BV 范围扩至 $X^{1-\epsilon}$；若 EH 成立，Goldbach 例外集可进一步压缩 | 未证 |
| Riemann 猜想（RH） | 短区间：$(x, x + 123\log^2 x]$ 内含 Goldbach 数（Chirre–Hagen 2025） | 未证 |
| Sarnak 奇偶猜想（Mobius 混合） | 若 $\mu(n)$ 与加性函数不相关，部分 parity barrier 可绕过（研究中） | 未证 |
| Hardy–Littlewood 第二猜想推广 | 给出 $r_2(n)$ 的渐近公式，但不直接给 $r_2(n) > 0$ | 未证 |
以下是在解析数论中取得重要成果、但不直接攻 Goldbach 强猜想的工具：
当前活跃研究者（2020-2026）：
研究动机：Goldbach 强猜想是加性数论中最纯粹的 binary 问题，同时是测试圆法极限的标准台架。Parity barrier 的突破将直接影响 Chen 定理推广、孪生素数猜想、以及 Chowla 猜想等一系列相关问题。
| arXiv ID | 年份 | 作者 | 题目（缩略） | 一句话贡献 |
|---|---|---|---|---|
| 2511.05631 | 2025 | Zhao | On the Goldbach exceptional set and Linnik's constant | $E(X) = O(X^{7/10})$ ineffective + Linnik 常数 $P(q) = O(q^5)$ |
| 2508.16400 | 2025 | Grimmelt–Teräväinen | Sums of two Chen primes | $n \equiv 4 \pmod{6}$ 均为两个 Chen 素数之和，例外集 power-saving |
| 2512.23534 | 2025 | Chirre–Hagen | Short intervals containing Goldbach numbers under RH | RH 下区间 $(x, x + 123 \log^2 x]$ 含 Goldbach 数，改进常数 9696 |
| 2508.02769 | 2025 | Akeno | Small gaps between Goldbach primes | 几乎所有 $N$ 下，Goldbach 素数 $\mathbb{P} \cap (N - \mathbb{P})$ 间隔小于平均的 $0.765\ldots$ 倍 |
| 2409.08968 | 2024 | Basak et al. | Ternary Goldbach with sparse primes | 构造素数稀疏子集 $\mathbb{P}^* \subset \mathbb{P}$（几乎所有素数不在其中），ternary Goldbach 仍成立 |
| 2605.17825 | 2026 | Johnston–Trudgian | Linnik–Goldbach with powers of 2 | GRH 下每偶数 $= p + q + 2^{a_1} + \cdots + 2^{a_6}$（6 个 2 的幂） |
| 2605.14369 | 2026 | Hu–Gao | Quaternary Goldbach density | 四元 Goldbach 密度版本的改进渐近 |
| 2603.05550 | 2026 | Llorente-Saguer | GoldbachGPU: large-scale verification | GPU 并行框架，推进数值验证目标至 $10^{25}$ |
Goldbach 强猜想是 parity barrier 在二元加性问题上的最纯粹具象化：100 年来工具升级带来的是定量进展（$E(X)$ 从 $X^{0.95}$ 降至 $X^{0.7}$），但本质鸿沟 — 从"几乎所有偶数有表示（密度 1）"到"每个偶数有表示（pointwise）" — 完全未触及。当前没有任何已知方法能绕过或突破 parity barrier。
本节的产生方式如下：首先由 10 个独立 agent 分别对 Goldbach 强猜想从不同角度深探（第一阶段，Q1–Q10）；随后 5 个 agent 对指定题对进行协同综合（第二阶段，A1–A5）；最后由 2 个大综合 agent 对所有素材进行跨题归纳（第三阶段，A1–A2），分别负责"体系内攻击路径"与"跨界/非传统视角"。本节是整个管线的第四阶段：将前三阶段的 17 份产出综合为一个统一的章节。
多 agent 方法的价值不在于"更多智能 = 新突破"。事实上，在 Goldbach 这样已有近两百年研究积累的问题面前，额外的 agent 并不能创造新的解析工具。其价值在于：系统地覆盖已知方法的所有主要接口，并对每个接口明确给出"此路通"或"此路不通"的判定，同时定位障碍的精确位置。这种系统性否决比正面乐观的"可能方向"往往更具参考价值——它告诉未来的研究者不要重复走已经确定是死路的方向。
本节的核心产出是 §13.4 的问题重定义与 §13.5 的五个候选命题。后者将作为 §15 Template 2 v2 深入研究管线的输入，按命题逐一进行多 agent 五层分析。
第一阶段 10 个角度的核心要素汇总如下：
| 编号 | 角度 | 核心策略 | 主要障碍 | 评价 |
|---|---|---|---|---|
| Q1 | 历史方法重用 | Helfgott 显式化路线移植至 $r_2(n)$；构造 parity-breaking 权函数；Schnirelmann $K=6\to 2$ 计算路径 | Selberg parity barrier；二元 minor arc 缺三次平滑；Zhao 2025 无效性（ineffective） | 增量可行，无法突破 parity |
| Q2 | 跨学科类比 | Green–Tao Gowers $U^3$ 伪随机分解；随机图 + LLL；$r_2(n)$ 余项 CLT 检验 | 素数加倍常数 $\gg \log n$（Plünnecke–Ruzsa 退化）；压缩感知 RIP 条件被素数 Fourier 大峰值破坏（misleading）；LLL 需要独立性 | CLT 方向有数值价值；其余多为误导类比 |
| Q3 | 算法迁移 | Lean/Coq 形式化验证（Helfgott–Platt 模式推广）；SAT/SMT 编码；GoldbachGPU 数值反馈 | minor arc 余项依赖未形式化的零点密度定理；SAT 无法全称量化；ML 无可传递形式保证 | Lean 形式化方向可行但 5–10 年工程量；GPU 只做枚举 |
| Q4 | Vinogradov 三元启示 | 剥离 Vaughan 恒等式、大筛不等式用于二元；分析 minor arc 差一个 $\log N$ 的本质；EH 的额外效果 | 二元主项与余项同阶（均约 $N/\log^2 N$）；EH 不蕴含逐点 Goldbach；$E(X)=O(1)$ 需本质新想法 | 工具已穷，定位了"差一个 $\log$"的精确位置 |
| Q5 | 等价重述 | $L$ 函数零点 $\leftrightarrow$ Goldbach 形式化；Sarnak/遍历论路径；加性能量 $U^k$ 范数 | von Mangoldt 加权不解锁新工具；Cramér 模型循环论证；遍历论目前只给密度版 | 零点 $\leftrightarrow E(X)$ 翻译、Sarnak 路径最值得深挖 |
| Q6 | 拆分逼近全景 | 精确测量距"1+1"的步数；$E(X)\to 0$ 最清晰路径；短区间 Goldbach 数存在性（Chirre–Hagen 2025） | Grimmelt–Teräväinen 2025 仍有幂次例外集；parity barrier 封死最后一步；EH 给不到 $E(X)=O(1)$ | 当前最诚实的"距离测量"；子情形不蕴含全局 |
| Q7 | 高阶 Fourier / 加性组合 | $U^k$ 范数分解素数特征函数；Gowers–Cauchy–Schwarz 迭代 | $p+q=n$ 只有一个自由度，线性形式系统退化，$U^{\geq 3}$ 无法启动；$U^2$ 等价于圆法，无新内容 | 结构性封闭，不是"还没做"而是"不能做" |
| Q8 | 信息论 / Cramér / PRF | Cramér 模型量化失败概率 $\approx e^{-cn/\log^2 n}$；Sarnak Möbius 随机性蕴含分析；PAC 学习视角 | Cramér 是"模型内定理"；Sarnak 给 $\mu$ 正交性，不给 $1_\mathbb{P}$ 卷积下界；Maier 1985 短程失效 | 强启发性支持，无严格证明路径；"概率知道"但"形式不知道" |
| Q9 | 跨猜想杠杆 | EH 猜想 $\to E(X)\to 0$；Chowla 猜想 $\to$ 密度版；GRH 下余项控制；反向（Goldbach $\to$ ?） | EH 本身仍不蕴含逐点 Goldbach（parity 独立障碍）；GRH 仅改善 $E(X)$ 指数而非清零；"最弱蕴含"目前不存在 | 精确定位"无已知猜想 X 使 $X\Rightarrow$ 强 Goldbach" |
| Q10 | 反证策略评估 | 6 条反证路径逐一评估；Grimmelt–Teräväinen 路径（路径6，★★★★）；解析主项 vs 余项（路径4，GRH下） | 单个反例不破坏 $E(X)$ 密度界；Vinogradov 三元结构逻辑链断裂；Chen 1+2 方向反了；无条件 pointwise 余项界弱 | 路径6+路径4 联合最有结构；均需条件假设 |
Q1 的 Helfgott 显式化路线与 Q4 的"二元余项比三元差一个 $\log N$"在圆法框架内直接对接。协同点在于：若将 Helfgott 对弱 Goldbach 的显式常数化技术（精确化 minor arc 余项为可数值核验的上界）移植到 $r_2(n)$ 的分析，虽然无法补回那个缺失的 $\log N$（解析上界不可逾越），但可以精确化 $E(X) = O(X^{7/10})$ 中的隐含常数，把 Zhao 2025 的 ineffective 上界有效化，并争取将指数从 $7/10$ 降至约 $3/5$。
张力点则在于：Q1 的 Schnirelmann $K=6 \to K=2$ 障碍与 Q4 的 BV 不足，表面看似独立，实则共享同一天花板——Selberg parity barrier 在筛法语言和分布估计语言下的两种表达。BV 无法突破模数 $X^{1/2}$ 壁垒，筛函数 Möbius 展开奇次项恒为零，是同一本质障碍的两张面孔。认识到这一点，可以避免用"改进 BV 范围"来掩盖筛法的奇偶性根本缺陷。
Q2 识别出的"$r_2(n)$ 余项 CLT / Berry-Esseen 分布"是统计断言，Q3 的 GoldbachGPU 是数据采集引擎——两者形成闭环：GPU 计算 $r_2(n)$ for $n \leq 10^{25}$，对归一化余项 $Z(n) = (r_2(n) - \mathfrak{S}(n)\cdot n/\log^2 n)/\sigma(n)$ 做 KS 检验，验证是否渐近 $\mathcal{N}(0,1)$。若 CLT 成立，Berry-Esseen 型界给出 $\Pr[r_2(n)=0]$ 的显式上界，配合 Borel–Cantelli 给出"例外集有限"的启发性置信度。
主要张力在于外推脆弱性：两个方向共享同一症结——用 $n \leq 10^{20}$ 尺度的观测支撑大尺度结论，而素数密度 $\sim 1/\log n \to 0$ 使训练分布随 $n$ 持续漂移。核心方向是用 $\log$-scale 归一化缓解漂移，并将 GPU 数据产出定位为"为解析方向剪枝的 position paper"而非证明。
Q5 的"$L$ 函数零点 $\leftrightarrow$ Goldbach"形式化与 Q6 的 $E(X)$ 量化之间存在显式桥梁：Linnik 型零点密度指数 $A$（使 $N(\sigma,T,\chi) \ll T^{A(1-\sigma)}$）与 $E(X) = O(X^\delta)$ 之间可精确换算，$A$ 每降一步，$\delta$ 随之减小。Zhao 2025 的 $X^{7/10}$ 对应 $A \approx 12$–$15$ 的当前极限，是"零点几何 $\to$ 例外集"翻译轴的最新坐标。
两者在"密度 1 vs. pointwise"鸿沟处撞上同一堵墙：Q5 的 Sarnak/遍历论给"几乎所有 $n$，$r_2(n) > 0$"，Q6 的 $E(X)/X \to 0$ 也是密度 1。从幂次衰减 $E(X) = O(X^\delta)$ 跨越到有界例外集 $E(X) = O(1)$，等价于突破 parity barrier，当前任何路径均无法实现。两者独立地确认了该障碍的根本性。
协同点：Q7（$U^k$ 工具结构性封闭）与 Q8（Cramér 模型给极强概率支持）并置时，揭示出 Goldbach 研究的一个核心悖论——数学上我们几乎"概率知道"它成立（失败概率 $\approx e^{-cn/\log^2 n}$ 衰减），但形式工具已到顶（$U^2$ 等价于圆法，$U^{\geq 3}$ 结构性不适用）。这精准定位了真正障碍：不是新工具的缺失，而是概率推理无法转化为点值下界。
张力点在于：Cramér 模型的局部失效（Maier 1985 短程反例）提示任何将概率直接转为严格界的尝试都需引入 Hardy–Littlewood 奇异级数 $\mathfrak{S}(n)$ 修正，但即便加上这个修正，全局平均到 pointwise 的最后一步仍被 parity barrier 和 Siegel 零点封堵。
Q9 的 EH 猜想作为"正向"蕴含（$\mathrm{EH} \to E(X) \to 0$，平均意义），与 Q10 路径 6 的"反向约束"（若反例 $n^*$ 存在，则 $n^*$ 必须落入 Grimmelt–Teräväinen 2025 的 power-saving 例外集）协同形成条件反证框架：EH 压缩例外集密度，GT 约束反例的同余类，路径 4（GRH 下解析主项 $\geq$ 余项）完成矛盾。
两者共享同一本质张力：EH 给密度估计，路径 6 给幂次例外集——两个"几乎所有"叠加，依然不得到"全部"。平均估计无法自动升级为逐点命题，这是 parity barrier 的分布语言版本。
Phase 3 两个大综合 agent（体系内路径综合 A1、跨界视角综合 A2）归纳出六大主题，分 A/B 两组：
贯穿 Q1/Q3/Q4/Q9 及 Phase 2 A1、A3、A5。圆法（minor arc 缺 $\log N$ 因子）、筛法（Selberg 奇偶障碍 1949）、分布假设（BV/EH）三条路均在同一处断裂：Möbius 展开奇次项恒为零，导致筛函数无法区分"一个素因子"与"两个素因子"。Q9 明确指出，即便 EH 全假设成立，parity barrier 仍是独立的第二道障碍——两道障碍不能相互抵消。
已知的唯一绕行实例：Friedlander–Iwaniec 1998 用形如 $a^2+b^4$ 的乘性结构绕过了 parity，但这依赖稀疏序列的特殊几何，无法推广到 $p+q=n$ 的加性问题。因此 parity barrier 对二元 Goldbach 目前仍是绝对天花板。
贯穿 Q1/Q4/Q5/Q9 及 Phase 2 A3、Phase 3 A1。这是六大主题中唯一具有定量结构的研究轴线：Linnik 型零点密度指数 $A$（定义于 $N(\sigma,T,\chi) \ll T^{A(1-\sigma)}(\log T)^B$）与 $E(X)$ 指数 $\delta$ 之间存在显式换算： $$E(X) = O\!\left(X^{1 - \frac{1}{A-1} + \varepsilon}\right)$$ Zhao 2025 的 $E(X) = O(X^{7/10})$ 对应 $A \approx 13$；若 $A$ 降至 $10$，则 $\delta$ 降至约 $0.59$，超越 Zhao。每一次 $E(X)$ 指数的改进都精确对应一次 zero-density 估计的改进，这是五年内最可能产生新文献的定量方向。
贯穿 Q4/Q5/Q9/Q10 及 Phase 2 A3/A4/A5。GRH、EH、Chowla 猜想、Sarnak 猜想等所有强假设链，均只给"几乎所有偶数 $r_2(n) > 0$"（即 $E(X)/X \to 0$），无一能闭合到"所有 $n$"（$E(X) = O(1)$）。从 $O(X^\delta)$ 到 $O(1)$ 是量级跳跃，不是渐进改良，等价于突破 parity barrier。
这一结论的重要推论是：强 Goldbach 不能通过已知任何分布假设的自然推论得到。它是一个孤立于当前条件性框架之外的逐点命题。
贯穿 Q2/Q7/Q8 及 Phase 3 B。Cramér 模型（失败概率 $\approx e^{-cn/\log^2 n}$）、高斯余项猜想（$r_2(n)$ 余项的 CLT）、以及 Gowers $U^2$ 等价于圆法的观察，三者共同指向同一鸿沟：我们对 Goldbach 的概率理解已极强，但形式证明工具已触顶。这不是理解空白，而是"概率知道 ≠ 形式知道"的结构性缺口。
压缩感知/RIP 类比是最典型的误导性类比：$r_2(n) = (1_\mathbb{P} * 1_\mathbb{P})(n)$ 形式上是稀疏卷积恢复，但素数集的 Fourier 系数在 Farey 弧上有大峰值，恰好违反 RIP 条件。这类"形式相似但底层不同"的类比值得明确否决，防止后续研究浪费资源。
贯穿 Q6/Q10 及 Phase 3 B。Grimmelt–Teräväinen 2025（arXiv:2508.16400）证明：所有 $n \equiv 4 \pmod{6}$ 均是两个 Chen 素数之和，例外集 power-saving。这是目前将 Goldbach 问题的反例候选空间双向压缩的最新结果：
Q10 路径 6 的评级（★★★★☆）反映了这一点：GT 结果与反证路径 4（GRH 下解析主项矛盾）联合，是目前结构最清晰的条件反证框架，其 power 指数 $\delta$ 的改进（目标 $\delta > 1/5$ 的显式化）是 5 年内最可操作的研究目标。
贯穿 Q6/Q10/Q2 及 Phase 3 B。Chen 1+2、GT 2025 Chen 双素数、Chirre–Hagen 2025 短区间存在性、Basak 2024 稀疏子集三元结果——这些子情形结论均有真实研究价值，但存在一个一致的逻辑断层：
子情形无例外 + parity barrier ≠ 强 Goldbach（全局逐点）
具体地，"$n \equiv 4 \pmod 6$ 的强 Goldbach"成立并不帮助其他同余类；Chen 1+2 成立不蕴含 1+1 成立。拆分策略的正确定位是：压缩反例候选范围，而非直接证明猜想。误判这一关系会导致研究者高估子情形进展的意义。
基于三阶段综合，我们提出对强 Goldbach 研究位置的两种候选重定义：
这一定位将 Goldbach 从"一个孤立的数论猜想"重新定位为"Selberg parity barrier 的二元加性问题版本的代表性障碍实例"。Parity barrier（1949）是解析数论筛法的系统性天花板，迄今只在乘性结构极特殊的稀疏序列（Friedlander–Iwaniec 1998）上被部分绕过。
按此定位，证明 Goldbach 等价于给出 parity barrier 在加性问题上的第一个绕行机制，这是一个比"证明某一猜想"更有导向性的研究目标，因为它直接告诉研究者：必须在 parity barrier 上有实质性新想法，增量改进现有工具无论如何不够。
现有工具（圆法 + BV + 大筛）已足够证明"几乎所有偶数有 Goldbach 表示"，而且该"几乎"已被精确量化为 $E(X) = O(X^{7/10})$（Zhao 2025）。技术上，如果 EH 猜想成立，$E(X)$ 可进一步降至 $O(X^{1/2+\varepsilon})$。
然而，从 $E(X) = O(X^\delta)$（$\delta < 1$）跳到 $E(X) = O(1)$（等价于强 Goldbach），不是"再改进一次 $\delta$"，而是需要一个性质本质不同的论证——能证明例外集绝对有界的论证。当前任何工具都不具备这个性质，parity barrier 是其根本原因。
因此更诚实的说法是：Goldbach 不是"工具不够好"的问题，而是"现有工具框架下，密度 1 无法自动升级为 pointwise"的原理性问题。这与计算复杂度中 $\mathsf{P}$ vs $\mathsf{NP}$ 的性质类似——不是算法速度的问题，而是框架性质的问题。
两种定位并不互斥，可以结合理解：parity barrier 是"密度 1 → pointwise 桥不存在"这一原理性鸿沟的技术根源。
以下五个命题将作为 §15 Template 2 v2 深入研究管线的输入。它们按照"可被当前或近期技术严格处理的可能性"排序，而非按重要性排序。每个命题给出陈述、已知现状、待证 gap 与期望 verdict 类型。
陈述：对所有充分大偶数 $n$（例外集至多 $O(X^{7/10})$ 个），有 $r_2(n) > 0$。更精化的形式：在短区间 $[N, N+H]$（$H = N^{0.6}$）内，至多 $O(H^{7/10})$ 个偶数 $n$ 满足 $r_2(n) = 0$。
已知现状：Montgomery–Vaughan 1975 给出 $E(X) = O(X^{1-\delta})$（$\delta = 0.05$）；Pintz 历年改进至 $\delta \approx 0.121$（即 $E(X) = O(X^{0.879})$）；Pintz 2017 给 $O(X^{2/3})$；Zhao 2025（arXiv:2511.05631）给 $O(X^{7/10})$，目前最优，但 ineffective（依赖 Siegel 零点二难论）。
待证 gap：（1）将 $7/10$ 改进至 $3/5$（需 Linnik 型零点密度指数 $A$ 从 $\approx 13$ 降至 $\approx 10$）；（2）将 ineffective 结果 effective 化（需 Platt/Mossinghoff–Trudgian 型显式零点数值数据配合）；（3）短区间版本（目前文献几乎空白）。
期望 verdict 类型：go——$E(X)$ 改进是当前最可操作的增量方向，5 年内有望产出新文献。
陈述：存在绝对正常数 $c > 0$，使得在广义黎曼假设（GRH）成立的前提下，对所有充分大偶数 $n$，有 $$r_2(n) \geq c \cdot \mathfrak{S}(n) \cdot \frac{n}{(\log n)^2}$$ 其中 $\mathfrak{S}(n)$ 是 Hardy–Littlewood 奇异级数，对偶数 $n$ 有 $\mathfrak{S}(n) \geq 2C_2 > 0$。
已知现状：Hardy–Littlewood 1923 在 GRH 下证明了 $r_2(n)$ 的渐近主项公式；圆法在 GRH 下给出 major arc 余项 $O(n^{1/2+\varepsilon})$，与主项 $\sim \mathfrak{S}(n) n/\log^2 n$ 相比，主项占主导（当 $n$ 充分大时），理论上矛盾可以闭合。
待证 gap：（1）主项 $\gg$ 余项的显式阈值（需 GRH 下显式零点界 + 主项 $\mathfrak{S}(n)$ 下界的精确常数化）；（2）minor arc 在 GRH 下的显式 pointwise 控制（目前多为均值，不是 pointwise）；（3）连接 GRH 下的余项控制与 pointwise $r_2(n) \geq 1$ 的最后一步（仍需绕过 parity，或明确 GRH + 显式估计已足够闭合反证路径 4）。
期望 verdict 类型：weak——GRH 下的条件性下界有望严格化（作为"条件定理"），但无条件化需要突破 Siegel 零点，预期在 §15 分析后给出精确的"GRH 条件下 verdict: go，无条件 verdict: barrier"。
陈述：存在绝对正整数 $K \leq 3$，使得对所有正偶数 $n > 2$，$n$ 可以写成至多 $K$ 个素数之和。强化形式：$K = 2$（即强 Goldbach），等价形式。
已知现状：Schnirelmann 1939 证明了 $K \leq K_0$（某有限 $K_0$）；Ramaré 1995 证明 $K \leq 6$（即每个偶数是至多 6 个素数之和）；Helfgott 2013 的弱 Goldbach（奇数 = 3 个素数）可推出 $K \leq 4$（偶数 $n = (n-3) + 3$，若 $n-3$ 为奇素数，否则用弱 Goldbach 拆分 $n-3$）。$K = 3$ 等价于：每个偶数 $n$ 要么是两个素数之和，要么是三个素数之和。
待证 gap：从 $K \leq 4$ 到 $K \leq 3$ 需要证明"若偶数 $n$ 不是两素数之和，则必是三素数之和"，等价于 $E(X)$ 中的所有例外均有三素数表示。这是比强 Goldbach 严格弱的命题，但与 $E(X)$ 例外集的性质直接相关。
期望 verdict 类型：go——$K \leq 3$ 的证明路径已有雏形（Helfgott 2013 + 例外集三素数表示），在 §15 分析后有望给出明确路线图甚至部分证明。
陈述：设 $n^* > 4 \times 10^{18}$ 为偶数，$r_2(n^*) = 0$。则圆法分析给出：$r_2(n^*)$ 的 von Mangoldt 加权版 $r_2^\Lambda(n^*) = \sum_{a+b=n^*} \Lambda(a)\Lambda(b)$ 的主项 $\mathfrak{S}(n^*) \cdot n^*$（明确正）被余项完全抵消，而在 BV 定理范围内，余项的 pointwise 估计不足以实现这一抵消——由此给出矛盾。
已知现状：BV 定理控制的是均值意义上的余项（$\sum_{q \leq X^{1/2-\varepsilon}} \max_a |\psi(X;q,a) - X/\phi(q)| \ll X(\log X)^{-A}$），不给 pointwise 控制。路径 4 的 ★★★☆☆ 评级（Q10）和 Q4 的分析均指出：GRH 下主项 $\gg$ 余项成立，矛盾可闭合；但无条件下 pointwise 余项界不够强。
待证 gap：核心是"无条件 pointwise minor arc 余项上界 $\ll n^*/(\log n^*)^{2+\varepsilon}$"——这等价于某种无条件非平凡零点自由区，本质上是 GRH 级别困难。命题 4 在 §15 分析中的预期作用是精确定位"BV 反证"在何种条件下可闭合、何种条件下不可闭合，给出"barrier 的精确规格"。
期望 verdict 类型：kill（无条件）/ go（GRH 条件下）——无条件形式预期被 §15 分析否决，给出障碍的精确陈述；GRH 条件下形式预期给出条件性证明路线图。
陈述（position paper 形式）：设 $a_n = \mathbf{1}[r_2(2n) > 0]$（Goldbach 成功指示序列），以及归一化余项序列 $Z_n = (r_2(2n) - \mathfrak{S}(2n) \cdot n/\log^2 n)/\sigma(n)$。猜想：序列 $(Z_n)_{n \geq 1}$ 在适当意义下是 Martin-Löf 随机的——即在该序列的信息复杂度框架下，不存在以多项式时间可描述的"规律"能从 $(Z_1, \ldots, Z_n)$ 预测 $Z_{n+1}$ 的偏差。
已知现状：Cramér 模型（Q8）给出 $r_2(2n)$ 的独立性启发式，Cramér–Sarnak 平行框架（Sarnak 关于 $L$ 函数零点分布的随机矩阵类比）提示 $r_2(2n)$ 余项可能具有 GUE 型分布。Farhadian 2025（arXiv:2504.14353）给出启发式概率界，但未涉及 ML 随机性。目前文献几乎无对 $r_2$ 序列做计算随机性分析的工作（Phase 2 A2 识别为文献空白）。
待证 gap：（1）精确定义 $(Z_n)$ 的 ML 随机性（需要选取合适的测度空间和可计算测试类）；（2）数值检验（GoldbachGPU 数据 + 各类随机性统计检验：KS、频率、游程、谱）；（3）连接 ML 随机性与 $E(X) = O(1)$（若 ML 随机性成立，Borel–Cantelli 型论证给出"几乎必然有限例外"，但这仍是启发式，非严格证明）。
期望 verdict 类型：pass（数值层面）/ position paper（理论层面）——期望 §15 分析给出可发表的数值随机性证据 + 清晰的"严格化所需条件"路线图，而非定理。
本节 17 份素材产出于多 agent 头脑风暴，每个 agent 基于相同的训练数据和背景包独立推理。这一方法的价值在于覆盖广度和交叉验证，不在于深度突破。以下是必须明确的局限：
本节的核心价值在于系统化否决：它明确地说出"高阶 Fourier 行不通（结构性）"、"压缩感知类比是误导"、"子情形不蕴含全局"、"密度 1 无法自动升为 pointwise"——这些否决命题本身是有价值的数学认识，它们为未来的研究者提供了一张清晰的"死路地图"，而不仅仅是一张"可能性地图"。
本节基于 Template 1 三阶段 17 份产出综合。文献参考：Pintz 2017、Zhao 2025（arXiv:2511.05631）、Grimmelt–Teräväinen 2025（arXiv:2508.16400）、Helfgott 2013、Ramaré 1995、Chirre–Hagen 2025（arXiv:2512.23534）。
从"无入口"到"有路线图"：多 agent 分析给出的不是新证明，而是把 100 年来 8–10 条已知路径按"距离强 Goldbach 的逻辑距离"重新排序，揭示真正的硬墙在哪里。
这份排序有几个关键发现：
下一步：用 Template 2 v2 对 5 个候选小命题做深入证伪 — 系统地探索每条路线的可行性边界，特别是：圆法 minor arc 在 binary 情形的下界构造、parity barrier 的局部绕过可能性、以及 Zhao ineffective 方法能否有效化。
对 §13.5 给出的 5 个候选命题，逐一通过 Template 2 v2 多 agent 5 层流水线做深入证伪/验证。每个命题独立 HTML 文件，含 L1 角度评分、sentinel 数值、ranker 表、verdict + v2 修订陈述。
整体观察：5 个命题中 0 个原版严格通过，4 个给出 v2 修订（KILL+revised），1 个纯 KILL。这与 RECIPE 预测高度一致 — 表明 Template 2 v2 在 Goldbach 类成熟问题上最大价值是系统性证伪乐观候选 + 提炼可写 position paper 形式，而非"找新证明"。
| # | 命题 | 方向 | Verdict | v2 修订 | 链接 |
|---|---|---|---|---|---|
| 1 | $r_2(n) > 0$ 对几乎所有偶数（密度 1） | 例外集 / 圆法 | KILL early | 已被 Zhao 2025 $E(X)=O(X^{7/10})$ 严格证毕；命题为已知结果重述 | 命题 1 |
| 2 | GRH 下 $r_2(n) \geq c \cdot n / (\log n)^2$ 对 $n$ 足够大 | 圆法主项 / 下界 | KILL + revised | 原版被 parity barrier 封死；W4-GRH: GRH 下 $E(X) = O(X^{1/2+\epsilon})$（GRH 显式版文献空白） | 命题 2 |
| 3 | 存在常数 $K \leq 3$ 使每偶数 $\leq K$ 个素数和 | Schnirelmann / Helfgott | KILL + revised | $K \leq 3$ 严格等价强 Goldbach；W4: $K \leq 4$ 显式无条件 ($n \geq 10$, Helfgott 2013) + 数值至 $4 \times 10^{18}$ | 命题 3 |
| 4 | 反证 $r_2(n^*)=0$ ⟹ 与 BV 矛盾 | 反证策略 | KILL（与 Mersenne 命题 4 同病） | BV 是密度陈述，与单点 $r_2=0$ 桥不存在；W7 路线图：综合 Pintz + Chen 筛 + 数值给 $n^*$ 限制到密度 0 集合（不空） | 命题 4 |
| 5 | $(r_2(2n))_n$ 是 Martin-Löf 随机 | Sarnak / Cramér | GO position paper | 原版字面 KILL ($r_2$ 可计算)；W4 (Sarnak 弱化): GRH+Chowla 下 $\frac{1}{N\log N}\sum r_2(2n)f(n) \to 0$ 对零熵 $f$。Sentinel KS p=0.2448 数值支持 | 命题 5 |
命题 5 是唯一的 GO — Sarnak Möbius randomness 的 Goldbach 平行版本，与 Tao-Teräväinen 2024 Chowla 进展接轨，可作 position paper 投稿。