李涛确实干了件惊动全校的壮举，他一举证明了法诺代数簇的有界性。

也正因为这个巨大成就，李涛才能顺利在大学摆烂了四年。

这时大屏幕里刚好传来了李涛的声音：“刚刚那个证明太简单了，我们换个稍微难点的，就证明一下相差246的素数对有无数对好了。”

他这话一出，台下瞬间炸了。

“真的假的？他吹牛呢吧？”

“玩这么大的吗？论文评议现场改课题？”

“这人这么装的吗？”

而在另一间教室内，对李涛最为熟悉的基础数学系主任歪嘴一笑，一副我早就料到的表情。

乐杉杉见状也只能重新回到自己的位置坐下，心中则暗暗祈祷李涛别整幺蛾子。

只是李涛却是完全不知道她的担忧，此时他正一脸平静的在白板上书写证明过程。

他为什么要主动提高难度呢？

因为他笃定台下这些面试官，肯定不懂真正的高等数学，g-p-y定理他们或许还能理解，可张益唐大佬所用的赛尔伯格筛法，这些人百分百不懂。

而他要的就是这些人听不懂，不然现场这么多人，你问一句他问一句的，他猴年马月才能面试完啊？

所以他直接给这群公务员上点强度，让他们彻底无话可说。

这就叫做先声夺人，打得一拳开，免得百拳来。李涛他大学四年为什么能如此优哉游哉的咸鱼四年？正是因为他刚上大一就完成了一篇超牛的论文，让他可以直接摆烂四年。

当即他拿起笔就在白板上写了起来。

“一个由互不相同的非副整数构成的集合h=h1，。。。hk，若对任意素数p，h中数除以p得到的余数类少于p个，则定义集合h为可接受的。

“如果证明了存在无穷多个n，使得{n+h1，....，n+hk}中至少有两个素数，定义theta（n）=lnn，如果n为素数；定义theta（n）=0，如果n为合数，我们可以恰当选取函数lambda（n），之后定义s1（x）=λ2（n）x≤n<2x;s2（x）=+hiλ2(n)x“······由此可证:s2-(log3x)s1>0。根据lambda函数可得k≥246，故lim{n-∞} inf（pn+1—pn）<246成立，即差值等于246的素数对有无数对。”

随着李涛将所有证明写完，整个阶梯教室一片死寂，台下的所有与会者都在疯狂的验算着。

今天能来参加论文评议的，无一不是数学领域的翘楚，所以当李涛开始正式书写证明过程，所有人都第一时间跟着验算了起来。

只是刚开始时，大家还都能跟上李涛的思路，可当证明进行到三分之一时，就已经有不少人开始跟不上了。

倒不是李涛的证明有什么问题，又或者现场的数学家们不够聪明，只是他们在李涛证明所用的塞尔伯格筛法方面没太多涉足。

在如今这个时代，数学已经无限细分，很难再出现曾经那种全才了，一般大家都只会选择几个自己感兴趣或者擅长的方向进行研究。

所以当李涛的证明到达最后部分时，全场已经只剩没几个还能跟上了。

不过虽然其他人没法完全跟上李涛的思路，但却丝毫不影响他们的认真。

像是孪生素数猜想这个级别的问题，想要现场聆听它的证明过程，这机会可太太太难得了。

当然，李涛此时所证明的还只是一个弱化版的猜想，但这也已经是里程碑式的巨大成就了。

如果今天的证明最终被确定成立，那么李涛的名字就注定被写进数学史当中。

而当李涛写下最后的结论：故lim{n-∞} inf（pn+1—pn）<246成立，即差值等于246的素数对有无数对。

现场所有人都齐刷刷看向教室内那几个为数不多还能跟上思路的大佬。

而他们在一阵漫长的沉默后，齐齐抬起头，无比激动的对视一眼，而后冲所有人狠狠一点头。

“证明成立！至少大方向上肯定没问题。”

“我刚刚用反推法验证了一下，这个证明方法都无一例外的成功了。”

“刚刚我一直在把证明过程发给陶教授，他刚刚回复我，目前为止，他没有发现证明中存在任何疏漏，至少大方向上，这个证明没有问题。”

“这么说，我们可以宣布，我们在孪生素数的猜想上，迈出了长足的