Từ hoài nghi đến chấp nhận — nhưng không phải đầu hàng
AI trong toán học là việc dùng các hệ thống trí tuệ nhân tạo để hỗ trợ tìm lời giải, phát triển ý tưởng hoặc kiểm tra chứng minh, trong khi nhà toán học vẫn phải đánh giá tính đúng đắn và ý nghĩa của kết quả. Sam Altman, CEO OpenAI, nhận định tại một buổi nói chuyện ở Đại học Stanford rằng thái độ của giới toán học đã chuyển nhanh từ hoài nghi, tuyệt vọng và phản đối sang chấp nhận AI như một công cụ nghiên cứu. Cách kể này có phần lạc quan, nhưng phản ánh một thay đổi có thật: nhiều nhà toán học không còn tranh luận đơn thuần rằng AI có được bước chân vào lĩnh vực hay không, mà đang cân nhắc cách sử dụng nó. Sự chuyển biến ấy không chứng minh mọi lo ngại đã tan biến. Chấp nhận công cụ chỉ có ý nghĩa nếu cộng đồng giữ quyền phán đoán, thay vì xem đầu ra của máy là kết luận.
Một lời giải gây tranh luận, nhiều câu hỏi về công bố
Cuộc tranh luận tăng nhiệt vào tháng 9, khi OpenAI thông báo tác nhân của công ty tìm ra lời giải cho bài toán tồn tại và trơn của phương trình Navier–Stokes, một bài toán Thiên niên kỷ. Tuyên bố gây chú ý không chỉ vì độ khó của bài toán, mà còn bởi câu hỏi về cách tạo ra và trình bày kết quả. Một số học giả cáo buộc lời giải có thể đã sử dụng dữ liệu từ nhật ký trò chuyện của họ; OpenAI bác bỏ việc xem lịch sử trò chuyện và nói các bản ghi liên quan không ảnh hưởng đến mô hình. Dù tranh cãi về nguồn gốc chưa thể thay cho đánh giá toán học, nó nhấn mạnh rằng nghiên cứu toán học không chỉ là sản phẩm cuối cùng. Quy trình, khả năng truy nguyên và cách công bố cũng quyết định liệu cộng đồng có thể xem xét một tuyên bố một cách nghiêm túc hay không.
Nút thắt là kiểm chứng kết quả
AI có thể tạo ra lời giải mà con người khó theo dõi từng bước, khiến việc kiểm chứng kết quả trở thành phần việc nặng nề hơn chứ không nhẹ đi. Các nhà toán học phàn nàn rằng mô hình có thể đưa ra đáp án nhưng không giải thích đủ cách làm, buộc họ phải tự xác minh. Vì vậy, AI nên được xem là trợ lý tạo giả thuyết và mở rộng khả năng khám phá, không phải người chịu trách nhiệm cho một chứng minh. Trách nhiệm vẫn thuộc về những nhà nghiên cứu đứng tên kết quả và những quy trình học thuật chấp nhận công bố nó. Trường hợp OpenAI công bố hàng trăm bản thảo về các kết quả toán học rồi phải rút ba bản thảo và sửa nhiều bản khác sau khi phát hiện lỗi càng cho thấy tốc độ tạo nội dung không thể thay thế kiểm tra cẩn trọng. Nếu khâu xác minh bị coi là việc phụ, uy tín của cả lĩnh vực sẽ chịu rủi ro.
Đón nhận công cụ cần đi cùng chuẩn mực
Những phản ứng quanh cuộc thi Mathathon cho thấy cộng đồng không chỉ lo AI có giải được bài toán hay không, mà còn lo kết quả chưa kiểm chứng có thể tràn vào hoạt động học thuật. Sau khi hơn 700 học giả và sinh viên phản đối, OpenAI rút tài trợ; ban tổ chức bổ sung yêu cầu kiểm chứng và dự kiến tổ chức cuộc thi vào tháng 11. Đây là hướng đi hợp lý: không nhất thiết đóng cửa với AI, nhưng cần đặt tiêu chuẩn rõ ràng về giải thích, xác minh và trách nhiệm tác giả trước khi phổ biến kết quả. Altman có thể đúng khi nói nhà toán học đang thích ứng và tìm cách xây dựng sự nghiệp theo hướng mới. Tuy nhiên, sự thích ứng chỉ bền vững nếu công cụ không làm mờ ranh giới giữa gợi ý của máy và tri thức đã được cộng đồng xác nhận. AI có thể tăng tốc nghiên cứu toán học; quyền bảo đảm kết quả đáng tin vẫn thuộc về con người.
