Khi AI chinh phục những bài toán nan giải nhất thế kỷ: Hai đột phá lịch sử năm 2026

Claude Fable 5 của Anthropic Tìm Ra Phản Ví Dụ Cho Giả Thuyết Jacobian (Tháng 7/2026)

Ngày 19 tháng 7 năm 2026, nhà toán học Levent Alpöge, một nhà nghiên cứu tại Anthropic, đã thông báo trên X rằng ông đã sử dụng mô hình Claude Fable 5 của Anthropic để tìm ra phản ví dụ cho giả thuyết Jacobian—một bài toán mở 87 năm tuổi trong hình học đại số lần đầu tiên được đặt ra bởi Ott-Heinrich Keller vào năm 1939 . Giả thuyết này, được xếp thứ 16 trong danh sách các bài toán cho thế kỷ tiếp theo năm 1998 của người từng đoạt Huy chương Fields Stephen Smale, cho rằng một ánh xạ đa thức từ C^n đến C^n với định thức Jacobian hằng số khác không thì phải khả nghịch trên toàn cầu .

Phản ví dụ là một ánh xạ đa thức gồm 216 ký tự cực kỳ ngắn gọn từ C³ đến C³ với định thức Jacobian bằng -2 tại mọi điểm, nhưng nó lại ánh xạ ba bộ ba đầu vào riêng biệt đến cùng một đầu ra, từ đó bác bỏ tính khả nghịch toàn cầu . Trong vòng vài giờ sau bài đăng của Alpöge, các nhà toán học trên toàn thế giới đã độc lập xác minh kết quả, và việc xác minh chính thức trong trợ lý chứng minh Lean đã được hoàn thành trong vòng chưa đầy 24 giờ .

Các nhà toán học nổi tiếng bao gồm Terence Tao và Timothy Gowers đã ca ngợi kết quả này . Tao đã công bố một phân tích hình học về phản ví dụ, và việc xác minh đã được xác nhận rộng rãi trong cộng đồng toán học . Phiên bản hai chiều của giả thuyết này vẫn đang là một bài toán mở .

Những Kết Quả Này Có Ý Nghĩa Gì Đối Với Tương Lai Của Toán Học

AI Giờ Đây Có Thể Tạo Ra Các Chứng Minh Thực Sự Mới

Cả hai đột phá đều liên quan đến những bước nhảy vọt về khái niệm, không chỉ là sự hỗ trợ tính toán. Việc bác bỏ giả thuyết khoảng cách đơn vị đòi hỏi AI phải kết nối lý thuyết số đại số với hình học tổ hợp—một sự kết nối mà chưa nhà toán học nào từng thực hiện . Phản ví dụ Jacobian đòi hỏi phải xây dựng một ánh xạ đa thức tinh tế với các tính chất đại số cụ thể .

Mô Hình Hợp Tác Giữa Con Người Và AI Đang Chứng Tỏ Sức Mạnh

Những kết quả này hướng đến một tương lai mà AI hoạt động như một cộng tác viên sáng tạo hơn là một sự thay thế. Trong trường hợp giả thuyết Jacobian, một nhà toán học lành nghề đã chỉ đạo AI và nhận ra tầm quan trọng của đầu ra của nó . Trong trường hợp của OpenAI, mô hình làm việc tự động hơn nhưng vẫn cần sự xác minh của con người . Mô hình hợp tác này cho phép AI khám phá những không gian tìm kiếm khổng lồ mà con người không thể khai thác hiệu quả, trong khi con người cung cấp trực giác, phán đoán và sự xác minh.

Tốc Độ Đang Tăng Nhanh Chóng

OpenAI sau đó thông báo vào tháng 8 năm 2026 rằng cùng lớp các mô hình lập luận nội bộ đã tạo ra những tiến bộ trên 10 bài toán lớn trong toán học và khoa học máy tính lý thuyết, trải dài trên hình học chiều cao, lý thuyết mã hóa, lý thuyết nhóm, đại số toán tử, độ phức tạp lượng tử, mật mã lưới và tổ hợp cực trị . Các nhà quan sát đã mô tả một "thời kỳ hoàng kim mới" của toán học được thúc đẩy bởi AI .

Những Lưu Ý Quan Trọng Vẫn Còn

Phản ví dụ Jacobian chỉ áp dụng cho chiều 3 trở lên—giả thuyết ban đầu vẫn còn là bài toán mở ở chiều 2 . Một số kết quả chưa được bình duyệt đầy đủ thông qua các kênh truyền thống và không phải tất cả các tuyên bố đều được công bố đầy đủ . Nhưng hướng đi tổng thể đã rõ ràng: AI đã vượt qua ngưỡng từ trợ lý toán học trở thành người khám phá toán học, và vai trò của nó trong nghiên cứu có thể sẽ mở rộng nhanh chóng.

Bức Tranh Toàn Cảnh

Những đột phá năm 2026 này nối tiếp một quá trình tiến bộ nhanh chóng trong khả năng toán học của AI. Vào tháng 7 năm 2025, các mô hình AI lần đầu tiên giải được năm trong sáu bài toán tại Kỳ thi Olympic Toán học Quốc tế . Đến đầu năm 2026, các mô hình đã đạt được tiêu chuẩn huy chương vàng tại IMO . Giờ đây, AI đang tạo ra các kết quả ở ranh giới nghiên cứu—giải quyết các vấn đề đã định hình nên toàn bộ sự nghiệp của các nhà toán học.

Như nhà toán học Terence Tao đã nhận xét, kết quả Jacobian đại diện cho một cột mốc trong sự hợp tác giữa con người và AI . Mô hình không làm việc một mình, nhưng sự hợp tác đã tạo ra một kết quả mà cả con người và máy móc đều không thể đạt được một cách độc lập. Mô hình đó—trực giác của con người được hướng dẫn bởi sự khám phá của AI, được xác minh bởi các trợ lý chứng minh chính thức—có thể sẽ xác định tương lai của khám phá toán học.