<content>

就在陆舟看向这位印度小哥的时候，这位印度小哥明显也注意到了他。

当陆舟走近了之后，他满脸如沐春风的笑容，立刻用咖喱味的英语招呼道。

“嘿，哥们儿，你的眼光不错，你也是数论方向的？”

“算是吧。很令人……震惊的研究成果，”勉强听懂了他在说啥，陆舟看了眼那张海报，又四处看了下，发现周围并没有人对这里感兴趣地样子，便忍不住问道，“可为什么这里没人？”

“因为‘普林斯顿人’的傲慢与偏见，他们无法接受一个土生土长的印度人在数学上击败了他们，甚至毫无道理地拒绝让我上台作报告。看来还是同在大洋一侧的朋友更能理解我的心情，”这位皮肤略黑的印度小哥咧嘴一笑，伸出手，“迪让，尼赫鲁大学硕士生，你的名字？”

陆舟其实想说，我并不是很能理解你的心情，因为我的研究成果将在第五天的以报告会的形式展出，不过想了想，为了不刺激这外国友人，还是将这句话憋在了心里。

“陆舟，金陵大学，”没提自己的学位，陆舟伸出手和他握了握，然后便迫不及待问，“我可以看下你的论文吗？”

“论文在这，不过我推荐你看那玩意儿，”拍了拍手上的一叠纸，迪让将其丢在了旁边，然后搬出了一大块白板，用记号笔在上面写写画画了起来，“过程有点麻烦，但原理很简单，你只需要听我讲解一遍，很快便能理解反推数学的奥妙。”

“反推数学？”诧异地看着这位印度小哥，陆舟忍不住吐槽道，“你是用反推数学证明的？我还以为你是研究代数数论的。”

“代数只是研究数论的工具，并不是唯一途径……我知道这句话可能让你听起来有点不爽，毕竟你们的张先生为代数方法证明孪生素数有界距离开了个好头，而我拿出的这套证明方法，将意味他不但自己走进了死胡同，还带着一群数学家一起走进了坟墓。”

陆舟无语道：“……我并没有任何不爽，你能快点进入正题吗？”

迪让将黑板挂了起来，回头对陆舟得意地挑了挑眉毛。

“马上就好！”

就在这位印度小哥在白板上写写画画的时候，陆舟注意到，不少人将饶有兴趣的视线投向这边，并且朝着这边靠近过来。

怀着好奇的心里，站在海报旁边的陆舟，顺着这位印度小哥的证明思路看了下去。

其实抽象来看，他的思路很简单。

首先假设孪生素数是有限对，并且设最大的孪生素数对为（pn-1，pn）。可知pn以内的素数是有限的，设为p1、p2...pn-1、pn。

然后构造一个大素数p=（p1p2p3*...*pn）+1

显然p不能被从p1到pn的所有素数整除，永远余1，所以p是素数。同理可证得，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。”

听到陆舟念出这行算式的时候，旁边围观的人群中，不少人的脸上浮现了一丝恍然，还有些人明显早就猜到了，这会儿已经忍不住小声笑了出来。