Giả thuyết Jacobian: Bước ngoặt lịch sử nhờ AI Claude Fable 5

Vào đêm ngày 19–20 tháng 7 năm 2026, trong khi xem trận chung kết FIFA Club World Cup, nhà toán học Levent Alpöge — một chuyên gia lý thuyết số đang làm việc tại Anthropic, từng là Nghiên cứu viên Cao cấp tại Hiệp hội Nghiên cứu sinh Harvard — được một người bạn tên Akhil Mathew hỏi về giả thuyết Jacobian . Alpöge đã yêu cầu mô hình Claude Fable 5 của Anthropic giải bài toán. Kết quả là mô hình đưa ra một ánh xạ đa thức dài đúng 216 ký tự, thỏa mãn điều kiện có định thức Jacobian hằng khác không nhưng không phải là đơn ánh, do đó vi phạm kết luận của giả thuyết .

Alpöge đã đăng kết quả lên X vào ngày 19 tháng 7 năm 2026, viết: "hello there the jacobian conjecture is false thanx to my close friend akhil for asking about it and my other close friend fable for working during the world cup final" . Tạm dịch: "Xin chào, giả thuyết Jacobian là sai, cảm ơn người bạn thân Akhil vì đã hỏi về nó và người bạn thân khác của tôi là Fable vì đã làm việc trong suốt trận chung kết World Cup."

Phản ví dụ cụ thể

Phản ví dụ là một ánh xạ đa thức F: ℂ³ → ℂ³ được định nghĩa tường minh như sau :

Hai tính chất then chốt :

• Định thức Jacobian: det Jac F = −2 (một hằng số khác không), vì vậy F là một ánh xạ Keller.
• Tính không đơn ánh: Ba điểm đầu vào phân biệt đều cho cùng một đầu ra (-1/4, 0, 0):
  • (0, 0, -1/4)
  • (1, -3/2, 13/2)
  • (-1, 3/2, 13/2)

Vì một ánh xạ không đơn ánh không thể có hàm ngược đa thức (hoặc bất kỳ hàm ngược nào), F mâu thuẫn trực tiếp với giả thuyết Jacobian. Cấu trúc này hoạt động trên mọi trường có đặc số 0 vì tất cả các hệ số và điểm chứng minh đều là số hữu tỷ .

Một bản thảo (preprint) đi kèm (ngày 20 tháng 7 năm 2026) cung cấp kiểm chứng đại số đầy đủ, xác định cấu trúc hình học toàn cục của F, và chứng minh rằng tập hợp không chính quy của F là một siêu mặt — cơ chế mà ánh xạ không thể là một tự đẳng cấu đa thức . Bài báo còn xây dựng các họ vô hạn các phản ví dụ tương tự .

Tình trạng của trường hợp hai biến

Giả thuyết Jacobian cho n = 2 (hai biến phức) vẫn là một bài toán mở tính đến tháng 7 năm 2026. Phản ví dụ chỉ bác bỏ giả thuyết cho các chiều n ≥ 3 .

Tình trạng kiểm chứng và bình duyệt hiện tại

Tính đến ngày 22 tháng 7 năm 2026, thông tin như sau:

• Tính đúng đắn về mặt toán học: Phản ví dụ là tường minh và có thể kiểm tra bằng cơ học. Các nhà toán học đang xem xét nó một cách nghiêm túc . Một kiểm chứng hình thức bằng Lean 4 đã được thực hiện và vượt qua các bước kiểm tra tích hợp liên tục .
• Chưa có công bố trên tạp chí có bình duyệt: Chưa có bài báo khoa học nào được bình duyệt hoặc bản thảo trên arXiv tính đến các báo cáo gần đây nhất . Tài liệu hiện tồn tại dưới dạng bài đăng trên mạng xã hội và một tệp PDF đi kèm trên ulam.ai, nhưng chưa trải qua quy trình đánh giá chính thức của tạp chí.
• Wikipedia đã cập nhật: Mục từ Wikipedia về giả thuyết Jacobian hiện liệt kê phản ví dụ này, xác nhận giả thuyết sai với N > 2 .
• Đánh giá của cộng đồng: Sự đồng thuận giữa các nhà bình luận là phần toán học gần như chắc chắn đúng, nhưng việc chấp nhận chính thức và trích dẫn trong hồ sơ chính thức vẫn đang chờ xử lý tính đến thời điểm này . Kết quả được ghi nhận là một sự hợp tác giữa con người và AI, chứ không phải do Claude hoạt động một mình .

Kết luận: Giả thuyết Jacobian dường như thực sự sai trong các chiều ≥ 3. Trường hợp hai biến vẫn còn bỏ ngỏ. Phản ví dụ là đúng đắn về mặt toán học và đã được xác minh độc lập, nhưng chưa hoàn tất quy trình bình duyệt chính thức.