Huy chương Fields June Huh: AI hỗ trợ chứng minh toán học nhưng không thể thay thế tư duy độc lập

Ngày 24 tháng 7, trong một cuộc phỏng vấn gần đây, Đặng Dục (Deng Yu), giáo sư tại Đại học Chicago và là người đoạt giải Fields năm 2026, tiết lộ rằng ông sử dụng các công cụ hỗ trợ AI trong nghiên cứu toán học. GPT từng giúp ông giải quyết một trường hợp đặc biệt trong toán học mà ông đã bế tắc suốt nhiều ngày.

Đặng Dục cho biết cảm nhận của ông khi sử dụng AI là "nó đã giúp nhiều khâu nghiên cứu trở nên thuận tiện hơn đáng kể". Đối với một số kết luận đơn giản đã gần như chắc chắn là đúng, ông sẽ để AI đưa ra chứng minh rồi mới tiến hành kiểm tra lại; AI đôi khi cũng có thể bổ sung những kiến thức mà ông chưa biết, chẳng hạn như cấu trúc sẵn có hoặc các kết luận tiêu chuẩn tương ứng với một bài toán đếm tổ hợp nào đó.

Đặng Dục tiết lộ, trong một công trình gần đây, có một trường hợp đặc biệt của mệnh đề chính mà ông đã không thể giải quyết trong nhiều ngày liên tiếp, nhưng GPT đã đưa ra một chứng minh rất đơn giản và xử lý nhanh gọn trường hợp đặc biệt đó. Mặc dù chứng minh này không thể mở rộng cho trường hợp tổng quát và không được đưa vào bài báo cuối cùng, nhưng nó đã cung cấp những hướng tư duy có giá trị.

Đặng Dục cho rằng ngay cả khi AI không thể trực tiếp hoàn thành chứng minh cuối cùng, nó vẫn có thể giúp các nhà nghiên cứu nhanh chóng khám phá các hướng đi cục bộ. Ông kỳ vọng trong tương lai sẽ xuất hiện một phương thức hợp tác trưởng thành hơn: nhà nghiên cứu con người chịu trách nhiệm về khung tổng thể và tư duy cốt lõi, còn AI hỗ trợ hoàn thành các suy luận kỹ thuật. Tuy nhiên, ông cũng nhấn mạnh rằng đối với những sinh viên mới bước chân vào con đường nghiên cứu khoa học, khi sử dụng AI vẫn cần giữ vững khả năng phán đoán, "không thể vì AI đưa ra một lập luận trông có vẻ hoàn chỉnh mà bỏ qua các bước cần thiết như tự mình đánh giá và kiểm chứng nghiêm ngặt".

Tuyên bố quảng cáo: Các liên kết chuyển hướng bên ngoài trong bài viết (bao gồm nhưng không giới hạn ở siêu liên kết, mã QR, mật khẩu, v.v.) được sử dụng để truyền tải thêm thông tin, tiết kiệm thời gian lựa chọn, kết quả chỉ mang tính chất tham khảo, tất cả các bài viết của IT đều bao gồm tuyên bố này.