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

🚨 Math Inc的代理人高斯刚刚自动形式化了曲线的黎曼假设证明

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