Một kết quả do AI tạo ra chưa phải là tri thức đã được xác nhận
AI giải toán là việc dùng các mô hình trí tuệ nhân tạo để hỗ trợ tìm kiếm, xây dựng hoặc kiểm tra lập luận toán học; kết quả của chúng vẫn cần được chuyên gia thẩm định trước khi được xem là chứng minh đáng tin cậy. Đây là điểm cần giữ vững khi OpenAI tuyên bố mô hình nội bộ đạt tiến bộ trong ba vấn đề thuộc toán học, khoa học máy tính lý thuyết và vật lý lý thuyết. Các tuyên bố liên quan đến giả thuyết Kakeya, giả thuyết thời gian mũ và sắc động lực học lượng tử, nhưng nội dung chứng minh chưa được công khai đầy đủ để cộng đồng rộng hơn kiểm tra. Vì vậy, thành tựu ở đây chưa thể chỉ đo bằng lời công bố hay tốc độ tạo ra kết quả. Trong nghiên cứu, một lời giải chỉ có sức nặng khi lập luận được trình bày, phản biện và xác nhận. OpenAI giải toán có thể là dấu mốc về năng lực công cụ; nó chưa thay thế quy trình xác nhận của giới học thuật.
Việc OpenAI mời một nhóm chuyên gia bên ngoài xem xét kết quả Yang–Mills cho thấy công ty nhận ra nhu cầu kiểm định. Nhưng cơ chế tiếp cận có chọn lọc cũng làm nảy sinh câu hỏi về tính minh bạch và quyền tham gia phản biện. Nếu giới nghiên cứu chỉ được nghe thông báo mà chưa thể đọc chứng minh, họ khó đánh giá độc lập liệu kết quả đúng, mới và đủ hoàn chỉnh hay không. Thẩm định không phải thủ tục phụ sau một màn trình diễn công nghệ; đó là phần cấu thành của tri thức khoa học.
AI có thể đi nhanh nhờ con đường con người đã mở
Tranh luận về công lao không bắt đầu từ việc phủ nhận năng lực của mô hình. Nó bắt đầu từ câu hỏi AI đã tiếp nối điều gì và dựa vào nền tảng nào. Trong trường hợp Yang–Mills, Tadeusz Balaban đã phác thảo một hướng chứng minh từ những năm 1980, dù công trình dang dở của ông đồ sộ và khó tiếp cận. Gần đây, Levent Alpöge và Ethan Sussman cũng công khai tiến độ nghiên cứu cùng hướng. Khi OpenAI tuyên bố hoàn tất chứng minh, kết quả xuất hiện trong một lịch sử trí tuệ đã tích lũy qua nhiều thập kỷ, chứ không phải trên khoảng trống.
Điều đó không làm mất giá trị của AI. Khả năng xử lý khối lượng tài liệu lớn, rà soát các bước kỹ thuật và nối những mảnh lập luận có thể giúp tháo gỡ điểm nghẽn mà con người từng mất nhiều năm theo đuổi. Nhưng tốc độ hoàn tất không đồng nghĩa với quyền sở hữu toàn bộ ý tưởng. Nếu AI nghiên cứu khoa học dựa trên công trình trước đó, việc đánh giá phải phân biệt rõ đóng góp nền tảng, bước phát triển mới và phần được mô hình tạo ra. Bỏ qua lịch sử ấy sẽ biến tiến bộ tập thể thành câu chuyện quảng bá cho một công cụ.
Ghi nhận cần theo dấu đóng góp, không theo danh tiếng công bố
Ghi nhận công lao nhà toán học đòi hỏi một chuẩn mực cụ thể hơn câu hỏi ai đăng lời giải trước. Cần công khai lịch sử các ý tưởng liên quan, chỉ rõ phần nào kế thừa từ công trình đã có, phần nào được con người phát triển cùng AI và phần nào do mô hình đề xuất. Khi một chứng minh được xác nhận, tác giả và đơn vị công bố nên giải thích cách xác định đóng góp, thay vì để công chúng suy ra rằng toàn bộ thành quả thuộc về hệ thống tạo ra bản thảo cuối.
Cũng cần bảo đảm quyền kiểm tra bình đẳng. Việc một nhóm nhỏ được tiếp cận trước có thể giúp thẩm định, nhưng nếu chứng minh bị giữ kín quá lâu, các nhà nghiên cứu khác sẽ không thể phản biện hoặc xây dựng tiếp trên kết quả. Sự lo ngại của Alpöge và Sussman vì thế không chỉ là cuộc đua danh tiếng: nó liên quan đến việc ai có cơ hội tham gia vào bước kiểm chứng và phát triển tiếp theo. Một quy trình công bằng cần vừa bảo vệ độ chính xác, vừa không xóa nhòa những người đã đặt nền móng.
Tiến bộ công nghệ phải đi cùng trách nhiệm học thuật
AI có thể rút ngắn những công việc nặng nề và mở ra khả năng xử lý các chứng minh quy mô lớn. Tuy nhiên, nếu công bố được dùng để khẳng định chiến thắng trước khi lập luận được chia sẻ và thẩm định, lợi ích của tốc độ sẽ đi kèm tổn thất về niềm tin. Bài học từ những tuyên bố gần đây của OpenAI là không nên chọn giữa hai thái cực: hoặc xem AI như tác giả độc lập, hoặc phủ nhận mọi đóng góp của nó. Cách đúng hơn là xem AI như một tác nhân trong quy trình nghiên cứu, đồng thời truy nguyên rõ vai trò của con người, tài liệu và công cụ.
Cuối cùng, một kết quả toán học không thuộc về bên công bố nhanh nhất chỉ vì họ nói mình đã tìm ra lời giải. Nó thuộc về tri thức chung khi chứng minh được mở ra cho kiểm tra, được xác nhận và đặt đúng vào dòng nghiên cứu đã tạo điều kiện cho nó xuất hiện. AI giải toán chỉ có thể làm khoa học tiến lên bền vững nếu công nghệ đi cùng minh bạch, phản biện rộng rãi và sự ghi nhận công bằng đối với những người đã mở đường.
