💎 艾米莉·里尔（Emily Riehl），约翰霍普金斯大学著名数学教授： “我认为数学的未来可能是这样的。 我们可能会有特定领域的形式语言：用于代数几何、凝聚数学、微分几何，以及许多不同的子领域。 数学家将能够快速学习在新的形式系统中撰写证明，因为有计算机证明助手的帮助， 它会告诉他们何时做得正确或错误。” 与 Math, Inc. 的 @jessemhan 和 @jdlichtman 的完整对话即将发布。