💎 完整对话 💎 著名数学教授 @emilyriehl 在约翰霍普金斯大学与 Math Inc 的 @jessemhan 和 @jdlichtman 坐下来讨论数学的未来。 “形式化完全改变了我对数学的看法。” “它让我接触到一种不同的数学基础方法。” “它帮助你更精确地思考和表达，常常在这个新想法正在发展的梦幻阶段。” “这就是我认为数学未来可能的样子。” 在 YouTube 上观看完整视频：