前9个素数基的强伪素数

定义 $\psi_m$ 为前 $m$ 个素数基的最小强伪素数。$\psi_m$ 的精确值对于 $1\le m \le 8$ 是已知的。Z. Zhang 发现了一个19位十进制数 $Q_{11}=3825\,12305\,65464\,13051$，它是前11个素数基的强伪素数，并猜想 $$\psi_9=\psi_{10}=\psi_{11}=Q_{11}.$$ 我们通过算法证明了该猜想。