💎 Emily Riehl, välkänd professor i matematik vid Johns Hopkins University: "Det här är vad jag tror att matematikens framtid kan vara. Vi kan ha domänspecifika formella språk: för algebraisk geometri, också för kondenserad matematik, även för differentialgeometri, många olika delområden. Och matematiker kommer snabbt att kunna lära sig att skriva bevis i nya formella system tack vare hjälp av en datorbaserad bevisassistent, Den kommer att tala om för dem när de gör något rätt eller något fel." Fullständig konversation med Math, Inc:s @jessemhan och @jdlichtman snart.