Гостевой пост Гранта Сэндерберна утверждает, что решение задач и генерация доказательств давно служили посредниками истинной цели математиков: продвижение человеческого понимания. Когда доказательства могут быть сгенерированы без этого понимания, это ослабляет их ценность как посредник. Сэндерберн предлагает, чтобы сообщество математики более твердо определило понятие «мотивированного объяснения» и присвоило такой работе академическое признание, подобное тому, что исторически получали новые доказательства открытых проблем.

Он считает, что повышение мотивированных объяснений — важный шаг, чтобы помочь тем, кто вне математики, лучше понять, что математики вносят свой вклад. Если внешние люди считают, что машины, генерирующие доказательства, делают математиков устаревшими, тогда как внутренние видят это как заблуждение, то этому сообществу поручено лучше продвигать свои истинные ценности через вид работы, который оно наградит. Внешние могут быть прощены за это недоразумение, если работа, которая больше всего почитается, склонна генерировать доказательства, тогда как пояснение и экспозиция рассматриваются как второго рода.

Сэндерберн признает очевидный личный предвзятость, отмечая свою не традиционной карьере в математике, сосредоточенной на создании видео. Он уточняет, что повышение мотивированных объяснений не означает популяризацию, но любая работа, которая в первую очередь направлена на ответ на вопрос «как бы вы подумали об этом?», даже если предмет требует глубокой экспертизы для того, чтобы его оценить. Он определяет мотивированное объяснение как работу, где определения находятся в середине повествования, новые конструкции появляются только если проблема была четко установлена, и это допустимо начать с идеи, которая не совсем правильна, но понятна.

Ключевые сущности: Люди: Грант Сэндерберн, Майкл Нильсен, T.