“Nghề làm toán trong thời đại 4.0” có thể sẽ rất khác với những gì vẫn được hiểu hàng ngàn năm nay. Cuộc cách mạng công nghiệp lần thứ 4 không chỉ tạo ra làn gió mới, mà thậm chí là “cơn bão” trong toán học, kéo theo nó, không chỉ là hứng khởi, hân hoan, mà còn cả sự nghi ngờ, tranh cãi.Những vấn đề cốt lõi lại một lần nữa được đặt ra thế nào là “chân lý toán học”, thế nào là một “chứng minh”? Bài viết giới thiệu với bạn đọc một số vấn đề xuất hiện khi sử dụng máy tính trong chứng minh toán học, và hơn nữa, trong việc thay thế dần lao động của nhà toán học.