💎 FULL CONVERSATION 💎 Renowned professor of mathematics @emilyriehl at Johns Hopkins University sits down with Math Inc's @jessemhan and @jdlichtman for a conversation on the future of mathematics. “Formalization has completely changed my view of what mathematics is.” “It acquainted me with a different approach to the foundations of mathematics.” “It helps you think and speak more precisely, often at this dream stage where new ideas are being developed.” “This is what I think the future of mathematics could be.” Watch the full video on YouTube: