💎 Emily Riehl, tunnettu matematiikan professori Johns Hopkinsin yliopistossa: "Tämä on se, mitä luulen matematiikan tulevaisuuden voivan olla. Meillä saattaa olla toimialakohtaisia formaaleja kieliä: algebrallisessa geometriassa, myös tiivistetyssä matematiikassa, differentiaaligeometriassa monia eri alaaloja. Ja matemaatikot oppivat nopeasti kirjoittamaan todistuksia uusissa formaalisissa järjestelmissä tietokoneen todistusavustajan avulla, Se kertoo heille, kun he tekevät jotain oikein tai väärin." Täysi keskustelu Math, Inc.:n kanssa @jessemhan ja @jdlichtman pian.