AI giải toán học: Bước ngoặt tri thức hay vết nứt đầu tiên?
Cuộc tranh cãi quanh việc AI giải toán học là cuộc xung đột giữa hai tầm nhìn: một bên coi AI là công cụ mở rộng biên giới tri thức, bên kia lo ngại nó phá vỡ chuẩn mực đạo đức, quyền tác giả và quy trình kiểm chứng vốn là nền tảng của toán học hàn lâm. Khi một mô hình như ChatGPT có thể tự động tạo ra hàng trăm bản thảo chứng minh cho những bài toán chưa có lời giải, câu hỏi không còn là “AI có thông minh không”, mà là “chúng ta chấp nhận loại tri thức nào, được tạo ra và công bố theo luật chơi của ai”.
OpenAI vừa công bố hàng trăm lời giải cho 372 bài toán toán học lớn thông qua 722 bản thảo đăng trên một kho lưu trữ mã nguồn mở. Đáng chú ý, phần lớn bản thảo được tạo ra để đáp ứng một yêu cầu duy nhất từ một tác nhân AI. Song song đó, công ty từng tuyên bố mô hình suy luận o‑series đã tự động tìm ra lời giải chứng minh hình học và đại số cho hơn 100 bài toán phức tạp chưa từng có lời giải. Những con số này cho thấy AI giải toán học đã đạt tới mức có thể can thiệp trực tiếp vào tuyến đầu nghiên cứu, chứ không chỉ dừng ở vai trò trợ giảng hay máy tính hỗ trợ.
OpenAI lời giải toán: Đột phá kỹ thuật và khoảng trống minh bạch
Về mặt kỹ thuật, những gì OpenAI trình diễn là ấn tượng đến mức gây choáng. Công ty cho biết các mô hình AI của họ đã giải quyết hơn 100 vấn đề tồn đọng trong nhiều lĩnh vực toán học khác nhau, với một “kết quả trung bình” cần khoảng 3 giờ sử dụng ChatGPT Pro cho mỗi bài toán. Một số kết quả được tuyên bố gồm lời giải cho giả thuyết Kakeya bốn chiều, các cải tiến với những thuật toán máy tính quan trọng và tiến bộ hướng tới giả thuyết Riemann. Đây là những bài toán từng thách thức các nhà khoa học trong nhiều năm, cho thấy AI không còn chỉ xử lý bài tập sách giáo khoa mà đã chạm tới vùng lõi của nghiên cứu.
OpenAI khẳng định đã tuân thủ hướng dẫn công bố bài báo do Nhóm Cố vấn độc lập về Toán học và Trí tuệ Nhân tạo (AGMAI) đề xuất, bao gồm việc công bố nhanh qua các kênh học thuật truyền thống và nêu rõ tên mô hình, lời nhắc, chi phí tính toán. Họ cũng cam kết sẽ nâng cao chất lượng các bài báo trong tương lai thông qua cải thiện trích dẫn, trình bày toán học và làm cho kết quả dễ hiểu hơn. Tuy vậy, công ty lại không công bố thời gian tính toán cụ thể cho từng bài toán hay các gợi ý chi tiết đã dùng. Việc thiếu chuỗi suy luận trung gian khiến cộng đồng khó phân biệt đâu là suy luận mới, đâu là sự kết hợp hoặc sao chép từ các nguồn chưa công khai.
Phẫn nộ trong giới toán học: Vấn đề không chỉ là đúng – sai
Phản ứng dữ dội từ giới toán học hàn lâm không xuất phát từ nỗi sợ bị AI “soán ngôi”, mà từ cảm giác bị phớt lờ và xem nhẹ chuẩn mực nghề nghiệp. Theo một phóng sự điều tra, các nhà toán học quốc tế đang bày tỏ sự phẫn nộ sau khi OpenAI tuyên bố mô hình o‑series tự động tìm ra lời giải cho hơn một trăm bài toán phức tạp chưa từng có lời giải. Nguồn cơn tranh cãi nằm ở thái độ bị đánh giá là “áp đặt và ngạo mạn”: thay vì gửi bài tới tạp chí uy tín để trải qua phản biện đồng cấp kéo dài nhiều tháng, OpenAI lại chọn công bố rầm rộ trên mạng xã hội kèm video quảng bá thương mại.
Nhiều giáo sư tại các trường danh tiếng chỉ trích việc OpenAI từ chối công bố chi tiết chain‑of‑thought và dữ liệu huấn luyện, khiến không thể kiểm chứng mô hình có thực sự suy luận logic hay chỉ đạo văn và ghi nhớ mẹo từ các kho tài liệu chưa công khai. Vụ việc Navier‑Stokes trước đó đã làm dấy lên hoài nghi, và thông báo mới càng khoét sâu tranh cãi toán học AI. Một nhà toán học từ một viện công nghệ hàng đầu nhận định rằng cho đến khi mô hình được công bố và kết quả có thể tái tạo, mọi tuyên bố về việc giải quyết vấn đề chỉ với một tác nhân duy nhất nên được coi là chưa được kiểm chứng.
Đạo đức nghiên cứu AI: Khi luật chơi khoa học bị bẻ cong
Cốt lõi của đạo đức nghiên cứu AI trong trường hợp này là câu hỏi: ai đặt luật chơi cho tri thức mới? OpenAI khẳng định tuân thủ khuyến nghị của AGMAI, nhưng giới toán học lại nhìn thấy một chiến lược tiếp thị khép kín đối đầu với văn hóa nghiên cứu mở truyền thống. Khi một tập đoàn tư nhân sở hữu mô hình, dữ liệu và quy trình, họ có thể quyết định cái gì được công bố, khi nào, dưới dạng nào – và ai được ghi nhận. Điều này va chạm trực diện với lý tưởng toán học: mọi chứng minh phải minh bạch, tái tạo được và tách biệt khỏi lợi ích thương mại ngắn hạn.
Các nhà toán học cảnh báo rằng nếu cộng đồng dễ dãi công nhận những tuyên bố đột phá chưa qua thẩm định, tính toàn vẹn và chuẩn mực khắt khe của toán học hàn lâm sẽ bị đe dọa bởi các chiêu trò truyền thông công nghệ. Tranh cãi quanh Navier‑Stokes và các tuyên bố mới cho thấy hố sâu ngăn cách giữa hai hệ giá trị đang rộng ra: một bên ưu tiên tốc độ, hiệu ứng truyền thông; bên kia ưu tiên kiểm chứng chậm, kỹ và minh bạch. Nếu không có cơ chế chung về đạo đức nghiên cứu AI, mỗi “đột phá” mới sẽ lại trở thành một trận chiến niềm tin.
AI là cộng sự hay mối đe dọa với tự chủ học thuật?
Đằng sau tranh cãi toán học AI là nỗi lo về tự chủ học thuật: khi lời giải đến từ một “hộp đen” thuộc sở hữu doanh nghiệp, ai còn kiểm soát hướng đi của ngành? Vụ việc hiện tại phơi bày rõ hố sâu giữa văn hóa khoa học mở và chiến lược khép kín của các tập đoàn AI. Nếu các mô hình AI có thể tự động tạo ra hàng trăm bản thảo mà không cần sự tham gia thực chất của nhà nghiên cứu, vai trò của con người trong việc đặt câu hỏi, kiểm chứng và định hình chương trình nghiên cứu sẽ bị thu hẹp.
Tuy nhiên, thay vì phủ nhận AI, cộng đồng toán học cần đòi hỏi một khung hợp tác mới: AI là công cụ hỗ trợ, còn quyền quyết định và trách nhiệm khoa học vẫn thuộc về con người. Điều đó đồng nghĩa với việc buộc các công ty AI phải chấp nhận chuẩn mực công bố hàn lâm, chia sẻ đủ thông tin để tái tạo kết quả và tôn trọng quy trình phản biện đồng cấp. Cho đến khi những điều này được đáp ứng, các tuyên bố về OpenAI lời giải toán nên được xem là tín hiệu thú vị nhưng chưa thể thay thế cho tri thức đã được cộng đồng kiểm chứng.
