晚上5点30,许青舟走出图书馆,径直朝实验室过去。
正如他预料的一样,一切正常,调试完参数,进行变量控制。
在任小玲挥了挥手,说了句“学弟再见”之后,偌大的实验室里,就剩下许青舟一个人。
让机器继续运转,他掏出这段时间的稿纸,开始推算。
孪生素数猜想的推进过程依旧困难。
研究素数,首先就需要深入理解自然数的内在规律和性质,可素数在自然数中的分布又是极其复杂和不规则的,这使得预测和证明素数对的存在性变得异常困难。
这段时间,他验证过数种证明孪生素数猜想的方法,可最终发现只有张益唐的有效,并且在数学家们的努力下,已经定格在246。
这意味着,只要继续使用这个方法,将常数从246到2,就彻底证明了孪生素数猜想。
从246到2,似乎只有一步之遥,可事情并没有这么简单。
搞研究可能就是这样,走过99步才会发现,剩下的那1步比前面所有的历程加起来都困难。
许青舟手指轻轻敲击着桌上的纸张,目光看着稿纸上面的各种复杂公式。
“是不是可以跳出张益唐的GPY筛法框架。”
张益唐的方法仍然还是筛法的一种,他先证明了Bombieri-Vinogradov定理,得到了一个改良后的GPY筛法。
这种办法由于存在“筛法奇偶性问题”这样的本质障碍。
对于是否能够通过不断优化已有方法来完全证明猜想,数学界普遍认为其可能性微乎其微,张益唐本人对此也抱有同样看法。
许青舟吐了口气,其实,他对解决孪生素数猜想的大致思路已经很清楚。
运用形形色色的筛法,西格尔零点估计,还有L函数,自守形式.结合现在已有的成果,站在前人的肩膀上,摘到真理的果实。
不过,还是tm非常困难。
10分钟过去,许青舟揉了揉太阳穴,打算再把所有手稿都过一遍,看看能不能从细枝末节中找到点什么新的思路。
格尔斯通等人提出的筛法虽然相对精细,却不够灵活,没有回旋余地以调整误差。
改进版的GPY筛法又走到死胡同。
如果,把Selberg参数改成更加灵活的多项式函数
想着,许青舟拿起笔,在稿纸上面写起来。
λ的选择仍然是