理可证得，P-2=（P1P2P3*...*Pn）-1显然也是素数，被任何从P1到Pn的素数除永远差1。
由于P是素数，P-2也是素数，俩个构成一对孪生素数。
那么问题来了，P和P-2构成的孪生素数对，比最初设置的那个“最大素数对”还要大，从而否定（Pn，Pn-1）为最大孪生素数对。
就像是爬梯子一样，无论（Pn-1，Pn）多大，永远能找到比（Pn-1，Pn）更大的素数对。
从而推翻假设中，“孪生素数对是有限的”这一结论，反过来“孪生素数对无限”便是对的。
中间的过程还有很多，但整体思路就是这样。
陆舟将他在黑板上罗列的过程从头看到了尾。
让人意外的是，他没有引用到任何现有的研究成果去解决这个问题。
这种跳出框架寻求答案的思路值得提倡。
但是……
陆舟总算是明白，为什么没人搭理他了。
“你构建的大素数P，确实可以保证不被从P1到Pn的一系列素数整除，但前提条件是Pn是最大素数。很明显，你掉进了一个逻辑陷阱，你如何证明Pn是已知的最大素数？”
迪让眉毛一挑：“你没看清我第一行写的是什么吗？在孪生素数对有限的情况下，取最大的孪生素数对（Pn-1，Pn）……”
陆舟：“2*3*5*7*11*13+1=30031。”
听到陆舟念出这行算式的时候，旁边围观的人群中，不少人的脸上浮现了一丝恍然，还有些人明显早就猜到了，这会儿已经忍不住小声笑了出来。
还有人……
小声鼓起了掌。
迪让愣住了，感觉有些不对劲，皱着眉头问道：“什么意思？”
陆舟叹了口气：“30031可以拆解为59和509两个素数的乘积，所以这个数是合数……你是自费来的普林斯顿吗？换我是你的教授，肯定不会帮你争取经费。”
旁边有人吹了声口哨。
“好了，请你闭嘴。”
意识到自己犯了个低级错误，迪让的脸涨红成了猪肝色，骂骂咧咧地一把扯下海报，将桌上的东西塞进背包。旁边有人对他吹口哨，但他毫不理会，头也不回地快速溜了。
陆舟有些无奈地耸了耸肩。
其实他还想告诉这位印度小哥，从数理逻辑的角度分析，为什么不能设（Pn-1，Pn）是最大的素数对，不过印度小哥很明显不打算给他指点的机会，也只能作罢了。
没有热闹可以看，人群很快就散去了。
只有一个人留了下来，正笑眯眯地看着他这边。
看着这位，陆舟发现有些眼熟。
连衣服都没换，正是昨天带他找到酒店的那个金发小姐姐。
见陆舟看向自己这边，莫丽娜挑了挑眉毛，笑着说：“第一天就干掉了一位选手？
请收藏：https://m.bl56.cc
（温馨提示：请关闭畅读或阅读模式，否则内容无法正常显示）