💎 Emily Riehl, rinomata professoressa di matematica presso la Johns Hopkins University: “Questo è ciò che penso possa essere il futuro della matematica. Potremmo avere linguaggi formali specifici per dominio: per la geometria algebrica, anche per la matematica condensata, anche per la geometria differenziale, molti diversi sotto-campi. E i matematici saranno in grado di imparare rapidamente a scrivere dimostrazioni in nuovi sistemi formali grazie all'aiuto di un assistente alla prova informatica, Dirà loro quando stanno facendo qualcosa di corretto o qualcosa di scorretto.” Presto la conversazione completa con Math, Inc.’s @jessemhan e @jdlichtman.