孪生素数分布的大规模计算实验：分段筛实现与经验统计分析

孪生素数猜想断言存在无穷多对形如 (p,p+2)(p,p+2) 的素数，但该猜想至今仍未解决。Hardy–Littlewood 的第一猜想给出了孪生素数计数函数的经典启发式渐近公式，而张益唐、Maynard 与 Polymath8 的工作则证明了存在无穷多对素数，其间隔有统一上界，但这一上界尚未降至 2 [1–3]。