Наверняка все слышали новость о доказательстве японцем abc-теоремы :
Доказательство abc-гипотезы, представленное Мотидзуки в 2012-м, занимает более 500 страниц текста, а понять и проверить его способно небольшое число математиков. У эксперта может уйти до 500 часов работы для понимания доказательства, тогда как у математика-аспиранта это займет около 10 лет. В настоящее время проверкой работы Мотидзуки занимаются 10 математиков.
А теперь представим, что кто-то решил проблему P = NP и представил свои доказательства. Доказательство настолько сложное, что для его проверки требуется не полиномиальное, а экспоненциальное время
И?
PS. А кстати, джентльмены. Это у меня сейчас получилось сформулировать новый парадокс, или все же это модифицированная версия старины Рассела?
