废文网 - 科幻小说 - 超级工业黑科技系统在线阅读 - 第264章 证明费马大定理卡壳

第264章 证明费马大定理卡壳

    李树驱车去公司的时候,回味着昨晚睡前的智力提升计划中一些有意思的细节。

    昨晚和模拟出来的三段选手对弈的时候,李树竟赢了不少,也说他没想到,看来棋逢对手,菜鸡互啄,也就是这个样子,就看谁的运气好一点。

    那些在李树脑中模拟出来的对手,李树把他们想象成木木呆呆,带着眼镜的初入行的小伙,亦或是多年都没能实现的段位升级,准备放弃的大叔。

    总是在这种模拟对弈中,虽见不到那个模拟对手的形象,不过只要想象一下,还是挺有意思。

    因为系统一开始就说明,这些模拟出来的选手,是源自显示的真实选手的下棋思维过程,他们曾经都真实的存在于这个世界。

    刚到公司,李树就让程力去文具店去买围棋,他准备放一套在公司,用来刺激自己的大脑对围棋的兴趣,因为兴趣总是最好的提升助推剂。

    分神了一会儿,李树迅速把注意力放回到公司事务上。

    今天的任务不轻松,极光3号深紫外光光刻机进行压力测试和并试产目前振蓝最高性能HXNB-888-3。

    华夏国民或许还不知道,这台目前华夏最强的光刻机和最强的商用芯片,已经达到目前米国80%的水平,距离赶超,似乎只有一步之遥。

    不过,从情报分析来看,目前西方发达国家的光刻机和芯片技术,也正处于高速增长期,所以必须在技术和人才的扩张速度上超过西方发达国家,才有可能真正赶超。

    总装好的极光3号深紫外光光刻机由于一部分零部件的供应问题,最终设计的极限制程性能被限制在210纳米。

    本来是可以实现ArF准分子激光的,达到190纳米水平的,不过由于材料和部件的问题,最终ArF准分子激光标准未能实现,所以,这算是阉割版。

    只能等着极光3号改进型出来才能最终达到ArF准分子激光。

    按照李树对光刻机和芯片的升级进度表,目前慢了一步。

    按照进度表,2000年奥运会前夕,振蓝深紫外光光刻机达到130纳米制程水平,芯片工艺达到奔腾3水平,第一次和世界商用芯片一流水平持平。

    到2004年,达到70纳米制程水平,第一次成为世界性能最好的商用芯片。

    2004年,也就是差不多10年后,是华夏芯片的分水岭,在李树的计划里,那一年华夏将彻底解决芯片被卡脖子的问题。

    “李总,一切准备就绪,可以开始压力测试了。”研发部主管薛亦为提醒李树,才让李树从思绪中剥离出来。

    李树身着防尘服,进入光刻机作业车间,开始设置参数。

    这一过程目前只有李树精通,其他员工还在艰难的学习中。

    唯一能够看见过程的,就只有光刻机步进式显微镜镜头不断的在掩膜版上方移动,这是在硅片上创造一座城市的过程。

    在极限制程之下,光刻机并没有报错,继续正常工作,让李树松了一口气。

    210纳米制程的HXNB-888-2集成400万个晶体管,晶体管数量已经超过目前的奔腾处理器,不过,由于架构和工艺的因素,目前性能仅仅达到80%。

    这是华夏乃至亚洲芯片制程的巨大突破,估计在十年后的2003年,也不再会出现“汉芯一号”那种扯蛋的欺诈事件,因为华夏真能一条龙造出领先世界的芯片。

    在第一块硅片光刻完成之后,紧接着就是切割、封装、测试的流程,李树让员工们在总部就完成,没有拿去给牡丹电视厂干。

    振蓝虽不承包生产的所有流程,不过不代表不具备生产能力,如果在生产流程必须要自己完成的时候,要拿得出手。

    直到下午一点,整个HXNB-888-2改进型芯片测试通过,完成第一批试产。

    研发部和芯片车间的员工们沸腾了,作为工作量最大,最费脑的部门,他们繁琐、不容出错的工作过程,让他们很压抑,为了等这一刻,他们憋太久了。

    李树随即宣布芯片车间的员工上个月获1.75倍积分,相关管理层按贡献分别获1.65和1.75贡献值,让员工们再次沸腾起来。

    李树心里暗想,这次积分和贡献值兑换之后,芯片产线的员工估计将会有人开上小汽车了。

    之前李树和长城、吉利、比亚迪三家车企达成协议,让振蓝的员工能够以市面上不可能出现的优惠价按需购车,算是一项振蓝的福利。

    李树从车间出来之后,随便吃了个汉堡可乐充饥,便匆匆赶往燕京大学数学学院,今天他要帮该学院完成费马大定理最后的证明。

    李树从欧洲联络人萧剑那里得到消息,目前怀尔斯也正在集结团队对费马大定理进行最后一步的证明,即证明n>2时定理成立。

    萧剑并不懂数学,而且怀尔斯的研究过程是全程保密的,所以只能盲人摸象的给出一些信息。

    李树分析下来,怀尔斯已经进入了最后的攻坚阶段。

    让李树郁闷的是,超级数据库里并没有费马大定理的证明过程,而意识之海里,关于费马大定理的证明也仅仅到了瓦格斯塔夫以电脑计算证明2
    李树刚到数学学院,便看到他们的院长尹安在楼下等着了。

    尹安有些着急的道:“李总,你总算是来拉,我们现在卡在2
    “或许要换个思路啦,尹院长。”李树摸着下巴道。

    李树和尹安去到教研室的时候,看到六个数学系高材生正在打盹,据说他们昨晚一夜没睡,这是他们唯一休息的机会。

    他们见李树一来,就好像看到救世主一样,瞬间精神起来。

    他们用期许的目光注视着李树,希望李树能从计算机程序上做出优化,可李树却道:“同志们,或许要发动大家的大脑,而不是用电脑了。”

    正当高材生们神情黯然的时候,李树到教研室的黑板上一边写,一边道:“先引入伽罗瓦群论看看能否找到切入点。”无必勿增的超级工业黑科技系统