There's never been a better time to go into math (by: 3blue1brown) [video]
Математикам сейчас стоит заниматься своей наукой: никогда ещё для этого не было лучшего времени. Главная мысль в том, что автоматические системы доказательства теорем уже всерьёз меняют то, как устроена математика, и это не повод для тревоги, а наоборот — источник возможностей.
Автор разбирает, чем работа математика отличается от простого перебора шагов: ценность в постановке задач, интуиции и понимании, а не в механическом выводе. Он показывает, как выглядит «машина доказательств», и разбирает, что она умеет и где пока беспомощна. Отдельно он отталкивается от поста с сотней реакций математиков на сотню решённых задач — своего рода срез настроений сообщества, где одни видят угрозу, а другие — инструмент. Общий вывод оптимистичный: рутинные и технические участки работы можно переложить на машины, а людям останется более творческая часть.