Toán học hiện đại chưa bao giờ hoàn toàn là sản phẩm của các cá nhân cô độc. Mỗi định lý đều đứng trên một lịch sử dài của khái niệm, ký hiệu, phương pháp, phản ví dụ và những cuộc trao đổi giữa nhiều thế hệ. Dù vậy, cho đến hôm nay, ta vẫn thường nhận ra một tâm trí trung tâm trong mỗi công trình lớn. Ta có thể nói đây là cách nhìn của người này, trực giác của người kia, một kỹ thuật mang dấu ấn của một trường phái hoặc một ý tưởng chỉ nảy sinh từ lịch sử tư duy riêng có của tác giả. Dấu vân tay cá nhân trên toán học là điều có thật. Chẳng phải chúng ta vẫn nhìn các chủ nhân Huy chương Fields 2026, được xướng tên hôm 23/7, như bốn tâm trí trung tâm đã tạo ra bốn hành trình khám phá mang dấu ấn cá nhân đó sao.
Liệu tới đây, hình dung này có còn nguyên vẹn?
Tháng Năm năm nay, một mô hình nội bộ của OpenAI đưa ra một họ cấu hình mới bác bỏ niềm tin kéo dài nhiều thập kỷ quanh bài toán khoảng cách đơn vị trên mặt phẳng do Paul Erdős đặt ra năm 1946. Kết quả không giải quyết toàn bộ bài toán, nhưng nó bác bỏ giả thuyết rằng các cấu hình dựa trên lưới vuông về cơ bản đã gần tối ưu. Chứng minh được một nhóm các nhà toán học bên ngoài kiểm tra. Trong số những chuyên gia công khai đánh giá cao tính mới của lập luận có Jacob Tsimerman, người vừa nhận Fields.*
Bản thân tôi thời gian qua cũng có dịp quan sát ở cự ly gần sự chuyển dịch từ việc dùng máy như công cụ sang dùng máy như đối tác khám phá. Là người yêu toán và phát triển AI, ngay khi xuất hiện đề thi của kỳ thi Olympic Toán học Quốc tế IMO lần thứ 67 (diễn ra tại Thượng Hải từ ngày 10-21/7), tôi đã đưa cho chatGPT 5.6 giải thử theo một thủ tục mà tôi vẫn thường làm với công việc hiện tại, dù đó không phải là công việc giải toán.
Huy chương Fields.
Ngạc nhiên thay, chatGPT đã giải trọn vẹn 6 bài thi trong hai ngày, tương đương với huy chương vàng tuyệt đối - thành tích chỉ có 7 thí sinh đạt được trong cả kỳ thi. Tôi tiếp tục phát triển phương pháp này thành một thủ tục để giải một bài toán mở có tên Lonely Runner Conjecture (LRC, Giả thuyết Người chạy cô đơn) đã tồn tại từ năm 1967. Sau hai ngày công phá, kết quả đạt được rất đáng kể, thậm chí đủ để viết thành một bài báo nghiên cứu nghiêm túc đăng ở các tạp chí chuyên ngành, dù đáp án cuối cùng chưa hoàn tất.
Tôi không xem những hệ thống đó là nhà toán học và cũng không kể các bài toán mình đã công phá như một thành tích cá nhân. Điều đáng chú ý hơn là cấu trúc làm việc đã thay đổi. Một câu hỏi được tách thành nhiều nhánh. Mỗi nhánh có tiến trình tìm tài liệu, dựng lập luận, săn phản ví dụ hoặc đóng vai người phản biện. Kết quả trung gian quay trở lại làm biến đổi câu hỏi ban đầu. Con người không còn chỉ đưa lệnh rồi chờ đáp án mà phải thiết kế một môi trường trong đó nhiều khả năng được sinh ra, va chạm, loại bỏ và kiểm chứng.
Có lúc AI tin quá nhanh vào kết quả đẹp nên tôi phải kéo nó trở về các điều kiện gốc. Có lúc tôi chuẩn bị từ bỏ một hướng vì trực giác cho rằng nó không còn triển vọng nhưng nhánh suy luận khác lại phát hiện cấu trúc đáng giữ. Phần lớn đầu ra vẫn cần kiểm tra nghiêm ngặt. Điểm thu hút tôi không nằm ở tỷ lệ đúng tuyệt đối, mà ở việc hai phía liên tục làm thay đổi không gian suy nghĩ của nhau. Đây không còn hoàn toàn là quan hệ giữa người dùng với công cụ thụ động, nhưng cũng chưa giống quan hệ giữa hai nhà toán học. Nó là một hình thức cộng tác chưa có tên gọi ổn định.
Những trải nghiệm nêu trên gợi mở cho tôi một khả năng: tác giả của toán học tương lai có thể không còn là những cá nhân đơn lẻ mà là một hệ thống cộng tác nhiều tầng. Con người giữ vai trò định hướng, lựa chọn vấn đề, phán đoán ý nghĩa, xác lập tiêu chuẩn kiểm chứng và chịu trách nhiệm cuối cùng. AI mở rộng không gian tìm kiếm, duy trì nhiều mạch suy luận, phát hiện những liên hệ xa cùng đi qua các đoạn đường mà sức lực của một cá nhân khó bao phủ. Đóng góp khi ấy không dễ tách thành phần trăm vì ý tưởng của người kích hoạt một chuỗi suy luận từ máy, rồi chính kết quả do máy tạo ra lại thay đổi trực giác ban đầu của người.
Vì thế, tôi không có ý nói một cỗ máy sẽ bước lên sân khấu hoặc tên mô hình được khắc lên Huy chương Fields trong tương lai tới đây. Điều đáng suy nghĩ là công trình được tôn vinh có thể không còn sinh ra bên trong một bộ não duy nhất và không thể kể trọn vẹn bằng tiểu sử trí tuệ của một cá nhân.
Thực tế này sẽ buộc toán học xây dựng chuẩn mực mới về công bố, đóng góp và trách nhiệm. Bài báo phải mô tả trung thực hơn AI đã tham gia ở khâu nào, từ tìm kiếm tài liệu, sinh giả thuyết, đề xuất bổ đề đến kiểm tra hình thức. Cộng đồng cần phân biệt giữa việc dùng AI như bộ máy tra cứu với việc hệ thống tạo ra một bước chuyển có tính khái niệm. Hội đồng giải thưởng cũng không thể chỉ hỏi ai ký tên ở cuối bản thảo mà phải hiểu quá trình khám phá được tổ chức ra sao.
Một chuẩn mực tốt không nên giả vờ rằng AI không tồn tại. Nó cũng không nên trao tư cách tác giả cho máy theo cách xóa mờ trách nhiệm của con người.
Các cuộc phân phối lại vai trò hiếm khi chờ đến lúc mọi người đồng thuận mới bắt đầu diễn ra. Chúng thường khởi đi từ vài khoảnh khắc nhỏ, một hướng chứng minh bất ngờ, một giả thuyết do máy gợi ra hoặc cấu trúc chỉ xuất hiện khi con người cùng AI làm việc trong vòng phản biện đủ sâu.
Ban đầu chúng ta gọi đó là hỗ trợ. Sau đó là cộng tác. Đến một lúc nào đó, ta nhận ra không còn cách tách hai phía ra mà vẫn giữ nguyên thành tựu. Ranh giới không biến mất trong một ngày. Nó nhạt dần qua từng công trình cho đến khi ngôn ngữ cũ không còn đủ sức mô tả thực tại mới.
Những Huy chương Fields vừa được trao có thể là những chiếc cuối cùng mà chúng ta còn tương đối chắc chắn câu chuyện phía sau nên được kể bằng đại từ số ít. Tôi có chút nuối tiếc khi nghĩ về điều đó, nhưng cảm giác may mắn nhiều hơn vì được sinh ra đủ muộn để nhìn thấy một hình thức sáng tạo vĩ đại bắt đầu khép lại và đủ sớm để bước vào thời đại tiếp theo.
---
Chú thích:
* Một mô hình OpenAI đã bác bỏ một giả thuyết trọng tâm trong lĩnh vực hình học rời rạc. OpenAI, 20/5/2026. https://openai.com/vi-VN/index/model-disproves-discrete-geometry-conjecture/