💎 Эмили Риел, известный профессор математики в Университете Джонса Хопкинса: "Вот что я думаю о будущем математики. У нас могут быть специализированные формальные языки: для алгебраической геометрии, также для конденсированной математики, также для дифференциальной геометрии, множество различных подполей. И математики смогут быстро научиться писать доказательства в новых формальных системах благодаря помощи компьютерного помощника по доказательствам, Он будет говорить им, когда они делают что-то правильно или что-то неправильно." Полный разговор с Math, Inc. с @jessemhan и @jdlichtman скоро.