pierre de fermat' ın 350 yıl kadar önce ortaya attığı son teorem, ispatlaması en zor matematik teoremi olarak kabul edilir.
andrew wiles, yedi yıl boyunca inzivaya çekilerek, bilgisayardan hiçbir şekilde yararlanmadan bu teoremi ispatlamıştır.
çalışmalarında bilgisayar taraftarı olmayan wiles, bilgisayar kullanmayı öğrenmenin ayrı bir beceri gerektirdiğini ve matematiğe vereceği zamanın önemli bölümünü çalacağını öne sürmüştür.