💎 Emily Riehl, znana profesor matematyki na Uniwersytecie Johnsa Hopkinsa: „To jest to, co myślę, że przyszłość matematyki mogłaby być. Możemy mieć specyficzne dla dziedziny języki formalne: dla geometrii algebraicznej, także dla matematyki skondensowanej, także dla geometrii różniczkowej, wiele różnych poddziedzin. A matematycy będą mogli szybko nauczyć się pisać dowody w nowych systemach formalnych dzięki pomocy asystenta dowodów komputerowych, Powie im, kiedy robią coś poprawnie lub coś niepoprawnie.” Pełna rozmowa z Math, Inc. z @jessemhan i @jdlichtman wkrótce.