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

🚨 Math Inc 的代理人高斯剛剛自動形式化了曲線的黎曼假設證明

💎 艾蜜莉·瑞爾（Emily Riehl），約翰霍普金斯大學的著名數學教授： 「這是我認為數學未來可能的樣子。 我們可能會有特定領域的形式語言：用於代數幾何、凝聚數學、微分幾何，還有許多不同的子領域。 數學家將能夠快速學會在新的形式系統中撰寫證明，因為有電腦證明助手的幫助， 它會告訴他們何時做得正確或不正確。」 與 Math, Inc. 的 @jessemhan 和 @jdlichtman 的完整對話即將來臨。