第240章 继续研发（2 / 2）

“我这次出差，有首长承诺会和高层谈，未来将会有一笔经费到科学院，就拿‘眼球输入设备’来说，目前战斗机研发中心的头盔研发部门已经感兴趣，为下一代战斗机飞行员头盔做准备，所以经费应该很快就来。”

见峰回路转，周院长高兴的拍李树大腿道：“好事情啊，经费一来，我们动力就足。”

越聊越高兴，周院长提到科学院研究员到振蓝工业大学挂职授课的事情。

在这个科学院一把手的协调下，周院长承诺每个月派一位院士到振蓝工业大学进行为其一周的授课和研讨。

这算是科学院送给还未建成的振蓝工业大学的一份大礼，之前感觉有障碍的师资问题，现在迎刃而解了，有了院士关环的加持，振蓝工业大学将会名气大振，有了一个相当好的开始。

饭后，李树带着程力去科学院把要用到的设备拆好，把图纸交给员工之后便放手让员工生产了。

今天李树的日程的最后一站是学燕京大学数学学院，就他提供给学院的电脑，需要进行一些程序调教。

据说目前该学院对费马大定理的研究进入了攻坚阶段，可电脑突然陷入了程序死循环，一直难以解决。

振蓝旗下的熊猫软件公司去处理过，不过并没有解决问题，目前只有李树去了。

刚到燕大数学学院，李树便看到一部分学生正进入教室自习或者去研讨室。

李树感叹这些学生们不但拥有超乎常人的智力，还有超乎常人的努力，就连难得的周末都不肯放过。

不一会儿，学院院长尹安便下楼带着李树去了电脑室。

六台蓝图1号齐刷刷的开着机，不过屏幕上都写红色的“错误”字样。

熊猫操作系统所有的系统提示都是中文，不过并没有指出错误在哪里。

学生们七嘴八舌的说现在只要运行那个定制程序，电脑便会死机，他们认为出现这种情况的原因是蓝图1号电脑的处理能力不行，或许换装IBM或者惠普的电脑或许能够行。

李树笑了笑后道：“证明费马大定理所需的运算过程对计算机硬件的要求其实不高，只用到蓝图1号40%的性能，用外国电脑证明费马大定理和用华夏电脑证明费马大定理，意义不同。”

在学生们的默然之下，李树开始查找电脑系统和程序里的问题，李树推测费马大定理的证明过程中触碰到了程序设计中的某个BUG，所以才会出现目前这种状况。

李树在飞速检索程序中BUG的时候，也没闲着，而是在脑中飞速回忆费马大定理的相关概念和前人的证明过程。

这就好像一场接力赛一样，后人根据前人的经验和方法不断的扩大非正则素数的上限。

目前费马大定理虽被传出被英国人怀尔斯证明，不过被多人指出有问题，最终宣布证明失败，不过按照正常的历史脉络，在明年1994年10月，费马大定理将会被怀尔斯彻底证明。

而这段时间，就是燕京大学数学学院的机会。