好在明美帮他买的是豪华列车的票，候车的人不是很多，而且候车的同时都保持着安静，只有偶尔低声交谈几句。
在站台上等了一会，随着车门打开，林染跟着人流走进车厢。
“北斗星3号列车……”
看着火车上面的名字，林染一边找着自己的卧铺包间，一边在心里思索着。
这名字，总感觉有点耳熟。
一时半会没想起来，他也没在意，寻到卧铺包间，推门走了进去。
这是个三人包间，左手窗边的只有一张床，右手窗边的则是上下铺，林染的位置是左手靠窗的单人床，这会剩下两个乘客还没来。
将包丢在床上，林染靠窗坐下。
火车离开动还要一会。
趁着这个时间，他掏出笔和本子放在桌上，也不着急写什么，先整理起了思路。
他倒是没和明美说笑，之所以坐火车，不坐新干线，就是准备趁着这段路程找找灵感。
不是写作的灵感，是数学的灵感。
“挪威的森林”他已经停笔好几天没写了。
那天挂掉刘大使的电话，等小哀走后，他闲着没事抽了个奖，数学女神或许是见他忘记宠幸自己太久，主动送上了门。
《素数间的有界间隔证明路径》
这是他这次沾完小萝莉的欧气后抽到的东西。
听起来很陌生，但他还有一个名字，叫：张氏证明法。
证明什么？
证明：存在无穷多对素数，它们之间相差小于7000万。
还听不明白？
“孪生素数猜想”，这个名字就耳熟了吧。
这是作为学术地位、知名度和研究热度上都与周氏猜测处于同一层级，甚至要更高半级的著名猜想。
如果把周氏猜测比作“梅森素数的GPS导航”，那么孪生素数猜想就是“素数间距离的终极密码”，两者都属于素数分布这个最古老、最迷人、最艰难的数学领域。
孪生素数猜想的核心内容就是：
存在无穷多对素数，它们之间相差2。
所谓“孪生素数”，就是像3,5、5,7、11,13、17,19这样，两个素数紧挨着，中间只隔一个偶数。
而这个猜想断言：这样的素数对永远不会消失，会一直延续到无穷。
“相差2的素数对有无穷多吗？”
这句话小学生都能理解，但人类为之奋斗了近2000年仍未完全攻克。
一直到前世2013年时，一位默默无闻的张姓大学讲师，在60岁时证明了：存在无穷多对素数，它们之间相差小于7000万。
这个“7000万”虽然离“2”还很远，但它是人类首次证明“素数之间的间隔可以有界”，是数论史上的一座里程碑。
“狗系统，你是不是见我日子过得太潇洒，给我找活呢？”林染一边看着本子上密密麻麻的数学公式，一边在心里吐槽了一句系统。
没错，他抽到的就是“张氏证明法”。
这个在当今时代还未出现，一旦发布，立马就能引爆整个数论界，让全球数学家为之疯狂。
但对于林染来说，他并不满足于“7000万”这个数字，就像他写书一样，既然站在了前人的肩膀上，那他自然要尝试一下，触摸到这颗数学皇冠上最璀璨的宝石之一。
不然，都对不起他数学家的身份。
所以这几天，林染一直埋头于孪生素数猜想，得益于前面证明周氏猜测的经历，同为素数猜想，两者有着天然的延续性和相似性。
“7000万”这个数字，在这几天，被他推到了“246”，即：存在无穷多对素数，它们之间相差 ≤ 246。
这是前世全球数学家合力才做到的优化接力，从13年到14年，无数顶尖数学家共同努力，才把7000万一步步优化到246。
林染只用了三天。
“啧~系统，你还真是要把我往全能学霸的路上推呀……”林染嘴上念叨着，手上的笔在本子上一下一下有节奏的敲着。
246还不是2，从246到2，还有很长的路要走。
而接下来的路，不再有任何前人的帮助，一切都将由他自己来走，每一步都是开拓，每一步都是创造。
很困难，但他的眼睛却很亮。
“如果把周氏猜测中的那个指数，和BOmbieri-VinOgradOv定理的余项结合起来……”
林染脑海中仿佛出现一个巨大的黑板，一个个L函数和素数分布被列在上面，而他正在尝试用新的筛法将算式推演下去。