💎 Emily Riehl, renumită profesoară de matematică la Universitatea Johns Hopkins: "Asta cred eu că ar putea fi viitorul matematicii. Am putea avea limbaje formale specifice domeniului: pentru geometria algebrică, de asemenea pentru matematica condensată, de asemenea pentru geometria diferențială, multe subdomenii diferite. Iar matematicienii vor putea învăța rapid să scrie demonstrații în noi sisteme formale datorită ajutorului unui asistent computerizat de demonstrație, Le va spune când fac ceva corect sau greșit." Conversația completă cu @jessemhan și @jdlichtman de la Math, Inc. în curând.