← 返回项目目录
SRBase 是一个致力于证明广义 Sierpiński 和 Riesel 猜想的志愿计算项目——这两个经典数论难题被推广到所有从 2 到 1030 的整数进制。PrimeGrid 研究的是原始（2 进制）版本，SRBase 则将搜索范围扩展到所有尚未被其他项目解决的进制。
Sierpiński 问题问的是：对固定的进制 b，是否存在最小的奇正整数 k，使得 k·bⁿ+1 对所有 n ≥ 1 都是合数？Riesel 问题问的是 k·bⁿ-1 的对应版本。两个问题都有已知答案或猜想答案，但要证明它们，就必须对每个更小的候选 k 都找到至少一个使 k·bⁿ±1 为素数的 n，从而排除该候选。对许多进制而言，只剩下屈指可数的几个候选 k——每一个都需要在天文数字级的 n 上进行素性检验。
项目与 Mersenne CRUS（Conjectures R Us）合作运营，使用专门的素性检验软件（LLR2 和 PRST），针对支持 AVX-512 的现代 CPU 高度优化。2026 年初的更新新增了多 GPU 筛选支持，并兼容 Intel Arc 显卡，显著加快了候选数的排除速度。
SRBase 已在多种 k·bⁿ 形式的素数上斩获世界纪录，也大幅收窄了广义 Sierpiński-Riesel 问题的开放情形。对于希望在素数研究领域寻找新挑战的 PrimeGrid 志愿者来说，SRBase 是自然的进阶选择。