花费45真理点兑换出来的这个x光刻机5nm芯片制程工艺，在林晓之前以为的，应该是和当前世界上那些芯片制程一样的5nm工艺。
但实际上，他从系统中兑换出来的这个5nm工艺，是真正的5nm制程。
当前不管是三星，亦或者是台积电，这些公司所谓的5nm工艺，其实都并没有真正达到5nm，可以说，这只是一种命名上的把戏，也就是俗称的营销，让外界一些不明就里的人以为他们真的那么牛逼。
普通的消费者可不清楚什么芯片物理极限，假如三星宣称自己是4nm，台积电却老老实实地说自己是5nm，到时候即使三星的4nm还不如台积电的5nm，但是难保不会有一些消费者就以为三星的更厉害。
这也是为什么现在都有消息宣称台积电又是搞3nm又是搞2nm的，明明3nm都已经到物理极限了，哪怕是4nm级别的时候，其实也已经会发生一些量子隧穿效应，影响芯片实际性能的情况。
就像英特尔的cpu仍然还是10nm以上制程，因为他们很清楚，别管你们吹个位数纳米制程的多牛逼，最后大家的实际工艺都还达不到那种实际程度，这样的话，那大家无非就是拼芯片设计能力了呗。
更何况英特尔在cpu上一直处于老大哥的地位，哪怕最近两年按摩店忽的支棱起来了，但在市场上和英特尔的差距还是比较大的，所以英特尔也就丝毫不在意用制程上的营销来宣传了。
不过，不论如何，这些情况，都是因为他们的实际技术不能达到真正所谓的制程，而林晓现在兑换出来的这个5nm制程工艺，却是十分实际的5纳米制程，也就是晶体管的源极到漏极之间的距离为5nm，也就是栅极的宽度为5nm。
这才是最标准定义下的芯片制程。
这也就意味着，如果使用这个工艺来制造芯片，他们将制造出这个世界上最先进的芯片！
他们可以在单位面积下，塞下更多的晶体管，而且，这几乎是一种一劳永逸的工艺。
因为不论之后其他代工厂的生产工艺如何更新换代，都需要先赶上他们的这个5nm工艺，因为他们这个可是真正的5nm。
当然，为什么系统给出的这个5nm是实实在在的5nm，肯定也是和他们的x光刻机有关系，毕竟，根据林晓的设计，他们x光刻机的光源波长，最终是选定为3.56nm的x光，相比起极紫外光的13.5nm波长，在制备这种微细制程的芯片上，显然是他们这种更小波长的光源占据优势。
“不枉费我花了45真理点啊。”
林晓心中感慨起来。
这样也算正常，毕竟，以他如今各学科等级，还要花费45真理点才能解决的技术，理当有如此作用。
这样看起来，虽然六十真理点花出去，没有探究到那个可能涉及到的系统的秘密，但是能够兑换到这两项技术，也还不算亏。
当然，封装材料这项技术，很快就能用上，至于这个生产工艺，就还需要等待以后光刻机真的造出来后再说了。
想到这，林晓也放下了心思，将这两项技术先放到脑海中的一边，反正存在系统那里的，也不怕忘记。
接下来，该看看另外的重点了。
也就是那几道从脑海中挖掘出来的几行公式。
林晓的眉头挑了挑，
今天花费了三次真理点，也让他记住了总共七道数学式子。
首先是之前兑换双工作台技术时的那两行数学式。
林晓脑海中回忆起了这两行数学式，然后从旁边拿起了草稿纸以及笔，而后便开始写了起来。
【ζ(1/2+it)=o(t^e）】
【ζ(1/2+it)/(t^e)=o（√plnp）】
写下这两道式子，林晓眉头皱起，开始思索起来。
第一行式子，他有印象。
“这似乎是……黎曼猜想？好像是黎曼猜想的弱化形式？”
想到这，林晓心中一震。
黎曼猜想的弱形式中，有一个林德勒夫猜想。
林德勒夫猜想是关于ζ函数于临界线上的增长速度的猜想，其表明了给出任意的e大于0，当t趋向于无限时，ζ(1/2+it)等于o(t^e），这对于黎曼猜想来说，是一种比较弱的形式，它最终能够推导出“给出任意e大于0，对足够大的n有pn+1-pn小于pn^e(1/2+e)”。
不过，随后林晓又将注意力转到了第二行式子上，再次生出了疑惑。
这个，又是什么意思？
√plnp？
莫非等于说，上面那个式子经过形式的变换后，能够推导出下面的这个等式？
但猛然间，他的脑海中灵光一闪，再次想起了一个关于黎曼猜想的弱形式，也就是大质数间隙猜想，而这是一个比林德勒夫猜想要强一些的猜想。
而该猜想认为，如果黎曼猜想成立，质数p与其后面一个质数之间的间隙应该为o(√plnp)。
这就是说，这第二个式子，等于将这两个黎曼猜想的弱形式给联系在了一起？
林晓的目光闪烁起来。
显然，这是一个颇为神奇的发现。
不管是从黎曼猜想这件事情上来说，还是他居然从脑海中那仿佛无穷无尽的公式海中发现了这样一个和黎曼猜想有关的事情。
不过，对于后者，他也知道自己探索不出什么来，去研究这玩意儿，也只是徒增好奇罢了，而关于前者，他同样也没什么好说的，毕竟他对黎曼猜想本身就没有什么研究，所以即使知道了这两个弱形式的猜想可以联系在一起，不过这大概又需要他花费不少的时间去研究。
而他现在可没有时间去研究黎曼猜想，毕竟，他可是还有一个多月就要提交去国际数学家大会报告的稿件了，他总不可能在这一个多月的时间里把黎曼猜想给搞出来吧？
不论如何，黎曼猜想也实在难的有些过分，实在要去研究，他还不如去研究同属千禧年七大难题之一的霍奇猜想呢，至少，他对霍奇猜想的涉猎要更多一些。
不过，谈到霍奇猜想的话……
林晓眉头一挑，又将另外五个式子写了出来。
这五个式子，赫然都和霍奇猜想有关系！
当然，这五个都和霍奇猜想有关系并不是巧合。
因为后面两次花费真理点时，林晓都已经做好了准备，所以他就专门挑了这些和霍奇猜想有关系的式子去记住。
他已经准备好在这段x光计划的闲暇时间中，尝试着来做一做关于霍奇猜想的研究。
不求解开，毕竟霍奇猜想的难度，可并不一定就比黎曼猜想低，甚至相对于被无数人研究过的黎曼猜想，霍奇猜想这个问题，就像是一个难啃的骨头，尽管代数几何中人才济济，但是也没有太多人敢自信的去挑战这个东西。