众所周知，任何逻辑都要自洽，n=26时，n^2~(n+2)^2即26^2~(26+2)^2，即676~487之间没有孪生素数对。
在676~487这个之间没有孪生素数对是统计的结果，非理论逻辑的结果。
通过排除这个区间的反例情况和后进行猜想：非0整数n,n^2~(n+2)^2之间有孪生素数。
众所周知，孪生素数都是奇数，因此讨论孪生素数必须在奇数集合讨论，那么n为偶数时，就不是在同一集合讨论了，即违反了逻辑的同一律。因此n=26时，n^2~(n+2)^2即26^2~(26+2)^2，即676~487之间没有孪生素数对就是逻辑的同一律的制约结果。那么在n趋于无穷的过程中，由于无法验证排除反例的存在，所以孙智伟教授的猜想以排除n=26为条件是不严谨的！

众所周知，任何逻辑都要自洽，n=26时，n^2~(n+2)^2即26^2~(26+2)^2，即676~487之间没有孪生素数对。
在676~487这个之间没有孪生素数对是统计的结果，非理论逻辑的结果。
通过排除这个区间的反例情况和后进行猜想：非0整数n,n^2~(n+2)^2之间有孪生素数。
众所周知，孪生素数都是奇数，因此讨论孪生素数必须在奇数集合讨论，那么n为偶数时，就不是在同一集合讨论了，即违反了逻辑的同一律。因此n=26时，n^2~(n+2)^2即26^2~(26+2)^2，即676~487之间没有孪生素数对就是逻辑的同一律的制约结果。那么在n趋于无穷的过程中，由于无法验证排除反例的存在，所以孙智伟教授的猜想以排除n=26为条件是不严谨的！
基于此，崔坤把n设为奇数，则有崔坤猜想：奇数n≥1，在n^2~(n+2)^2之间一定有孪生素数对；
也可以拓展为孪生素数p≥3，在p^2~(p+2)^2之间一定有另一对孪生素数对。
由于崔坤猜想缩小了n的范围仅在奇数集合，因此崔坤猜想比孙智伟猜想更强。

崔坤的《孪生素数猜想及其推论之证明》论文彻底证明了:
【1】孪生素数猜想,
孪生素数对个数下界函数公式：Linf(x)=0.8487x/(lnx)^2-2
【2】（推论一）奇数间隔平方孪生素数猜想：
奇数n≥1，区间：（n^2~（n+2）^2），公式0.8487n/(lnn)^2
【3】（推论二）孪生素数间隔平方孪生素数猜想：
孪生素数p≥3，区间：（p^2~（p+2）^2），公式0.8487p/(lnp)^2
因为已经彻底证明了上述猜想，因此名之曰：崔坤孪生素数定理

左茂熊碰了一嘴毛

25²～27²有多少孪生素数对？
用泰勒展开粗略估计：
0.8487×25/(ln25)²≈2
查素数表可知有且仅有：
（641，643），（659，661）这两对。
我们运用崔坤的孪生素数对个数下界公式：
Linf(x)=0.8487x/(lnx)²-2.，求差△：
△=0.8487*27²/(ln27²)²-0.8487*25²/(ln25²)²
=0.8487*729/(ln729)²-0.8487*625/(ln625)²
=14.239…-12.729…=1.51…
故25²～27²之间至少有2对孪生素数对。
左茂熊碰了一嘴毛

29²～31²之间至少有几个孪生素数对？
运用泰勒展开粗略估计有：
0.8487*29/(ln29)²≈2.
我们运用崔坤的孪生素对个数下界函数公式：
Linf(x)=0.8487x/(lnx)²-2计算△:
△=Linf(31²)-Linf(29²)
=17.34…-15.73…=1.61…
故29²～31²之间至少有2对孪生素数

HZ以为捡到了块骨头。

OEIS发布了也一样有错！HZ自认为捡到了块骨头

HZ妄图抱孙教授的大腿，可惜的狠，
人家瞧不起你这条丧家犬。