💎 完整對話 💎 約翰霍普金斯大學的著名數學教授 @emilyriehl 與 Math Inc 的 @jessemhan 和 @jdlichtman 坐下來討論數學的未來。 「形式化完全改變了我對數學的看法。」 「它讓我接觸到數學基礎的不同方法。」 「它幫助你更精確地思考和表達，常常在這個夢想階段，新的想法正在發展。」 「這就是我認為數學的未來可能是什麼。」 在 YouTube 上觀看完整視頻：