力不行，或许换装IBM或者惠普的电脑或许能够行。

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

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

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

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

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

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