Lời giải tăng nhanh, năng lực kiểm chứng thì không
AI nghiên cứu toán học là việc dùng các hệ thống trí tuệ nhân tạo để hỗ trợ tìm hướng giải, tạo chứng minh và phát triển câu hỏi nghiên cứu, nhưng kết quả vẫn cần con người thẩm định. Sự lệch nhịp giữa tốc độ tạo lời giải và thời gian xác nhận chúng hiện là vấn đề cấp bách hơn cả viễn cảnh máy móc thay thế nhà toán học. Ngày 6/10, OpenAI công bố trên GitHub 722 bản thảo do một mô hình nội bộ tạo ra, gom thành 372 nhóm kết quả về nhiều bài toán mở. Quy mô ấy gây ấn tượng, nhưng không đồng nghĩa với 722 chứng minh đã được xác nhận. Ba bản thảo bị rút lại sau khi phát hiện lỗi, còn một số kết quả chưa được hình thức hóa bằng Lean — công cụ chuyên biểu diễn và kiểm tra lập luận toán học — nên vẫn có thể sai. Khi sản lượng tăng nhanh hơn sức đọc và phản biện, cộng đồng có nguy cơ nhầm một bản thảo thuyết phục với một kết quả đáng tin.
AI giải bài toán cũng không phải chiếc máy phát đáp án chắc chắn. OpenAI thử khoảng 4.000 bài toán và chỉ giải được khoảng 9%, theo lời Terence Tao. Tỷ lệ này nhắc rằng thành công nổi bật không thể đại diện cho mọi lần thử; nhưng ngay cả một số ít lời giải đúng cũng đủ tạo lượng tài liệu lớn, khó đọc và tốn công đối chiếu. Tao cho biết có khoảng một tá kết quả trong lĩnh vực ông quan tâm đã được giải quyết mà ông chưa có đủ thời gian đọc hết chứng minh. Nút thắt vì thế không chỉ là máy có giải được hay không, mà là con người có thể hiểu, kiểm tra và giải thích lời giải kịp lúc hay không.
Khi chia sẻ ý tưởng trở thành một canh bạc
Rủi ro về quyền tác giả không dừng ở chuyện ai viết dòng cuối của chứng minh. Trong toán học, một ý tưởng chưa hoàn thiện, một gợi ý hay một bài toán được nêu công khai thường mở đường cho trao đổi và hợp tác. Nhưng nếu AI có thể nhanh chóng khai thác vấn đề ấy, người nêu hướng nghiên cứu trước có thể mất lợi thế vào tay người khác công bố lời giải sớm hơn. Nỗi lo này dễ hiểu: một chương trình nghiên cứu có thể được máy triển khai thành nhiều kết quả nối tiếp, trong khi công lao ban đầu, quá trình thử sai và đóng góp của từng người không dễ quy về một tên tác giả. Giáo sư Hugo Duminil-Copin cho biết 16 bài toán trong hướng nghiên cứu của ông xuất hiện trong đợt công bố; có trường hợp các tác nhân AI gần như hoàn thành một chương trình nghiên cứu qua 13 bài báo liên tiếp.
Phản ứng hợp lý không phải là cấm chia sẻ, mà là xây dựng cách ghi nhận đóng góp minh bạch hơn. Nếu cộng đồng chỉ thưởng cho kết quả cuối cùng hoặc thứ tự công bố, người cung cấp ý tưởng và nhà nghiên cứu theo đuổi vấn đề lâu dài có thể bị lu mờ. Khi đó, việc giữ kín giả thuyết chưa chín chắn sẽ trở thành lựa chọn tự vệ, dù nó làm nghèo môi trường trao đổi vốn giúp toán học tiến lên. Duminil-Copin dự định cùng các nhà toán học khác xem xét hơn 3.500 trang tài liệu liên quan đến lĩnh vực nghiên cứu của mình. Đó là một nỗ lực cần thiết, nhưng cũng cho thấy công việc xác định lời giải nào có giá trị và ai góp phần tạo ra chúng có thể vượt xa năng lực của một cá nhân.
Nhà toán học trẻ chịu sức ép kép
Người mới vào nghề có ít quyền lực hơn để bảo vệ hướng nghiên cứu, nhưng lại phải xây dựng hồ sơ bằng những đóng góp được công nhận. Một khảo sát do ba nhà nghiên cứu tại MIT thực hiện từ ngày 17/9 đến 8/10 với 268 nghiên cứu sinh tiến sĩ và sau tiến sĩ ở gần 60 cơ sở thuộc năm quốc gia cho thấy 56% đang cân nhắc đổi hướng chuyên sâu, còn 8% đã thay đổi. Gần 76% nói họ ngày càng ít động lực theo đuổi toán học hàn lâm sau tốt nghiệp. Đây không phải bằng chứng rằng AI chắc chắn sẽ lấy mất việc của họ; đó là dấu hiệu cho thấy bất an về tương lai nghề nghiệp đã hiện hữu. Khi cạnh tranh công bố tăng tốc, nhà toán học trẻ vừa phải học cách dùng công cụ mới, vừa phải chứng minh rằng đóng góp của mình không thể bị hòa tan vào một chuỗi kết quả do máy tạo ra.
Điều đáng lo hơn là vòng xoáy tự củng cố: càng sợ ý tưởng bị khai thác, nhà nghiên cứu càng kín tiếng; càng ít trao đổi, càng khó phát hiện sai sót và phát triển hướng đi chung. Vì vậy, bài toán của các trường và tạp chí không chỉ là cập nhật quy định về sử dụng AI, mà còn phải bảo vệ cách ghi nhận đóng góp, khuyến khích công bố quy trình và dành thời gian thực tế cho phản biện. Nếu thiếu những chuẩn mực ấy, lời hứa tăng năng suất có thể đi kèm một môi trường nghề nghiệp kém hấp dẫn hơn cho người trẻ. Công nghệ đang hỗ trợ nhiều khâu, từ tìm tài liệu đến kiểm tra chứng minh, nhưng sự tiện dụng đó không xóa trách nhiệm xác minh.
Dùng AI để mở rộng toán học, không thay thế sự tin cậy
Từ chối AI sẽ bỏ qua một công cụ có thể giúp nhà toán học tìm phương pháp mới, gợi ý câu hỏi nghiên cứu và làm cho chứng minh phức tạp dễ hiểu hơn. Terence Tao đề xuất cách tiếp cận mang tên Math 2.0, trong đó AI không chỉ giải toán mà còn hỗ trợ mở rộng cách con người đặt câu hỏi và trình bày lập luận. Nhưng hướng đi ấy chỉ đáng tin nếu kiểm chứng lời giải trở thành một phần của quy trình, chứ không phải việc bị đẩy sang cho cộng đồng sau khi hàng trăm bản thảo đã xuất hiện. Cần phân biệt rõ kết quả do AI gợi ra, phần con người phát triển, mức độ kiểm tra hình thức và những điểm còn chưa chắc chắn. Nếu không, tốc độ sẽ được tính như thành tựu trong khi công việc xác nhận và ghi công vẫn bị xem nhẹ.
AI đang thay đổi toán học không chỉ bằng khả năng tạo lời giải, mà còn bằng cách làm lộ ra giới hạn của hệ thống thẩm định hiện nay. Kết quả đúng nhưng chưa được hiểu, công trình có giá trị nhưng không rõ ai xứng đáng được ghi nhận, hay ý tưởng bị giữ kín vì sợ công bố trước đều là những tổn thất có thật đối với nghiên cứu. Cộng đồng cần vừa kiểm tra nghiêm ngặt, vừa tạo quy tắc công bằng để ghi nhận đóng góp và bảo vệ văn hóa chia sẻ. Nếu không làm được điều đó, năng lực giải toán ngày càng mạnh của AI có thể tạo thêm bản thảo nhanh hơn tạo ra tri thức mà con người tin cậy.
