Cuộc đua 72 giờ giữa các nhà toán học MIT và trí tuệ nhân tạo

Vào sáng ngày 11 tháng 9 năm 2026, một tin nhắn ngắn gửi đến Giáo sư Dor Minzer tại Viện Công nghệ Massachusetts (MIT) đã mở đầu cho cuộc đua kỳ lạ giữa con người và máy tính. Tin đồn lan truyền rằng tập đoàn OpenAI sắp công bố chứng minh cho giả thuyết "trò chơi duy nhất" – một câu hỏi trung tâm của lý thuyết độ phức tạp tính toán suốt hơn hai thập kỷ. Đứng trước nguy cơ bị công nghệ trí tuệ nhân tạo làm lu mờ kết quả nghiên cứu kéo dài nhiều năm, Giáo sư Minzer cùng hai học viên cao học đã phải vắt óc hoàn thiện bản thảo 95 trang trong vòng 72 giờ. Cuộc chạy đua này không chỉ bảo vệ quyền ưu tiên tri thức mà còn phơi bày sự thay đổi sâu sắc trong cách con người khám phá các quy luật toán học. [1]

Giả thuyết "trò chơi duy nhất" và ranh giới tính toán

Để hình dung bài toán thỏa mãn ràng buộc, hãy xem xét việc xếp chỗ ngồi cho tiệc cưới: bạn phải đưa những người bạn thân vào cùng bàn, tách những người có xung đột và lấp đầy ghế trống. Trong máy tính, khi số lượng phần tử và quy tắc tăng lên, việc tìm ra phương án hoàn hảo đáp ứng mọi yêu cầu trở nên cực kỳ chậm hoặc bất khả thi. Vì vậy, các nhà khoa học thường chấp nhận các giải pháp gần đúng thỏa mãn một phần các ràng buộc. [1]

Năm 2002, nhà nghiên cứu Subhash Khot đề xuất giả thuyết trò chơi duy nhất khi xem xét bài toán tô màu các đỉnh của đồ thị theo các quy tắc trên cạnh nối. Giả thuyết này đưa ra nhận định gây bất ngờ: ngay cả khi hạ thấp tiêu chuẩn xuống mức tối đa và chỉ cần thỏa mãn một tỷ lệ ràng buộc rất nhỏ như 1% hay 0,001%, việc tìm ra giải pháp đó vẫn cực kỳ khó khăn. Đến năm 2008, nhà khoa học Prasad Raghavendra chứng minh rằng nếu giả thuyết này đúng, các thuật toán hiện có chính là chiến lược tối ưu nhất cho mọi bài toán thỏa mãn ràng buộc không có lời giải hoàn hảo. [1]

Từ khoảng trống lý thuyết đến bài toán tô màu đồ thị

Dù mang tầm ảnh hưởng lớn, giả thuyết ban đầu của Khot có một điểm hạn chế: nó chỉ áp dụng khi giải pháp tốt nhất vốn đã đáp ứng được phần lớn ràng buộc, ví dụ 99%. Nó không đề cập tới các trường hợp tồn tại lời giải hoàn hảo đạt 100%. Để giải quyết khoảng trống này, Khot đề xuất thêm giả thuyết trò chơi 2 trong 1 với quy tắc nới lỏng hơn, cho phép hai lựa chọn màu sắc ở đỉnh đối diện thay vì một. [1]

Nghiên cứu của Giáo sư Dor Minzer cùng hai học viên Yumou Fei và Shuo Wang tại MIT tập trung vào một biến thể tương đương là trò chơi 4 trong 1. Công trình chứng minh rằng với bài toán tô màu đồ thị kinh điển – nơi các đỉnh kề nhau không được trùng màu – nếu một đồ thị chỉ cần 3 màu để tô hoàn hảo, thì dù được cấp lượng màu vô hạn, việc tìm giải pháp tô màu cho các cấu trúc phức tạp vẫn vô cùng khó khăn. Nhà nghiên cứu Mark Braverman từ Đại học Princeton ví von rằng bạn không thể giải bài toán ngay cả khi sở hữu cả hộp bút màu Crayola lớn nhất. [1]

Cuộc đua 72 giờ từ những lần thử nghiệm thất bại

Hành trình đi đến kết quả của nhóm nghiên cứu MIT dựa trên nhiều năm nỗ lực. Giáo sư Minzer theo đuổi bài toán từ năm 2018 nhưng bị bế tắc. Đến năm 2025, ông hợp tác cùng Fei và Wang. Ý tưởng của nhóm là xây dựng cầu nối toán học từ bài toán trò chơi sang lý thuyết mã sửa lỗi – kỹ thuật mã hóa giúp phát hiện và sửa lỗi truyền tín hiệu. Sau nhiều tháng thất bại liên tiếp, đến tháng 4 năm 2026, nhóm mới kết hợp thành công năm ý tưởng từng thất bại trước đó để hoàn thành chứng minh. [1]

Khi công trình đang trong quá trình hoàn thiện văn bản – công việc vốn cần nhiều tháng – tin đồn ngày 11 tháng 9 năm 2026 về việc OpenAI chuẩn bị công bố kết quả đã buộc họ phải hành động gấp. Ưu tiên tính chính xác toán học hơn văn phong, chỉ sau 72 giờ, nhóm đã đăng bản thảo 95 trang lên mạng. Giáo sư Minzer chia sẻ rằng từ phần thứ sáu trở đi, bản thảo hầu như không có từ nối ngữ pháp mà chỉ gồm định nghĩa và công thức. Sự vội vã này giúp họ giữ được quyền ưu tiên tri thức của con người. [1]

Làn sóng kết quả AI và phản ứng của giới học thuật

Vào ngày 6 tháng 10 năm 2026, OpenAI chính thức công bố bản chứng minh cho giả thuyết trò chơi duy nhất cùng 376 kết quả toán học khác. Lời giải của AI đi kèm bản kiểm định bằng phần mềm Lean, nhưng toàn bộ tài liệu do máy tính tự tạo ra mà không qua sự chỉnh sửa hay đánh giá từ các chuyên gia con người. Sự kiện này tạo ra làn sóng tranh luận vừa tò mò vừa lo ngại trong cộng đồng khoa học. [1]

Nhà nghiên cứu Ryan O'Donnell từ Đại học Carnegie Mellon đánh giá rất cao công trình của nhóm MIT, nhấn mạnh rằng họ đã giải bài toán theo phương pháp truyền thống bằng tư duy và đôi tay của chính mình. Mặt khác, nhà toán học Mark Braverman cho rằng việc công bố kết quả qua thông cáo báo chí của tập đoàn công nghệ gây ra sự xáo trộn tâm lý cho giới học thuật. Dù vậy, ông thừa nhận các chứng minh từ máy tính có thể mở ra hướng đi mới nếu các nhà khoa học bóc tách được các giả định cốt lõi bên trong. [1]

Dấu ấn tư duy con người trước làn sóng thuật toán

Cuộc đua năm 2026 phơi bày sự thay đổi căn bản trong phương pháp nghiên cứu khoa học. Trước đây, khoa học lý thuyết tiến triển qua chuỗi thử nghiệm, thất bại và rút kinh nghiệm. Việc máy tính có thể tạo ra hàng loạt chứng minh trong thời gian ngắn đang đe dọa làm giảm giá trị của quá trình mò mẫm thử sai – nơi khả năng sáng tạo của con người được rèn giũa. [1]

Giáo sư Minzer bày tỏ sự lo ngại rằng các công cụ AI có thể làm nản lòng những nhà nghiên cứu trẻ muốn theo đuổi dự án dài hạn, bởi con người cần ăn ngủ và có cảm xúc, trong khi các hệ thống máy tính có thể vận hành liên tục. Dù vậy, cuộc cạnh tranh này cũng khẳng định trí tuệ con người vẫn có giá trị riêng. Bản thảo 95 trang chưa trau chuốt của nhóm MIT chính là minh chứng cho sức mạnh của tư duy nguyên bản trong kỷ nguyên công nghệ. [1]