BUG最终被李树找到，在二进制转化为十进制的程序在超过10的一百八十万次方之后就不能正确转化，而费马大定理恰好有 2
值得一提的是，在1987年，格朗维尔以电脑计算证明了 2
2时定理成立。
经过一个小时，李树把六台电脑的程序修改完毕。如果不是拥有超强的脑力和数据处理能力，这种BUG修正，从找到再到修改，至少需要五个人高强度工作一个星期。
设定完程序之后，李树随后开始用程序开始证明2
问题得以解决，让众人松了一口气。
这次抽调来攻克费马大定理的六个学生，都是燕京大学数学学院最顶尖的人才，其中三人已经确定被米国名校录取去深造。他们在看到李树这个非专业人士竟能够懂费马大定理的计算机证明过程，着实诧异，纷纷开始询问证明费马大定理的思路。
“计算机证明只是提供了一个证明思路，最终完成证明，还是需要人脑来思考，各位请把计算机证明过程吃透之后再寻找思路。”李树笑道。
对于费马大定理的证明过程，这倒真是李树的知识盲区，如果他能从意识之海内把证明过程整理出来，那他真愿意把证明过程奉献出来，让国内大学扬名立万。帮学生们解决了设备问题，数学学院院长尹安把李树奉为座上宾，谈及未来引进教师去振蓝工业大学授课的事情。
“李总，我就不瞒你了，我和咱们学院的教授和讲师谈过，他们大都不愿意到贵校任职，就算保留他们的编制，您给他们加工资他们也不愿意，原因是在燕大有大号的前途，他们不想到贵校浪费时间。”尹安面露难色道。
尹安有话直说，李树倒没觉得不快，燕大作为常年霸榜的华夏最好大学，要让他们放弃资历增长的大好机会去一所民办大学授课，似乎有些侮辱的意味。
其他学院的学科倒还好，李树可以通过黑科技系统的数据库持续输出，加上先进的教材，李树认为这能够应付，可基础理论的学科，李树掂量过自己，目前和顶尖学者专家还是有差距。
像是数学、物理和化学这些基础学科，李树编写教材的时候就显得力不从心，没法达到其他工业学科的水平。
李树明白强扭的瓜不填，对尹安表达了感谢之后，没再提向燕大数学系和物理系要师资的事情。目前看来，基础理论学院的师资问题只能靠自己，关键在于提升自己对基础理论的学术能力。
早在振蓝建立之初事情没现在这么多的时候，李树就已经把目前国内相关的高校数理化和生物教材吃透了，他发现这些教材距离真正顶尖的知识，还有不小的差距。那些顶尖的知识，还是得从外国引进。现在还不是互联网时代，知识的传输效率还比较低。
目前李树能从港澳方面可以获取一部分，而大部分还得飘洋过海从欧洲和米国获取。李树了解下来，目前巴黎高等师范学院获得菲尔兹奖的校友最多，说明其在数学学科上的独树一帜。
这么说来，可以考虑从巴黎高等师范学院引进教学方法和教材，这不算什么高精尖技术，可以托在德国的萧剑解决。