Не вижу причин считать её недоказанной.
Доказательство существует. Оно находится в открытом доступе. Оно прошло научное рецензирование. Все, кто продрались через это доказательство, находят его верным. Если конкретному математику оно кажется подозрительным, он, безусловно, может перепроверить его самостоятельно, и очень хорошо, если он это сделает. Есть, конечно, вероятность ошибки, она в сложных задачах всегда есть, но этим великая теорема Ферма не отличается от всех прочих теорем с длинным и сложным доказательством. Я не знаю, например, как именно Перельман доказал гипотезу Пуанкаре. Но знаю, что доказательство прошло рецензирование, и ошибок обнаружено не было. Мне и её считать недоказанной? А если это другое, то, собственно, почему?