Современные эксперты сходятся во мнении, что Ферма на самом деле не обладал доказательством своей теоремы, хотя, возможно, умел её доказывать для двух частных случаев, а именно: для случая, когда показатель степени п равен 3, и для случая, когда этот показатель равен 4. Впервые доказательства для этих двух случаев были опубликованы великим швейцарским и российским математиком Эйлером в XVIII в. Заметим, что из доказательства теоремы Ферма для какого-либо показателя n немедленно вытекает её доказательство для всех показателей, делящихся на n. Таким образом, ещё в XVIII в. теорема была доказана для всех показателей, делящихся на 3 или на 4. Далее теорема Ферма была доказана последовательно для показателей, делящихся на 5 (1825 г.), на 14 (1832 г.), на 7 (1839 г.). К 1978 г. справедливость теоремы Ферма была установлена для всех показателей, меньших 125 000. Однако все эти успехи не позволяют утверждать истинность теоремы Ферма в её полном объёме, т. е. утверждать отсутствие таких положительных целых чисел х, у, z, которые смогли бы удовлетворить уравнению хⁿ + уⁿ = zⁿ хотя бы при одном каком-нибудь показателе п, большем чем 2.