If math is more than proof, we need to better celebrate the rest of it
Математика часто сводится к доказательствам, но их ценность как прокси для понимания снижается, если доказательства генерируются без осмысления. Автор предлагает формализовать и вознаграждать «мотивированные объяснения» — работы, отвечающие на вопрос «как бы ты пришёл к этому?», а не просто подтверждающие истинность теоремы. В отличие от доказательств, где определения даются сначала, в мотивированных объяснениях они появляются по мере необходимости, а путь может начинаться с ошибочной идеи, которая затем уточняется — как в жанре «дискавери фикшн» (открывательной прозы), где идея evolves через исправления и новые вопросы. Такие объяснения не только показывают, почему теорема верна, но и почему она естественна, полезна и вписывается в более широкий контекст. Хотя их сложнее формализовать и оценивать, такие вклады уже существуют: учебники, пояснительные статьи, образовательные материалы. Автор предлагает включить их в систему академического признания — например, через гранты, tenure-треки или премии вроде Steele Prize, но с фокусом на раннюю карьеру и пояснительную работу. Это особенно важно сейчас: внешний мир может воспринимать математиков как устаревших из-за ИИ-генерируемых доказательств, но если сообщество будет ценить объяснение и мотивацию, оно покажет, что суть математики — в понимании, а не только в формализме. Это поможет привлечь и удержать талантливых людей, показав, что они могут формировать будущее поля, а не просто следовать за автоматикой.