问题
高斯整数 ℤ[i] 中的素数（高斯素数）在复平面上形成一副 «均匀但不可预测» 的星空。把相邻素数（欧氏距离不超过固定 D）用线连起来，问：整片星空是否连通？更精确的「高斯沼泽问题」（Gaussian moat）：对某个固定步长 D，是否任意远处的素数都可由步长 ≤ D 的链连回原点？若对每个 D 都存在 «任何步长 D 的链都穿不过» 的区域（沼泽），则答案是否定。数值实验（Gethner–Schnitger 等）显示沼泽似乎不存在，但对任何 D 都没有证明——这是 «有界间隔» 的二维版，且比一维更难：一维的 Maynard 定理给出素数间隔一致有界，二维的连通性远超现有技术。
主要概念
高斯素数的判别与计数
ℤ[i] 是唯一分解整环（赋范欧氏环：范数 N(a+bi) = a²+b² 做除法余数递减）。素数三类：①1 ± i（范数 2）；②实轴/虚轴上的有理素数 p ≡ 3 (mod 4)（范数 p²）；③满足 a²+b² = p ≡ 1 (mod 4) 的非轴素数（两两共轭成对）。范数 ≤ x 的高斯素数总数 ~ (3/2)·x/log x（由素数定理 + 算术级数 + 二平方表示的唯一性）。
奇偶纹理：为什么近处必有沼泽
非轴高斯素数的实虚部必一奇一偶（否则范数为偶合数）。把格点按 (实部, 虚部) 的奇偶染成四色，素数只占两色（棋盘的两黑格）。步长 1 的水平/垂直步必然换色——而另一色全无素数，链根本无法迈出第一步（命题 2）。这就是 «纹理» 的含义：素数的可达性被模 2 的算术硬约束死锁在小邻域内。
主要命题与证明
命题 1（完整证明） 高斯素数有无穷多个。
证明 反设高斯素数只有有限多个（取陪集代表各一）：π1, …, πk。令 P = π1⋯πk，考察 z = P + i。对任意 j：z ≡ i (mod πj)，若 πj | z 则 πj | i，但 i 是单位而素数非单位，矛盾。又 N(z) = N(P) + 1 ≥ 4 + 1 = 5，故 z 非单位，由唯一分解它有素因子 π，不在清单中，矛盾。□
命题 2（完整证明） 以步长 1（水平或垂直相邻）的链无法离开任何起点——即步长 1 的沼泽是全平面：任何两个不同的高斯素数都不能水平/垂直相邻。
证明 设 z = a+bi 与 z+1 都是高斯素数。z 与 z+1 的范数是相邻整数 N 与 N+1。轴外素数的范数是奇素数 ≡ 1 (mod 4)，轴上素数的范数是 ≡ 3 (mod 4) 的素数平方或 2。逐情形：若 N 偶，则 N = 2（唯一偶素范数），z = 1+i 或其单位旋转，验证 z+1 = 2+i 的范数 5 为素数——是素数！故 1+i 与 2+i 相邻；但离开这对点再走一步即落入奇偶陷阱：2+i 的邻点 3+i（范数 10 合数）、2+2i（范数 8）、2（范数 4）、2（重复）——全部合数。一般地（N 奇情形）：设 z = a+bi 非轴素数，则 a, b 一奇一偶；若 a 偶 b 奇，则 a+1 奇，z+1 的两分量皆奇，范数 ≡ 2 (mod 4) 且 > 2，必为偶合数；同理垂直步。□
命题 3（Gethner–Schnitger 2004，计算定理） 步长 < √26（即允许 5 步内全部向量）时，在他们验证的范围内（素数范数至 10⁹ 量级）整片 «星图» 连通：任何验证范围内的高斯素数都能通过步长 < √26 的素数链连到 1+i。这是 «沼泽不存在» 的全部证据——纯计算，无证明。
命题 4（已知沼泽的下界，严格梗概） 存在宽度 ≥ 某绝对常数的沼泽无穷多次：取实轴上 «n!+2, …, n!+n» 型合数长条，配以虚方向的模 4 纹理论证，可在高度受限的带状区域内构造无素数走廊；走廊的宽度受 «素数在短区间内的分布» 技术限制，目前远小于数值实验中的 «连通步长»。
进展与文献
高斯沼泽问题最早见于 Richard Guy 的难题集（并归入 Erdős 与 Graham 的口头传统）；Gethner–Schnitger〈Prime walks〉(2004) 给出 √26 的系统计算与 «1+i 到每个素数» 的显式路径；后续 R. L. Graham 等的推广讨论了 «素数幂步长» 与 «k-维高斯整数» 的沼泽。理论侧的最佳已知：一维素数间隔一致有界（Maynard 2015）不能直接二维化——二维连通需要 «素数在二维邻域的同时存在»，其自然猜想层面（素数在二维盒中的联合分布）是 «素数随机性严格化»（问题 50）的组成部分。沼泽问题因此站在两支力量的交点上：算术组合（间隔理论）与解析数论（二维素数分布）——两支都还差得远。