问题
奥珀曼猜想（1882）由两半组成：对每个 n ≥ 1，
第一半即勒让德窗口；第二半把下一个平方与后一个「对角矩形」(n+1)(n+2) 之间的短窗口（长 n+1）也纳入。它与勒让德、Andrica、Brocard 共同构成「平方格子」间隙层级。
主要概念
四个猜想的强弱链
四者的蕴含关系需要逐条检验、并不像直觉期望的那样整齐：Andrica ⇒ 勒让德（下文命题 1）；而勒让德、奥珀曼都推不出 Andrica（命题 2 给出局部反例构型）。Andrica 猜想：√pn+1 − √pn < 1 对一切 n，等价于 gn < √pn+1 + √pn ~ 2√pn。Brocard 猜想（问题 27）则属于另一条支线。
启发式证据
在 (n²,(n+1)²) 内期望素数个数 ~ 2n/log(n²) = n/log n → ∞，故 Oppermann「理应」远易于是；数值验证至极大范围无一反例。困难纯粹是方法性的：现有下界工具（零点密度）给出的窗口是 x0.525，而目标窗口是 2√x = 2x0.5。
主要命题与证明
命题 1（完整证明） Andrica 猜想蕴含勒让德猜想：若全部相邻素数间隙满足 √pn+1 − √pn < 1，则每个 (n², (n+1)²)（n ≥ 1）内都有素数。
证明 反设某 (n², (n+1)²) 内无素数。令 p 为 < n² 的最大素数、q 为 > (n+1)² 的最小素数。先证 p、q 相邻：若二者之间有素数 r（p < r < q），则由 p 的最大性必有 r ≥ n²（否则 r 是 <n² 的更大素数），由 q 的最小性必有 r ≤ (n+1)²（否则 r 是 >(n+1)² 的更小素数）；而 r ≠ n²、r ≠ (n+1)²（正整数平方中仅 1 之外皆合数），故 r ∈ (n², (n+1)²)，与反设矛盾。于是 p、q 是相邻素数。又 p < n²（素数非完全平方）故 √p < n；q > (n+1)² 故 √q > n+1。于是 √q − √p > (n+1) − n = 1，与 Andrica 矛盾。□
命题 2（蕴含链的边界；局部构型） 勒让德与奥珀曼都推不出 Andrica：存在局部一致的素数构型，同时满足奥珀曼的两个半部、却违反 Andrica。构型取素数段 ⋯, 83, 89, 109, 113, ⋯（即间隔 89 → 109，中间无素数）。
验证 ①Andrica 在此处失效：√109 − √89 = 10.44031 − 9.43398 = 1.00633 > 1（等价验证：109 > 89 + 2√89 + 1 = 108.87，即 pn+1 > (√pn+1)²）。②奥珀曼的两个半部在该邻域全部满足：(81, 100) 内有 83、89；(100, 121) 内有 109、113；(121, 132) 内有 127；对角窗 (100, 110) 内有 109、(121, 132) 属下一对。③一般地，违反 Andrica 需要间隙 g ≥ 2√pn + 1，而奥珀曼只要求每个平方窗与对角窗内「有素数」——间隙的两个端点本身即可分别充当相邻两窗的素数（如 89 之于 (81,100)、109 之于 (100,121)），故两者不冲突。这说明三个猜想的逻辑地位彼此独立，各自的证明需要各自的工具。□
命题 2（RH 窗口的精确计算） 在 RH 下，对充分大的 x，(√x)² = x 与下一个平方之间有素数，只需窗口长度 ≫ √x·log x 的常数倍——但相邻平方的窗口恰为 2√x+1，故 RH 不能推出勒让德/奥珀曼。定量地：RH 给 π(x) = Li(x) + O(√x log x)，两平方点 n² 与 (n+1)² 处 Li 的增量 ~ 2n/log(n²) = n/log n，而误差包络 ~ n log n 比 n/log n 大 log² 级——素数的「确定性存在」被误差项淹没。
注 这解释了该层级猜想的独立价值：它们是比 RH 更「点态」的素数分布陈述，需要零点相位信息而非仅模长信息。突破的现实路径是新型的「平方点求和」（如 ℓ²-范数的加权短区间估计）。□
进展与文献
已知：窗口 x0.525（BHP 2001，见问题 09）；条件于 RH 的 √x·log x。数值上 Oppermann 对 n 至 10⁹ 全部成立。文献：Brocard 的原始通信；Dusart 对 π(x) 的显式界（为小范围验证提供工具）。