Да, современные математические доказательства, которые занимают много страниц и понятны малому количеству людей, можно считать истинными. 14

Отсутствие ошибок в математической работе (если они не обнаружены) часто устанавливается по косвенным данным: имеет значение соответствие с общими ожиданиями, использование аналогичных аргументов в других работах. 3

Кроме того, математические доказательства основаны на логических рассуждениях и следуют установленным правилам, что снижает вероятность возникновения ошибок. 2

Также непонятные доказательства могут сыграть полезную роль, стимулируя поиски более доступных рассуждений. 3

Например, непонятным для многих математиков было доказательство abc-гипотезы, предложенное японским математиком Синъити Мотидзуки. 710 Однако в последующие годы проводились конференции, участники которых сообщили даже о частичном понимании доказательства, и в итоге оно было принято к публикации. 10