До недавнего времени, любой новый мощный компьютер (процессор) проверялся на производительность именно поиском чисел, опровергающих теорему Ферма.
Так что давно уже можно было считать теорему Ферма, доказанной "от противного" простым способом. Но такое в математике не принимается. Ведь " а вдруг"...
Официальное ,нынешнее доказательство, конечно на уровне веры. Так как надо наверно слишком долго учиться, чтобы его понять. Даже тем, кто изучал высшую математику в ВУЗах.
Будет найдено доказательство попроще - честь и хвала. Хотя все сливки славы уже собраны и шуму такого уже не будет.