💎 Emily Riehl, renomada professora de matemática na Universidade Johns Hopkins: "É isso que eu acho que o futuro da matemática pode ser. Podemos ter linguagens formais específicas de domínio: para geometria algébrica, também para matemática condensada, também para geometria diferencial, muitos subcampos diferentes. E os matemáticos poderão aprender rapidamente a escrever provas em novos sistemas formais graças à ajuda de um assistente de prova de computador, Ele avisa quando estão fazendo algo certo ou errado." Conversa completa com a @jessemhan e @jdlichtman da Math, Inc. em breve.