BigInteger.nextProbablePrime()返回大于当前值的最小概率素数，基于Miller-Rabin测试，对≤2⁶⁴数100%准确，更大数误判率低于2⁻¹⁰⁰，结果严格递增且确定性。
BigInteger.nextProbablePrime() 方法用于返回大于当前 BigInteger 的最小整数，该整数**极大概率是素数**（probable prime），它不保证 100% 是素数，但在实际应用中错误概率极低（通常小于 2⁻¹⁰⁰），可视为可靠。
基本用法：直接调用即可
该方法无需参数，调用后返回一个比原值严格大的、最接近的“概率素数”：
- 输入必须是非负整数（负数会抛出
ArithmeticException） - 若当前值已是素数，它仍返回下一个更大的概率素数（不是自身）
- 结果一定 > 原值，且是确定性的（相同输入总得相同输出）
示例：
BigInteger n = new BigInteger("100");BigInteger p = n.nextProbablePrime(); // 返回 101（确实是素数）
为什么叫“概率素数”而不是“确定素数”？
底层使用的是Miller-Rabin 素性测试（对大数）和小范围试除法结合。Miller-Rabin 是概率算法——理论上存在极小可能将合数误判为素数（伪素数）。但 Java 实现对不同位长使用足够多的轮数（如 64 位以上用 10+ 轮），使得误判概率远低于硬件出错概率，工程上可忽略。
立即学习“Java免费学习笔记（深入）”；
- 对 ≤ 2⁶⁴ 的数，Java 保证结果 100% 正确（已验证所有边界）
- 对更大数，仍是高置信度概率判断，但无已知反例
常见注意事项
- 性能随数值增大而下降：检查越大、越稀疏的数，尝试次数越多；例如从 10¹⁰⁰ 开始找下一个概率素数，可能需检测数百个候选数
- 不适用于寻找“第 n 个素数”或区间内全部素数：它只找“下一个”，无法跳过或批量生成
-
不能替代密码学级素数生成：虽然足够安全，但密钥生成通常还需额外校验（如 OpenSSL 使用更保守策略）或使用专用 API（如
SecureRandom+ 自定义素性验证）
简单实用示例：找连续几个概率素数
如果你想从某起点开始获取多个“近似素数”，可以链式调用：
BigInteger start = BigInteger.valueOf(1000);BigInteger p1 = start.nextProbablePrime(); // 1009
BigInteger p2 = p1.nextProbablePrime(); // 1013
BigInteger p3 = p2.nextProbablePrime(); // 1019
注意：这些结果在绝大多数场景下就是真实素数，可直接用于哈希、分片、教学演示等用途。
