🚨 CUỘC TRÒ CHUYỆN ĐẦY ĐỦ Người đoạt huy chương Fields Terry Tao ngồi xuống với @jessemhan và @jdlichtman của Math Inc để trò chuyện về tương lai của toán học. "Tôi đã bị thuyết phục rằng đây là tương lai của toán học [...] Đó là một phong cách viết chứng minh khác mà thực sự theo một số cách dễ đọc hơn—khó kiểm tra hơn bởi con người, nhưng bạn thấy rõ hơn các đầu vào và đầu ra của một chứng minh, điều mà cách viết truyền thống thường che giấu [...] Tôi nghĩ định nghĩa về một nhà toán học sẽ mở rộng."