Bước đột phá AI trong toán học gây tranh cãi dữ dội trong giới khoa học

Một tuyên bố mới đây về việc mô hình trí tuệ nhân tạo (AI) đạt được thành tựu đáng kể trong lĩnh vực toán học thuần túy đang làm dậy sóng giới khoa học. Trong khi nhóm nghiên cứu ca ngợi đây là "kỷ nguyên mới" cho việc khám phá tri thức, nhiều nhà toán học hàng đầu lại lên tiếng phản đối, cho rằng kết quả này thiếu tính thuyết phục và quy trình đánh giá không minh bạch.

Bản chất của cuộc tranh cãi

Điểm mấu chốt của cuộc tranh luận không nằm ở việc AI có thể "giải" một bài toán cụ thể hay không, mà nằm ở cách thức mà kết quả đó được xác minh. Theo bài báo đăng tải trên tạp chí Science, nhóm nghiên cứu đã sử dụng một mô hình ngôn ngữ lớn kết hợp với kỹ thuật suy luận có giám sát để tìm ra một chứng minh mới cho một định lý lâu đời.

"Chúng tôi tin rằng đây là lần đầu tiên một AI tạo ra một khái niệm toán học thực sự mới, không chỉ là lặp lại những gì đã có trong dữ liệu huấn luyện," trích lời một thành viên trong nhóm nghiên cứu.

Tuy nhiên, các nhà phê bình chỉ ra rằng, đối với toán học, một kết quả chỉ được công nhận khi cộng đồng quốc tế có thể kiểm tra từng bước logic và tái lập được chứng minh đó. Với các mô hình AI hiện tại, việc "giải thích" quy trình suy luận gần như là một hộp đen, khiến việc xác minh độc lập trở nên cực kỳ khó khăn.

Kỹ thuật đằng sau tuyên bố gây sốc

Không giống như các phương pháp trước đây thường dùng để giải các bài toán tối ưu hoặc trò chơi (như cờ vây hay poker), bài toán lần này thuộc về toán học rời rạc và lý thuyết số. Nhóm nghiên cứu đã huấn luyện mô hình trên một kho dữ liệu khổng lồ gồm các bài báo toán học, sau đó sử dụng một thuật toán "tự chơi" (self-play) để mô hình tự đề xuất các bước suy luận.

Điểm khác biệt lớn nhất so với các nghiên cứu trước đây (như AlphaGo hay AlphaGeometry của DeepMind) là mô hình này không được thiết kế riêng cho toán học, mà dựa trên kiến trúc transformer tổng quát. Điều này khiến một số chuyên gia nghi ngờ rằng mô hình chỉ đang "ghi nhớ" và "lắp ghép" các mẫu có sẵn, thay vì thực sự hiểu bản chất toán học sâu xa.

Phản ứng từ cộng đồng học thuật

Ngay sau khi kết quả được công bố dưới dạng bản thảo (preprint), một loạt các nhà toán học nổi tiếng từ MIT, Princeton và Viện Toán học Max Planck đã đăng tải các bài phân tích phản bác trên các diễn đàn chuyên môn. Lập luận chính của họ tập trung vào việc thiếu một tiêu chuẩn kiểm chứng rõ ràng.

• Độ tin cậy: Không có một cơ chế nào để kiểm tra xem liệu mô hình có "gian lận" bằng cách dò tìm lời giải trên internet trước đó hay không.
• Tái lập: Phải mất hàng tháng để một nhóm nghiên cứu độc lập có thể chạy lại thí nghiệm với chi phí tính toán rất lớn.
• Triết lý khoa học: Nhiều người cho rằng toán học không chỉ là tìm ra đáp án, mà còn là sự hiểu biết sâu sắc. Một chứng minh dài 200 trang do AI tạo ra mà không ai hiểu nổi thì có ý nghĩa gì?

Một giáo sư toán học tại Đại học Harvard chia sẻ trên trang cá nhân: "Nếu chúng ta chấp nhận một kết quả mà không ai có thể hiểu được logic bên trong, chúng ta đang biến toán học thành một thứ gì đó giống như bói toán hơn là một ngành khoa học chính xác."

Tác động đến Việt Nam và tương lai nghiên cứu

Đối với cộng đồng nghiên cứu AI và toán học tại Việt Nam, cuộc tranh cãi này mang lại một bài học quan trọng về việc áp dụng AI vào các lĩnh vực khoa học cơ bản. Các trường đại học lớn như Đại học Bách khoa Hà Nội hay Đại học Quốc gia TP.HCM đều đang đẩy mạnh hướng nghiên cứu ứng dụng AI, và việc hiểu rõ những giới hạn của công nghệ này là điều cần thiết.

• Các nhóm nghiên cứu trẻ có thể coi đây là động lực để phát triển các hệ thống xác minh chứng minh tự động (automated proof verification) – một hướng đi an toàn và có giá trị lâu dài hơn.
• Về mặt đào tạo, các khoa Toán – Tin cần cập nhật chương trình để sinh viên tiếp cận với các công cụ AI hỗ trợ chứng minh, thay vì chỉ học lý thuyết thuần túy.

Lời kết

Cho dù kết quả nghiên cứu gây tranh cãi này có được công nhận hay không, nó cũng đã phơi bày một thực tế không thể chối cãi: AI đang tiến vào lãnh thổ mà trước đây con người tin là bất khả xâm phạm – đó là sự sáng tạo toán học. Thách thức lớn nhất của chúng ta trong thập kỷ tới không phải là làm cho AI thông minh hơn, mà là làm thế nào để xác định một cách minh bạch và công bằng "điều gì tạo nên một khám phá toán học thực sự."

Cuộc tranh cãi lần này có thể chỉ là khởi đầu cho một cuộc cách mạng tư duy khoa học, nơi con người và AI sẽ phải học cách cộng tác – và học cách tin tưởng lẫn nhau.