Claude Fable tự tay vẽ 'phản ví dụ' cho Giả thuyết Jacobian: Khi AI đi giải toán thượng đẳng, dân hàn lâm 'đứng ngồi không yên'

Mấy ông giáo sư toán học cày cuốc cả đời chắc đang khóc thét khi nghe tin này: Một con AI tên là Claude Fable vừa tự tay vẽ ra một "phản ví dụ" (counterexample) để vả thẳng vào mặt Giả thuyết Jacobian – một trong những bài toán hóc búa nhất lịch sử toán học đương đại.

Chuyện thật như đùa, khi chúng ta còn đang chật vật bắt AI viết hộ cái Regex hay fix bug CSS vỡ layout, thì có người đã mang nó đi giải toán cấp độ Fields Medal.

Rốt cuộc thì chuyện quái gì vừa xảy ra?

Dành cho anh em chưa biết thì Giả thuyết Jacobian (Jacobian Conjecture) là một bài toán siêu khó trong hình học đại số, được đặt ra từ tận năm 1939. Hiểu một cách cực kỳ đơn giản theo kiểu dev: đây là giả thuyết phát biểu rằng nếu một hàm đa thức có đạo hàm Jacobian là một hằng số khác không, thì hàm đó chắc chắn có hàm ngược cũng là đa thức. Suốt gần 90 năm qua, bao nhiêu bộ óc vĩ đại nhất của nhân loại đã lao vào giải và... thất bại toàn tập.

Thế rồi, một tài khoản X (Twitter) tên là @__alpoge__ đã đăng đàn tuyên bố: Con AI Claude Fable vừa mới tạo ra một phản ví dụ (tức là chỉ ra một trường hợp sai) cho giả thuyết này.

Nếu phát kiến này được chứng minh là đúng 100% và không có "bug" logic nào, đây sẽ là một vụ nổ Big Bang thực sự đối với cộng đồng toán học thế giới. Một bài toán thế kỷ bị hạ gục bởi một mô hình ngôn ngữ lớn (LLM) – thứ mà nhiều người vẫn khinh khỉnh gọi là "vẹt biết nói".

Giang cư mận nói gì về vụ 'ảo ma' này?

Ngay sau khi thông tin được chia sẻ rộng rãi trên Hacker News và X, giới công nghệ lẫn toán học lập tức chia phe combat nảy lửa:

• Phe hoài nghi (và cũng là đa số): Đa số các cao nhân đều tỏ ý nghi ngờ cực độ. Ai cũng biết LLM có một tính năng cực kỳ bá đạo là "bốc phét xuyên lục địa" (hallucination). Rất có thể con Claude này chỉ đang viết một chuỗi các công thức toán nhìn vô cùng nguy hiểm và logic, nhưng thực chất bên trong lại chứa đầy bug toán học mà mắt thường không phát hiện ra ngay được. Một số giáo chủ toán học đã bắt đầu vác giấy bút ra để "debug" tay đống công thức này.
• Phe lạc quan, thần thánh hóa AI: Nhiều anh em lại cho rằng đây là minh chứng cho thấy AI đã đạt đến trình độ suy luận logic thượng đẳng. Dù phản ví dụ này có thể còn tì vết, nhưng hướng tiếp cận của nó thực sự rất khác biệt và "quái chiêu" – thứ mà tư duy lối mòn của con người có thể đã bỏ qua.
• Phe tấu hài: "Ngon đấy, giải được giả thuyết thế kỷ nhưng bảo nó căn giữa cái thẻ div thì nó vẫn quay xe gãy cổ nhé!", một dev cay đắng chia sẻ.

Để chạy những mô hình suy luận sâu như thế này, hệ thống cần những cụm máy chủ siêu khủng để xử lý lượng tham số khổng lồ, chứ máy cỏ ở nhà chắc chắn là cắn RAM đến sập nguồn.

Góc nhìn từ Coding4Food

Tóm cái váy lại, chúng ta vẫn cần phải chờ các nhà toán học hàng đầu thế giới "review code" (peer-review) bài chứng minh của Claude Fable xem có thực sự mượt hay không. Khả năng cao là sẽ có vài chỗ "toang" nhẹ, nhưng không thể phủ nhận một điều: AI đang ngày càng tiến gần hơn tới việc giải quyết các bài toán tri thức thực sự, chứ không còn dừng lại ở việc tóm tắt văn bản hay viết code dạo nữa.

Bài học xương máu cho anh em dev chúng ta là gì? Đừng coi thường AI nữa. Hôm nay nó giải toán thế kỷ, ngày mai nó tối ưu hóa luôn hệ thống của các ông chỉ bằng một cái prompt đấy. Lo mà học cách tận dụng nó đi trước khi bị nó "khóa mõm" cướp mất bát cơm!

---

Nguồn tham khảo: Hacker News