💎 Emily Riehl, anerkjent professor i matematikk ved Johns Hopkins University: "Dette er hva jeg tror fremtiden for matematikk kan være. Vi kan ha domenespesifikke formelle språk: for algebraisk geometri, også for kondensert matematikk, også for differensialgeometri, mange forskjellige underfelt. Og matematikere vil raskt kunne lære å skrive bevis i nye formelle systemer takket være hjelp av en datamaskinbevisassistent, Den vil fortelle dem når de gjør noe riktig eller feil." Full samtale med Math, Inc.s @jessemhan og @jdlichtman snart.