Một mô hình OpenAI có thể vừa tìm ra lời giải cho một bài toán toán học đã làm khó giới nghiên cứu suốt hàng chục năm qua.
Bài báo dài ba trang, được lưu trữ trên mạng phân phối nội dung chính thức của OpenAI, tuyên bố đã chứng minh được Giả thuyết Bao phủ Chu trình Kép (Cycle Double Cover Conjecture) – một bài toán kinh điển trong lý thuyết đồ thị. Tác giả cho biết toàn bộ chứng minh do GPT-5.6 Sol Ultra tạo ra, còn Codex và GPT-5.6 Sol hỗ trợ biên tập thành bài viết hoàn chỉnh.
Đây là một tuyên bố rất lớn. Nếu các nhà toán học độc lập xác nhận chứng minh là đúng, đây sẽ là bằng chứng cho thấy các hệ thống AI tiên tiến có thể làm nhiều hơn là tóm tắt tài liệu hay hỗ trợ tính toán. Chúng có thể tự xây dựng lập luận toán học nguyên bản, đủ mạnh để giải những bài toán con người bế tắc nhiều năm.
Tuy nhiên, ở thời điểm hiện tại, kết quả này mới dừng lại ở mức “chứng minh được tuyên bố” chứ chưa phải một đột phá đã được công nhận.
AI thực sự “giải” bài toán gì?
Lý thuyết đồ thị là nhánh toán học nghiên cứu các mạng lưới.
Ta có thể hình dung một đồ thị như tập hợp các điểm nối với nhau bằng những đoạn thẳng. Các điểm có thể biểu thị con người, máy tính, thành phố hoặc bất kỳ đối tượng nào khác, còn các đoạn nối biểu thị mối quan hệ hay kết nối giữa chúng.
Giả thuyết Bao phủ Chu trình Kép đặt câu hỏi: với mọi mạng lưới liên thông, không có “điểm cổ chai” mà nếu bỏ đi sẽ làm mạng bị tách rời, liệu có tồn tại một tập các chu trình (vòng khép kín) sao cho mỗi cạnh trong mạng xuất hiện chính xác hai lần trong số các chu trình đó hay không?
Nghe có vẻ rất trừu tượng, nhưng bài toán này đã “treo” nhiều thập kỷ và gắn với tên tuổi các nhà toán học lớn như William Tutte, George Szekeres và Paul Seymour.
Giới nghiên cứu đã chứng minh được giả thuyết cho một số lớp đồ thị đặc biệt, nhưng chưa bao quát được mọi trường hợp.
Bài báo được OpenAI lưu trữ tuyên bố đã lấp đầy khoảng trống đó.
Ý tưởng cốt lõi của chứng minh
Lập luận trong bài báo rất kỹ thuật, nhưng chiến lược tổng thể thì có thể tóm lược dễ hiểu hơn.
Trước tiên, chứng minh rút gọn bài toán về một lớp đồ thị đơn giản hơn, trong đó mỗi đỉnh đều có đúng ba cạnh kề.
Sau đó, mô hình sử dụng một công cụ toán học quen thuộc gọi là “dòng chảy” (flow) để gán nhãn cho các cạnh của đồ thị. Các nhãn này được sắp xếp lại sao cho các cạnh “tự nhiên” kết hợp thành các chu trình.
Điều kiện then chốt là mỗi cạnh phải nằm trong đúng hai chu trình như vậy.
Bài báo cho rằng phần sai lệch còn lại giữa các vùng khác nhau trong mạng có thể điều chỉnh được bằng đại số tuyến tính. Khi giải quyết xong bài toán “tương thích” đó, ta thu được bao phủ chu trình đầy đủ.
Nói một cách đơn giản, AI dường như đã lấy nhiều công cụ toán học quen thuộc, lắp ghép chúng theo một cách mới và dùng chúng để dựng nên các vòng lặp cần thiết trên mọi mạng lưới hợp lệ.
Ý nghĩa đối với sự phát triển của AI
Các hệ thống AI hiện đã được dùng rộng rãi để viết mã, phân tích thị trường, tóm tắt nghiên cứu và hỗ trợ công việc khoa học.
Nhưng chứng minh một giả thuyết toán học lớn là nhiệm vụ ở đẳng cấp hoàn toàn khác.
Một chứng minh đúng phải hoạt động trong mọi trường hợp mà định lý đề cập, chứ không chỉ “có vẻ hợp lý” hay cho ra đáp án đúng trên vài ví dụ thử.
Xem thêm: Lợi nhuận quý 3 của Anthropic được dự báo vượt 1 tỷ USD khi hồ sơ IPO cận kề
Chính vì thế, toán học là một trong những phép thử rõ ràng nhất xem liệu một hệ thống AI có thực sự suy luận đáng tin cậy, thay vì chỉ tạo ra văn bản nghe xuôi tai.
Nếu chứng minh là chính xác, điều đó cho thấy các mô hình biên tiên phong đang tiến tới khả năng kết hợp kiến thức sẵn có thành những lập luận thật sự mới.
Tác động khi đó sẽ vượt xa phạm vi lý thuyết đồ thị. Các hệ thống tương tự có thể dần hỗ trợ các nhà khoa học khám phá những câu hỏi khó trong vật lý, mật mã, khoa học máy tính và kinh tế học.
Bài kiểm tra thực sự bắt đầu từ đây
Việc bài báo được lưu trữ trên tên miền do OpenAI kiểm soát giúp văn bản có độ xác thực nguồn gốc cao hơn so với một bản tải lên ẩn danh. Nhưng điều đó hoàn toàn không đồng nghĩa với việc chứng minh chắc chắn đúng.
Bản thảo không liệt kê tên tác giả là con người, không có lịch sử phản biện ngang hàng và cũng chưa ghi nhận bình luận từ các chuyên gia lý thuyết đồ thị độc lập.
Điều này quan trọng bởi các bài toán toán học nổi tiếng thường xuyên xuất hiện những “lời giải” sau này bị phát hiện có lỗ hổng.
Một chứng minh có thể trông rất gọn ghẽ ban đầu nhưng vẫn sai vì một bước nào đó ngầm giả định điều không phải lúc nào cũng đúng, bỏ sót một trường hợp đặc biệt hoặc áp dụng một định lý có sẵn quá rộng.
Bước tiếp theo vì thế phải là kiểm chứng độc lập.
Các nhà toán học sẽ cần rà soát mọi phép rút gọn và xác nhận lập luận đại số tuyến tính thực sự áp dụng được cho toàn bộ các đồ thị không cầu mà giả thuyết đề cập.
Giới nghiên cứu cũng có thể tìm cách chuyển chứng minh sang dạng “chứng minh hình thức” trong các hệ thống trợ lý chứng minh, nơi từng bước suy luận phải được phần mềm xác nhận.
Đột phá được tuyên bố, chưa phải sự thật đã an bài
Cách diễn đạt thận trọng nhất hiện nay là: một mô hình của OpenAI đã tạo ra một chứng minh có tiềm năng rất quan trọng, nhưng còn cần xác nhận bên ngoài.
Nếu chuyên gia phát hiện lỗi, bài báo vẫn có thể hữu ích ở chỗ gợi mở một hướng tiếp cận hoặc phép rút gọn mới.
Ngược lại, nếu chứng minh vượt qua được quá trình “soi” kỹ, tác động sẽ lớn hơn rất nhiều.
Khi đó, điều này sẽ cho thấy một hệ thống AI không chỉ đóng vai trò trợ lý cho nhà toán học, mà còn được ghi nhận là chủ thể độc lập giải được một bài toán đã treo lơ lửng qua nhiều thế hệ.
Câu chuyện hiện tại vì thế chưa phải là AI đã dứt điểm giải xong Giả thuyết Bao phủ Chu trình Kép.
Mà là: AI có thể đã làm được điều đó, và cộng đồng toán học giờ phải xác định xem mô hình thực sự “nấu chín” một chứng minh hoàn chỉnh hay chỉ vừa tạo ra một trong những “sai lầm trông thuyết phục nhất” từ trước tới nay.
Đọc tiếp: Trung Quốc thảo luận với Alibaba và ByteDance về hạn chế xuất khẩu mô hình AI