主题：一个华人几乎证明了孪生质数猜想，海外的 -- 老成都
家园 七千万以内的素数个数应该是可以暴力破解的。 家园 楼主似乎没有看懂张先生到底证明了什么 老张的证明是说他知道离这个指数相隔7千万的地方的那个数也是指数。而大家的目标是要证明存在只相隔2的质数对。这个7千万是两个质数之间的距离。
家园 没有这回事，你的中文好像比我还差了：） 不是相隔 七千万的距离以内一定有两个素数，是相隔七千万的距离内一定有无穷多的素数对。这是有巨大差别的。
家园 你的意思是说老张那个PI(X)定义不是指的x 范围内素数的个数？老张的原文用的是希腊字母，但我凭以前的映像就是这么认为的。我也查了素数表，这个理解和素数表大体一致的。陶的博客里也说问题是解决那个3百五十万，不是这个七千万啥的。七千万以类的素数大约有5百多万。正好大致满足满足那个不等式
这里我们只讨论老张论文里的那个不等式，老张证明了什么我是知道的。我们不讨论老张证明了什么，只讨论老张那个不等式的含义。
说的更清楚一点，根据老张定理，任何满足PI(X)-PI(3500000)>3500000 的x间距内一定有无限多的素数对，现在问题变成了这个间距最小可能是多少，老张简单的说是七千万。
大家在这里讨论的不是如何改进老张的证明，是如何暴力破解最小的符合老张不等式的偶数x.
你看了老张的证明吗？
家园 从另外角度说一下暴力破解的idea 看楼主口气是个码农，没有瞧不起的意思，我也是，只不过是个数学系出身的码农而已。关于张证明了啥，你可以去水木翻翻数学版的帖子。我不想费口水了。只是想说不要以为数学家不会写两行代码暴力破解啥的，专门有个数学分支就叫机器证明，吴文俊就是搞这个的。如果真像你说的都能暴力枚举了那在数学上根本就不叫个事儿了。
家园 我的中文没说清楚，但后面跟帖后面有二次解释。 家园 内行的意见总是会被淹没在外行的口水中。忍着点吧
家园 专家有话那就＂暴力＂一段MATLAB献个丑^_^ ＂晒法＂，很粗暴的，专家们莫笑。
俺的破电脑够算５千万，几秒钟，７千万就不够。
function primes=findprime(n)
primes=2:1:n;
nn=floor(sqrt(n));
for i=1:nn
if(primes(i)~=0)
primes(i+primes(i):primes(i):end)=0;
end
end
primes=primes(primes~=0);
家园 对一个问题的正确理解很可能不止一个 最常见的例子可能就是对概率的理解了。
最近正为这个纠结中。
家园 那一般都是定义不明确的缘故。。。 数学里面最先做的就是用数学语言描述一个命题，比如孪生素数这个说法是科普性的，在数学里面它会变成一个一般人一看就头痛的说法。。。
家园 我来唱个反调 象哥德巴赫猜想、费马定理等数学难题，其意义等同于儒家强盛时期的诗词。它们是数学的“明珠”，但对圈外人和现实世界却没啥意义。你能说这些数学难题能对科技工程有多少帮助吗？
好比脍炙人口的诗词能让人充满“正能量”，数学难题也会唤起人们对科学的关注，但本质上它仅仅是个精巧的游戏，要是因此把陈景润等人视作“大科学家”，那就有些贻笑大方了。
- 复 我来唱个反调
家园 也是理工科的回一句 数论这东西说没用一堆人不干，但说有多用嘛其实支持的人底气也不足。就跟经典热力学和统计热力学的关系差不多，比如屋子里的空气分子会不会都跑到屋子的一侧，另一侧是真空，呆在真空那一侧的人憋死呢，经典热力学表示，这不可能，统计热力学表示，可能，但概率灰常灰常灰常的小，就不要杞人忧天了。。。
- 复 我来唱个反调
家园 这个看法太实用主义了 数学史上好多这样的例子：数学家发现了一种方法（或思想），也不知道有什么用，反正就是一帮人自娱自乐地研究。过了一段时间，这种方法（或思想）不流行了，就没有人玩儿了。又过了更久一段时间，那种方法（或思想）被其它应用学科，比如物理、生物、……，重新发现，然后推动该学科往前面大大地进了一步。