Bây giờ tôi đã trở lại Princeton sau sự kiện khởi động expMath của @DARPA, tôi bắt đầu thu thập những suy nghĩ của mình về tương lai của tự động hóa, AI cho Toán học và AI cho Khoa học nói chung. Đây là những gì tôi đã có. "Về những ma sát có lợi và không có lợi"