Terence Tao, một trong những bộ óc toán học vĩ đại nhất đương đại, vừa đưa ra nhận định mang tính bước ngoặt về vai trò của trí tuệ nhân tạo (AI) đối với sự phát triển của toán học thuần túy.
Diễn biến
Theo Giáo sư Tao, toán học từ trước đến nay là một trong số ít các ngành chưa từng có sự 'phân công lao động' thực thụ — người thợ chính vẫn phải tự tay thực hiện mọi khâu từ ý tưởng đến kiểm chứng chi tiết. Tuy nhiên, sự xuất hiện của các mô hình ngôn ngữ lớn (LLM) và các hệ thống chứng minh hình thức (formal proof) đang thay đổi điều này. Tao dự đoán các nhà toán học sẽ sớm chuyển sang vai trò 'kiến trúc sư', tập trung vào việc đặt ra các giả thuyết và cấu trúc lập luận cấp cao, trong khi AI đảm nhận công việc tẻ nhạt là kiểm tra tính đúng đắn của các bước logic nhỏ nhất.
Vì sao đáng chú ý
Đây không chỉ là câu chuyện của giới hàn lâm. Việc AI có thể tham gia vào những lĩnh vực đòi hỏi sự chính xác tuyệt đối như toán học cho thấy tiềm năng của nó trong việc thay thế hoặc hỗ trợ con người trong các công việc kỹ thuật phức tạp. Đối với cộng đồng nghiên cứu tại Việt Nam, đây là tín hiệu cho thấy kỹ năng 'đặt đề bài' và 'tư duy hệ thống' sẽ trở nên quan trọng hơn bao giờ hết, khi mà 'thợ tính toán' hay 'người soát lỗi' có thể sớm được thay thế bởi máy móc.