BUG最终被李树找到,在二进制转化为十进制的程序在超过10的一百八十万次方之后就不能正确转化,而费马大定理恰好有 2<n<10^1800000的情况,自然会出现无法正确运算。 值得一提的是,在1987年,格朗维尔以电脑计算证明了 2<n<10^1800000时定理成立,而目前要证明的就是 n>2时定理成立。 经过一个小时,李树把六台电脑的程序修改完毕。如果不是拥有超强的脑力和数据处理能力,这种BUG修正,从找到再到修改,至少需要五个人高强度工作一个星期。 设定完程序之后,李树随后开始用程序开始证明2<n<10^1800000时费马大定理成立的情况,经过验证之后发现计算机能够顺利证明。 问题得以解决,让众人松了一口气。 这次抽调来攻克费马大定理的六个学生,都是燕京大学数学学院最顶尖的人才,其中三人已经确定被米国名校录取去深造。他们在看到李树这个非专业人士竟能够懂费马大定理的计算机证明过程,着实诧异,纷纷开始询问证明费马大定理的思路。 “计算机证明只是提供了一个证明思路,最终完成证明,还是需要人脑来思考,各位请把计算机证明过程吃透之后再寻找思路。”
李树笑道。 对于费马大定理的证明过程,这倒真是李树的知识盲区,如果他能从意识之海内把证明过程整理出来,那他真愿意把证明过程奉献出来,让国内大学扬名立万。帮学生们解决了设备问题,数学学院院长尹安把李树奉为座上宾,谈及未来引进教师去振蓝工业大学授课的事情。 “李总,我就不瞒你了,我和咱们学院的教授和讲师谈过,他们大都不愿意到贵校任职,就算保留他们的编制,您给他们加工资他们也不愿意,原因是在燕大有大号的前途,他们不想到贵校浪费时间。”
尹安面露难色道。 尹安有话直说,李树倒没觉得不快,燕大作为常年霸榜的华夏最好大学,要让他们放弃资历增长的大好机会去一所民办大学授课,似乎有些侮辱的意味。 其他学院的学科倒还好,李树可以通过黑科技系统的数据库持续输出,加上先进的教材,李树认为这能够应付,可基础理论的学科,李树掂量过自己,目前和顶尖学者专家还是有差距。 像是数学、物理和化学这些基础学科,李树编写教材的时候就显得力不从心,没法达到其他工业学科的水平。 李树明白强扭的瓜不填,对尹安表达了感谢之后,没再提向燕大数学系和物理系要师资的事情。目前看来,基础理论学院的师资问题只能靠自己,关键在于提升自己对基础理论的学术能力。 早在振蓝建立之初事情没现在这么多的时候,李树就已经把目前国内相关的高校数理化和生物教材吃透了,他发现这些教材距离真正顶尖的知识,还有不小的差距。那些顶尖的知识,还是得从外国引进。现在还不是互联网时代,知识的传输效率还比较低。 目前李树能从港澳方面可以获取一部分,而大部分还得飘洋过海从欧洲和米国获取。李树了解下来,目前巴黎高等师范学院获得菲尔兹奖的校友最多,说明其在数学学科上的独树一帜。 这么说来,可以考虑从巴黎高等师范学院引进教学方法和教材,这不算什么高精尖技术,可以托在德国的萧剑解决。 至于英国和米国的那些名校的教材和教学方法,李树倒是可以托目前已经去了港澳的,曾经在振蓝任职的三位公子哥去找他们的校友要。 何天佑毕业于哈弗,陈卓桦毕业于马省理工,学习最不好的庄子维也毕业于加州理工学院,这些人脉资源可以大加利用。确定了替代方案之后,李树便回了公司分别联络三个旧将。 答应最爽快的是陈卓桦,他说他自己手头就有相关的教材,至于那些高精尖的教材,他可以趁去米国的机会带回来。陈卓桦目前在港澳开了一家科技公司,提供控制系统方面的解决方案,算是干了他的老本行,他说生意虽然一般,不过他每天都很充实,也很开心。 李树承诺未来会给陈卓桦提供一些控制系统的设置业务,让陈卓桦很高兴。 庄子维也承诺会帮着联络斯坦福校友要教材。 他现在则在庄氏家族旗下的一家房地产公司担任负责人,他现在管人事得心应手,公司经营的很好,这要得益于在得益于他在振蓝的经历。 混得最好的是何天佑,他现在被委以重任,担任家族集团的营销总监,现在可谓是庄氏家族的当红人物,应该是为未来接班打基础。 何天佑直言自己没法帮李树,他说学的是工商管理门类,和那些数学、物理学门类的同学针尖对麦芒,相互看不起,要让他求那些人,他做不到。 李树从何天佑方面了解到,目前庄氏家族的大部分业务,已经转向房地产,而且取得了很大的成果,家族内部一致认为,没走发展尖端工业科技的路子是对的。 对这个事情,李树一言不发,再精明的人,也无法拒绝短期利益,而花钱如流水且难以收回成本的尖端工业,大多数人都会规避。 在李树看来,看重短期利益就赚短期的钱,看长期利益就赚长期的钱,这一道理不会改变。 和三人聊完之后,李树打开电脑,开始准备振蓝工业大学开工仪式的发言稿,明天将会有教育部和燕京市政府领导来参加,发言稿必须要能出彩。 明天开工仪式结束之后,振蓝工业大学就要正式开工了,而负责建设的就是大牌国企华夏建筑集团,工期最终定在不可思议的5个月之内完工。 为了这个高标准的加急工程,华夏建筑集团大举向周边城市招聘务工人员。果然如工程施工段子里说的,只要甲方先给钱,多大的困难乙方都能克服。 其实这些务工人员在振蓝工业大学完工之后,将要马不停蹄的去建设奥运场馆,那是李树负责的工程。