深入研究：发散 → 文献分析 → 执行推导 → 同行审核 → 结论
令 $\mathrm{Prim}(p)$ 为 $M_p = 2^p - 1$ 的本原素因子集合（即整除 $M_p$ 但不整除任何 $M_{p'}$，$p' < p$ 为素数）。猜想：
$$\sum_{\substack{p \leq x \\ p \text{ prime}}} \frac{|\mathrm{Prim}(p)|}{\log p} \;\gg\; \frac{x}{(\log x)^2}.$$
定位：无条件可攻；初步工具 Bang–Zsygmondy + Mersenne 数两两互素 + Brun–Titchmarsh。意义：为"假设 Mersenne 素数有限"下的反证压缩链提供首个定量张力。
三阶段多 agent 头脑风暴（Phase 1：5 个单角度 agent A–E；Phase 2：3 个题对 agent AB、AE、CD；Phase 3：综合 + 排名）一致揭示的核心事实：对素数 $p$，$|\mathrm{Prim}(p)| = \omega(M_p)$。
原因：$p$ 为素数时，$M_p$ 的任意奇素因子 $q$ 满足 $\mathrm{ord}_q(2) \mid p$，而 $p$ 的因子仅为 $1$ 和 $p$，$\mathrm{ord}_q(2) = 1$ 导致 $q \mid 1$ 矛盾，故 $\mathrm{ord}_q(2) = p$，即所有素因子均为本原。无须区分本原与非本原。
这一简化的意义在于：命题 1 的目标量 $S(x) = \sum_{p \leq x} \omega(M_p)/\log p$，其下界 $\gg x/(\log x)^2$ 由 Bang–Zsygmondy（每个 $p$ 至少 1 个本原因子）加 Abel 求和在半页内完成。研究价值因此转移到加强版：$\omega(M_p)$ 的均值、方差、精确渐近，以及与 Artin 原根猜想 / GRH 的条件关系。
Phase 2–3 还厘清了一处错误：AE 报告误将 $S(x)$ 的参数化看作固定级数之和，得出 "$S(x) \sim C/\log x$" 的有限极限；综合阶段确认 Phase 1A 的 $S(x) \gg x/(\log x)^2$ 正确，AE 计算不影响命题。
下表汇总 Phase 1+2+3 出现的具体思路 / 加强版命题，按总分（4 项 1–5 分加和）排名。
| 排名 | 思路 / 加强版命题 | 可证 | 新颖 | 意义 | 工具 | 总分 |
|---|---|---|---|---|---|---|
| 1 | Turán 方差上界：$\sum_{p \leq x} \omega(M_p)^2 \ll \pi(x) (\log\log x)^2$（双重 Brun–Titchmarsh，无条件） | 5 | 4 | 4 | 5 | 18 |
| 2 | 均值上界（无条件）：$\frac{1}{\pi(x)} \sum_{p \leq x} \omega(M_p) \ll \log\log x$（Brun–Titchmarsh + Abel） | 5 | 4 | 4 | 4 | 17 |
| 3 | 均值精确渐近（GRH 下）：$\frac{1}{\pi(x)} \sum_{p \leq x} \omega(M_p) \sim \log\log x$（Pomerance 1976 框架推广至素数子序列） | 3 | 5 | 5 | 3 | 16 |
| 4 | 均值下界（Erdős 型）：$\sum_{p \leq x} \omega(M_p) \gg \pi(x) \log\log x$（交换求和 + ord 计数；严格版可能需 GRH） | 3 | 4 | 4 | 3 | 14 |
| 5 | 原命题 1（已完成，半页）：$S(x) \gg x/(\log x)^2$（Bang + Abel，无条件） | 5 | 1 | 2 | 5 | 13 |
| 6 | 反向参数化（Artin 型计数）：$S(x) = \sum_{q \in \mathcal{Q}(x)} 1/\log p_q$，估计 $|\mathcal{Q}(x)|$，依赖 $\mathrm{ord}_q(2)$ 分布 | 3 | 4 | 3 | 3 | 13 |
| 7 | Stewart 大素因子杠杆：$P^+(M_p) \geq p^2/(\log p \log\log p)$（揭示简化但不给 $\omega \geq 2$） | 4 | 2 | 3 | 4 | 13 |
| 8 | Bombieri–Vinogradov 均值筛：算术级数均值估 $\sum_p \omega(M_p)$；上界自然，下界仍需 GRH | 3 | 2 | 3 | 4 | 12 |
| 9 | 个体下界（最强、最难）：$\omega(M_p) \to \infty$ 无条件逐点结论；可能需 ABC 或更强假设 | 1 | 5 | 5 | 1 | 12 |
| 10 | Dirichlet / Mellin 方法：对 $F(s) = \sum_p \omega(M_p) p^{-s}$ 解析延拓；解析性完全未知 | 1 | 4 | 4 | 1 | 10 |
第 1 名（18 分）：Turán 方差上界 $\sum_{p\leq x}\omega(M_p)^2 \ll \pi(x)(\log\log x)^2$。完全无条件；L1P2_AB 已给出清晰证明路线（展开平方 → 双重 Brun–Titchmarsh → 对角 + 非对角分拆）。与均值上界合并即构成 Turán–Kubilius 型集中不等式，可推出 $\omega(M_p)$ 在 $\log\log p$ 附近高度集中（无条件版 Erdős–Kac）。独立成文价值高，是 §3 执行层的首选目标。
第 2 名（17 分）：均值上界（无条件） $\frac{1}{\pi(x)}\sum_{p\leq x}\omega(M_p) \ll \log\log x$。Brun–Titchmarsh 直接控制每个模 $(q-1)$ 算术级数中素数个数，对 $q$ 求和后 Abel 收尾；可视为 半天即可完成初稿 的目标。此上界与 Erdős 框架下界合并即给出最干净的 $\asymp \log\log x$ 两侧结论。
第 3 名（16 分）：均值精确渐近（GRH 下） $\frac{1}{\pi(x)}\sum_{p\leq x}\omega(M_p) \sim \log\log x$。在 GRH 下将 Pomerance 1976（全整数平均）框架推广至素数子序列 $\{M_p\}$；针对素数指数的精确版本在文献中尚无系统处理（标记为文献空白）。这是排名 2 上界 + 排名 4 下界合并后的最终结论，也是命题 1 研究的自然终点。
原命题 1（$S(x) \gg x/(\log x)^2$）实际上是平凡的：Bang–Zsygmondy 加 Abel 求和两行完成。命题的真正数学价值在引出的加强版研究：$\omega(M_p)$ 的均值是否渐近于 $\log\log p$？方差是否为 $(\log\log p)^2$？ 这些问题与 Erdős–Kac 定理、Artin 原根猜想、GRH 深度关联。对素数指数的精确处理在文献中尚属空白。
下一层（§2 分析层）的 arXiv 调研重点：核实 Erdős 1965 / Pomerance 1976–77 的精确陈述；查 Murty–Murty–Saradha 1988、Wagstaff 1982、Pappalardi 1995；确认"针对素数指数 $p$ 的 $\omega(M_p)$ 平均结果"在文献中是否真的空白。
arXiv API 搜索 + PDF 下载 + 阅读分析。下载 8 篇 PDF 至 reference_mersenne_research/prop1/papers/。下面给出最相关 4 篇的逐篇评估和对 (T1)(T2)(T3) 的现状判定。
主定理（Theorem 10）：对任意 $\varepsilon > 0$，$\omega(M_n) > 2^{(1-\varepsilon)\log\log n} - 3$ 对几乎所有正整数 $n$ 成立。对 (T1)(T2)(T3) 均无贡献 — 给的是指数型下界（远弱于对数型），且自变量是任意 $n$ 而非素数 $p$，不引 Erdős 1971 / Pomerance / Hooley。技术：Carmichael 原始因子定理 + Hardy–Wright 约数函数分布。
主定理（GRH + 弱 Elliott–Halberstam）：
对 (T2) 间接关联：明确指出 Erdős 1971 蕴含 $\max F(n) \ll \log\log x$ — 但 (T2) 要的是均值而非极大值，不直接给。对 (T3) 工具性贡献：Theorem 1.3 的"均值 $\sim c \log x$"框架与 (T3) 路径类似但对象不同。对 (T1) 无直接贡献。
主定理（无条件）：集合 $\mathcal{C}_1 = \{\psi_m : m \not\equiv 4 \pmod 8\}$（$\psi_m = \Phi_m(2)/\delta_m$）中，$m \leq x$ 时有 $> x^{3/5}$ 个合数 $\psi_m$。聚焦于 $\omega(\psi_m) \geq 2$ 而非均值/方差，对 (T1)(T2)(T3) 无直接贡献。但隐含一个边角结果：GRH 下有 $\gg x \log\log x / \log x$ 个 $m \leq x$ 使 $\ell(p) = m$ 对某 $p \ll x \log x$。
主定理（GRH）：$K^\times$ 有限生成子群指标映射 $p \mapsto (\mathrm{Ind}_p(W_1), \ldots, \mathrm{Ind}_p(W_n))$ 的原像是有限集或正自然密度集合。对 (T3) 工具性支持：对每个 $m$ 估计 $\#\{p \leq x : m \mid \mathrm{ord}_p(2)\}$ 的渐近，正是 Artin 型 Index Map 问题的特例。对 (T1)(T2) 无直接贡献。
$\frac{1}{\pi(x)}\sum_{p \leq x} \omega(M_p) \ll \log\log x$ 尚未在文献中以此形式陈述，但可由换序 + Brun–Titchmarsh 直接得：
$$\sum_{p \leq x} \omega(M_p) = \sum_{q\, \text{prime}} \#\{p \leq x : \ell(q) = p\} \leq \sum_{q\, \text{prime}} \pi(x; q, 1) \ll \sum_{q \leq x \log x} \frac{x}{\varphi(q) \log x}.$$
右边由 Mertens 给 $\ll x \log\log x / \log x = \pi(x) \log\log x$。无条件可证。
$\sum_{p \leq x} \omega(M_p)^2 \ll \pi(x) (\log\log x)^2$ 在文献中未见。证明需双重 Brun–Titchmarsh + 多重 Artin 条件下的素数分布；属 Turán 方法在 Mersenne 语境的应用。无条件版本是真正的新结果。
$\frac{1}{\pi(x)}\sum_{p\leq x}\omega(M_p) \sim \log\log x$ 在已搜到的 arXiv 论文中未明确陈述。最相关：Pollack Theorem 1.3 给倒数和 $\sum E(m) \sim \frac{1}{2}\log x$，但对象不同。Murty–Murty 1984 ("A variant of the Hooley method") 可能含相关结果，但此论文未在 arXiv，需期刊查阅。Järviniemi–Perucca 2022 提供框架性工具。
(T2) 无条件均值上界：高可行性。已知工具直接堆叠（Brun–Titchmarsh + Mertens）；增量是给出第一个以此精确量级的无条件结果。
(T1) Turán 方差：中等可行性。需要处理 $q_1 \neq q_2$ 时两个 Artin 条件同时成立的频率，无条件上界是真正空白。这是 §3 执行层的首选目标。
(T3) GRH 下精确渐近：中等可行性。主要困难是控制对 $q$ 的求和范围和尾部误差。若 Murty–Murty 1984 已含，则命题 1 仅是重述。
这些是该领域基础引用，不在 arXiv 上 — 需期刊或图书馆获取，但已知精确条目：
Layer 3 的两位 PhD 角色 agent（一位攻 (T2)、一位攻 (T1)）通过严格推导 + 数值验证，推翻了 Layer 1 排名的核心量级。原因：Layer 1 把 $\log\log M_p = \log p$ 误写成了 $\log\log p$，导致所有 (T1)(T2)(T3) 的目标量级都低估了 $\log p / \log\log p$ 倍。
正确量级：均值 $\frac{1}{\pi(x)}\sum \omega(M_p) \asymp \log x$（不是 $\log\log x$）；方差 $\sum \omega(M_p)^2 \asymp \pi(x) (\log x)^2$（不是 $\pi(x)(\log\log x)^2$）。这与 Hardy–Ramanujan 经典 $\omega(n) \sim \log\log n$ 在 $n = M_p \sim 2^p$ 处特化的结果完全一致。
修正命题：$\dfrac{1}{\pi(x)} \sum_{p \leq x} \omega(M_p) \;\ll\; \log x$（无条件）。
证明草稿（见 /tmp/mersenne_brainstorm/prop1/L3_T2_proof.md）：
数值验证（$p \leq 127$，sympy 完整因子分解）：
| $x$ | $\sum \omega(M_p)$ | 均值 | $\log x$ | 比值 |
|---|---|---|---|---|
| 50 | 25 | 1.67 | 3.91 | 0.43 |
| 100 | 47 | 1.88 | 4.61 | 0.41 |
| 200 | 60 | 1.30 | 5.30 | 0.25 |
| 1000 | 60 | 0.36 | 6.91 | 0.05 |
注：$x \geq 200$ 后样本不全（仅 $p \leq 127$ 可分解），均值被压低。$x \leq 100$ 比值 $\approx 0.4$，量级稳定。
修正命题：$\sum_{p\leq x} \omega(M_p)^2 \;\asymp\; \pi(x) (\log x)^2$；上界需 $\max_p \omega(M_p) \ll \log x$ 的逐点上界（无条件未证），下界由 Cauchy–Schwarz + (T2) 修正给出。
核心代数恒等式（已数值验证）：
$$\sum_{p\leq x} \omega(M_p)^2 \;=\; \sum_{p\leq x} \omega(M_p) \;+\; 2 \sum_{q_1 < q_2} \#\{p \leq x : q_1 q_2 \mid M_p\}.$$
由 $q_1 q_2 \mid M_p \iff \ell(q_1) = \ell(q_2) = p$，每对 $(q_1, q_2)$ 至多对应一个 $p$；但反向 $\sum_{q_1
数值结果（$p \leq 127$，sympy 完整分解）：
| $x$ | $\sum \omega^2$ | $\pi(x)(\log\log x)^2$ | 比值loglog | $\pi(x)(\log x)^2$ | 比值log |
|---|---|---|---|---|---|
| 50 | 51 | 27.91 | 1.83 ⚠️ | 229.56 | 0.22 |
| 100 | 105 | 58.31 | 1.80 ⚠️ | 530.19 | 0.20 |
| 200 | 144 | 127.89 | 1.13 | 1291.32 | 0.11 |
| 1000 | 144 | 627.50 | 0.23 | 8016.47 | 0.02 |
$x = 50, 100$ 处比值 > 1 直接证伪 $(\log\log x)^2$ 上界。$(\log x)^2$ 量级稳定支持。
reference_mersenne_research/prop1/code/T2_verification.py + log logs/T2_run.logreference_mersenne_research/prop1/code/T1_verification.py + log logs/T1_run.loguv run --with sympy <file>修正版 (T2)（均值 $\ll \log x$）和 (T1)（方差 $\asymp \pi(x)(\log x)^2$）量级在数值上稳定支持。但严格无条件证明仍有 gap：
需要 Layer 4 资深教授审核检验上述论证的严密性，并指出最容易补完的版本。
资深数论教授角色的 agent 完成审核。结论：(T1) 和 (T2) 修正版的草稿都不能作为论文发表，存在根本性逻辑漏洞。完整审稿报告：/tmp/mersenne_brainstorm/prop1/L4_review.md。
Erdős 1971 (Israel J. Math.) 的真实陈述是 素因子倒数和 $f(n) = \sum_{p \mid n} 1/p \leq \log\log\log x + O(1)$（极大值），不是 $\omega(M_n)$ 的上界。由此推出 $\omega(M_p)$ 的界（用 $\omega \leq (p+1) f$）比初等界 $p / \log p$ 更弱。Pollack 2020 在 §1 第 2 页明确指出此关联，但 Layer 1 排名表把这两个量混淆了。
Layer 1 排名表：把 (T1)(T2)(T3) 排进前 3 名是错误的 — 这些目标的量级被低估，所谓"无条件可证"实际上从 BT 路径出发不成立。Layer 2 文献分析：写"(T2) 可由换序 + BT 直接得"是误判 — BT 截断范围不够紧。Layer 3 PhD 草稿：能在数值上发现量级矛盾、修正 $\log\log x \to \log x$ 是好事，但未追到底证明的真实可行性。
这正是分层分析的价值：每一层都可能犯错，下一层的更严苛角色（PhD → 教授）能把上层的错误暴露出来。
命题 1 本身（$S(x) \gg x/(\log x)^2$）已被严格证明（半页，无条件），但所有加强版均未完成；Layer 4 资深教授评审确认 (T1)(T2) 的核心量级陈述本身存在错误，该思路与 Mersenne 无穷问题无直接连接。
否。三层关系（命题 1 → 加强版 → Mersenne 无穷）均断裂：
三个独立的、致命的 gap，任何一个单独就足以阻断这条路线：
(T2) 原始目标 $\sum_{p\leq x}\omega(M_p) \ll \pi(x)\log\log x$ 量级错。正确量级 $\asymp \pi(x)\log x$（Hardy–Ramanujan 对 $M_p \approx 2^p$ 特化：$\omega(M_p) \approx \log\log(2^p) = \log(p\log 2) \approx \log p$）。Layer 1 排名表把 $\log\log M_p$ 误记为 $\log\log p$。
$q \mid M_p$ 的 $q$ 上界是 $2^p$（指数级）。BT 给出的上界 $\ll 2^x \log\log x / x$ 是 $x$ 的指数函数，比目标 $\pi(x)\log x \asymp x$ 大 $2^x / x^2$ 倍。BT 方向根本性失控，无法修补。
(T1) 的"每对 $(q_1, q_2)$ 至多对应一个 $p$"看似给出界，实际是代数恒等式 $\omega^2 = \omega + 2\binom{\omega}{2}$ 的改写，无新估计。所有逐项路线（$\omega(M_p) \leq p$、$\leq p/\log p$）给的上界比目标大多项式因子。
尽管主要目标均未达到，探索过程中产生了若干值得保留的洞察：
$$\sum_{p\leq x}\omega(M_p) \;=\; \#\{q\text{ prime}: \ell(q)\text{ is prime}, \ell(q) \leq x\}$$
由引理 A（$q \mid M_p \iff \ell(q) = p$，因 $p$ 素）严格推出，是所有 agent 公认的正确核心，是理解 Mersenne 素因子结构的干净框架。
明确了真实均值量级 $\asymp \log x$（而非 $\log\log x$）。今后正确目标应是：证明 $\frac{1}{\pi(x)}\sum_{p\leq x}\omega(M_p) \sim c \log x$（精确渐近，GRH 下可能可行；常数 $c$ 待定）。
$\sum_{p\leq x}\omega(M_p)$ 均值精确渐近在 Engberg–Pollack 2020、Pomerance 2024、Järviniemi–Perucca 2022 等论文中从未明确陈述。Hooley 1967 框架经 Artin 型换序，在 GRH 下有望给出精确结果。Murty–Murty 1984 待核实。
完成 $p \leq 127$ 的 $\omega(M_p)$ 完整因子分解和数值分析；验证 $q \equiv 1 \pmod p$ 结构。代码与 log 保留在 reference_mersenne_research/prop1/{code, logs}/，可作后续大范围数值实验的起点。
命题 1 本身：✓ 已严格证明（无条件，半页）。
命题 1 加强版：✗ 未证明；目标量级错误；BT 路径不可行；需要 GRH。
对 Mersenne 无穷的贡献：✗ 无逻辑桥梁，方向终结。
探索过程产物：✓ 换序恒等式 + 正确量级 + 文献空白识别 + 数值代码 — 可独立成文。