Terence Tao lập luận rằng AI có thể lần đầu tiên trong lịch sử mang lại sự phân công lao động cho toán học.

Nhà toán học Terence Tao lập luận rằng AI có thể mang lại sự phân công lao động cho ngành toán học lần đầu tiên trong lịch sử. Nhà toán học Terence Tao giải thích cách AI có thể định hình lại nghiên cứu toán học bằng cách cho phép phân công lao động. Cho đến nay, các nhà toán học phải tự mình thực hiện mọi việc: đặt ra vấn đề, xây dựng chiến lược, thực hiện chúng, xác minh kết quả và viết báo cáo. Không giống như công nghiệp hay khoa học tự nhiên, chuyên môn hóa chưa bao giờ là một lựa chọn trong toán học, ông Tao giải thích. Ông Tao cho biết, AI và xác minh hình thức có thể thay đổi điều đó bằng cách lấp đầy khoảng trống kỹ năng trong các hợp tác. Tuy nhiên, nếu AI tạo ra các chiến lược mà không xác minh chúng, kết quả sẽ là một loạt các ý tưởng chưa được kiểm chứng. Một phong cách toán học mới chỉ hoạt động khi tự động hóa tiến bộ đồng thời trên nhiều lĩnh vực. Ông Tao coi con người là yếu tố thiết yếu vì hiệu suất của AI không đồng đều – một nguyên tắc có thể áp dụng cho nhiều lĩnh vực khác. Mức độ tự động hóa và sức mạnh AI mà bạn có thể sử dụng một cách hiệu quả trước khi nó trở nên kém chất lượng, tỷ lệ thuận với mức độ nghiêm ngặt của quá trình xác minh của bạn. Terence Tao Có vẻ như lĩnh vực này đang hướng tới tầm nhìn "toán học công nghiệp" của ông Tao: thay vì các nhà nghiên cứu đơn lẻ miệt mài trong nhiều năm, các nhóm lớn được hỗ trợ bởi AI có thể theo đuổi nghiên cứu rộng hơn nhưng nông hơn. AI xử lý hàng tỷ điểm dữ liệu, trong khi con người đưa ra "những phỏng đoán đầy cảm hứng" từ một vài quan sát.