BUG最終被李樹找到，在二進制轉化為十進制的程序在超過10的一百八十萬次方之后就不能正確轉化，而費馬大定理恰好有 2<n<10^1800000的情況，自然會出現無法正確運算。

　　值得一提的是，在1987年，格朗維爾以電腦計算證明了 2<n<10^1800000時定理成立，而目前要證明的就是 n>2時定理成立。

　　經過一個小時，李樹把六臺電腦的程序...