Если математика — это больше, чем доказательство, пора вознаграждать и остальное
If math is more than proof, we need to better celebrate the rest of it
Грант Сандерсон, автор канала 3Blue1Brown, предлагает академическому сообществу признать ценность «мотивированных объяснений» — работ, которые отвечают на вопрос «как до этого можно было додуматься?». Он призывает давать им такой же кредит, как доказательствам открытых проблем, и сравнивает их с «открытыми проблемами экспозиции» Тимоти Чау. По его мнению, это поможет и математикам, и внешнему миру увидеть, что главная цель — не генерация доказательств, а углубление человеческого понимания.
В момент, когда каждое AI-сгенерированное доказательство рождается как нерешённая проблема экспозиции, кажется вероятным, что в ближайшие годы их будет целый поток, и лидерам будет полезно прояснить, на каких из них стоит сосредоточиться.