💎 Emily Riehl, giáo sư toán học nổi tiếng tại Đại học Johns Hopkins: "Đây là điều tôi nghĩ về tương lai của toán học. Chúng ta có thể có các ngôn ngữ hình thức cụ thể cho từng lĩnh vực: cho hình học đại số, cũng như cho toán học ngưng tụ, cũng như cho hình học vi phân, rất nhiều lĩnh vực con khác nhau. Và các nhà toán học sẽ có thể nhanh chóng học cách viết chứng minh trong các hệ thống hình thức mới nhờ sự trợ giúp của một trợ lý chứng minh máy tính, Nó sẽ cho họ biết khi nào họ đang làm điều gì đó đúng hoặc sai." Cuộc trò chuyện đầy đủ với @jessemhan của Math, Inc. và @jdlichtman sớm.