💎 Emily Riehl, profesor matematika terkenal di Universitas Johns Hopkins: "Inilah yang saya pikir masa depan matematika. Kita mungkin memiliki bahasa formal khusus domain: untuk geometri aljabar, juga untuk matematika kental, juga untuk geometri diferensial, banyak subbidang yang berbeda. Dan matematikawan akan dapat dengan cepat belajar menulis bukti dalam sistem formal baru karena bantuan asisten bukti komputer, Ini akan memberi tahu mereka kapan mereka melakukan sesuatu dengan benar atau sesuatu yang salah." Percakapan lengkap dengan @jessemhan dan @jdlichtman Math, Inc. segera.