Работа Кострикина как раз весьма разумная.
(Правда там были некоторые пробелы, но все оказалось верным.)

Первое доказательство всегда несъедобное
Вот приходим мы в ресторан, и нам, в качестве первого блюда, предлагают чистое говно с аналогичным комментарием.

Работа математика как раз и состоит в том, чтобы сделать ясными некоторые сложные вещи.
Остальное --- спорт, параолимпийские игры, etc.

Правда, раньше (лет 40 тому назад) бытовала другая точка зрения.
Например, мой формальный adviser с гордостью показывал мне 700 страниц вычислений почти без слов, который он просто вынул из своей докторской диссертации; да и без них она составляля где-то 600 страниц.
Это называлось "пробивная сила".
Оно кому-то нужно?

А еще раньше и каннибализм был в моде...