Khi AI bước vào toán học: Đột phá được xây trên nền bất an
AI toán học là việc sử dụng các mô hình trí tuệ nhân tạo để đề xuất chứng minh, giải bài toán mở và tự động hóa những phần công việc trước đây chỉ con người làm được, đồng thời đặt lại câu hỏi về ý nghĩa của sáng tạo, công trạng khoa học và đạo đức trong nghiên cứu hàn lâm. OpenAI rút tài trợ khỏi Math Hackathon tại Caltech sau làn sóng phản đối cho thấy ranh giới giữa “đột phá” và “phá vỡ” đang bị xóa nhòe. Quyết định rút lui được đưa ra chỉ một ngày sau bức thư ngỏ của các nhà toán học và cựu sinh viên Caltech, cảnh báo sự kiện có thể “gây ra tác động hủy hoại đối với cộng đồng toán học”. Vấn đề không chỉ là một cuộc thi, mà là cảm giác rằng AI đang tràn vào trung tâm của toán học mà không có thỏa thuận rõ ràng nào về luật chơi, công bằng hay trách nhiệm.
“Toán rác” và nỗi sợ mất nghề của các nhà toán học
Khái niệm “toán học rác” không phải một câu đùa ác ý, mà là tên gọi cho kiểu kết quả AI tuyên bố đã giải bài toán lý thuyết, rồi bỏ phần chứng minh chặt chẽ và ứng dụng thực tế cho giới hàn lâm xử lý hộ. Trong bức thư gửi Caltech, các nhà toán học cảnh báo họ đang bị biến thành đội hậu cần, đi dọn dẹp và hợp thức hóa những tuyên bố hoành tráng của các công ty AI. Đối với nhiều người, đây không chỉ là bất công về công lao, mà còn là sự thay đổi bản chất công việc: từ người dẫn đường trở thành người kiểm toán cho máy. Một nhà toán học mô tả cảm giác “bị vượt mặt ngay khi đang ở đỉnh cao sự nghiệp”, khi AI có thể vượt năng lực cá nhân sau 15 năm dày công nghiên cứu. Câu hỏi cay đắng là: nếu đỉnh cao nghề nghiệp của bạn bị biến thành bước trung gian cho máy, thì còn động lực nào để tiếp tục?
Cuộc đua quyền sở hữu các đột phá: AI nghiên cứu hay AI giành công?
Đằng sau những thông cáo báo chí về “đột phá lịch sử” là cuộc chiến giành quyền sở hữu tiến bộ toán học giữa các phòng thí nghiệm AI lớn. Một mô hình chưa phát hành của OpenAI được cho là đã xử lý một bài toán giải thưởng danh giá, huy động khoảng 10.000 agent và lượng tài nguyên tính toán khổng lồ trong 88 giờ. Nhưng thay vì vinh quang thuần túy, câu chuyện bị bao phủ bởi cáo buộc OpenAI đã lao vào cuộc đua sau khi nghe tin các nhà nghiên cứu khác đang tiến gần lời giải, đặc biệt khi trong nhóm đó có một nhà nghiên cứu đến từ đối thủ Anthropic. Có cáo buộc rằng OpenAI đề nghị gần như “tài nguyên tính toán không giới hạn” và cơ hội đứng tên tác giả duy nhất cho một nhà toán học, đổi lại việc loại bỏ cộng tác viên thuộc công ty đối thủ. Dù phía OpenAI bác bỏ những cáo buộc nặng nề nhất, hình ảnh hiện lên vẫn là một cuộc chạy đua tiêu đề cho kỷ nguyên IPO đình đám, nơi bài toán trở thành chiến lợi phẩm thương mại hơn là di sản tri thức.
AI phá vỡ hàn lâm: tăng tốc tri thức hay bóp méo đạo đức nghiên cứu?
Trí tuệ nhân tạo nghiên cứu không chỉ thay đổi toán học; nó đang chạm vào cấu trúc quyền lực của toàn bộ thế giới hàn lâm. AI làm cho các đột phá diễn ra nhanh hơn, nhưng ý nghĩa của việc đó với những người đã hiến dâng cả đời cho lĩnh vực lại mù mờ. Khi một mô hình như Claude được báo cáo đã chứng minh 29.500 bổ đề nhỏ trong quá trình hình thức hóa lại một chứng minh lớn vốn được cộng đồng xây dựng trong nhiều năm, nảy sinh câu hỏi: phần nào là công của máy, phần nào thuộc về cộng đồng nghiên cứu? Sự căng thẳng này phản chiếu những cuộc chiến đang diễn ra trong văn chương, âm nhạc, nghệ thuật, nơi các tác giả cáo buộc hệ thống AI được huấn luyện trên kho tác phẩm của họ mà không có sự cho phép, ghi nhận hay đền bù. Một nhà toán học phẫn nộ khi thấy nỗ lực cộng đồng nhiều thập niên bị các công ty coi như “nguyên liệu miễn phí” để sản xuất những chiến tích mới. Đây không còn là chuyện công cụ, mà là ai kiểm soát chuỗi giá trị tri thức.
Từ Math Hackathon đến tương lai: Chấp nhận AI nhưng không đầu hàng
Math Hackathon bị phản đối không phải vì sinh viên dùng AI, mà vì thiết kế một sân chơi nơi công sức của họ có thể trở thành chất liệu quảng bá và công cụ chiếm đoạt của các công ty AI. Sự kiện này là tín hiệu báo động: nếu giới hàn lâm không tự đặt ra quy tắc, luật chơi sẽ do tập đoàn viết. Một số nhà toán học thẳng thắn dự đoán rằng trong tương lai, khó có thể cạnh tranh trong nghiên cứu đột phá nếu không dùng AI. Điều đó không có nghĩa họ phải cúi đầu. Câu trả lời hợp lý không phải là đóng cửa với AI, mà là đòi hỏi minh bạch dữ liệu, chia sẻ công bằng công trạng, và cơ chế bảo vệ sinh viên, nhà nghiên cứu trước sức mạnh tài chính vượt trội của các tập đoàn. Nếu không, AI toán học sẽ không phải là công cụ mở rộng hiểu biết của con người, mà là cỗ máy tái phân phối công lao, biến tri thức thành tài sản độc quyền.
