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