Khi giáo chủ toán học Terence Tao dùng ChatGPT để bóc phốt 'phản ví dụ' về Giả thuyết Jacobian của Claude Fable. Đọc ngay màn review code đỉnh cao của vị thần!
Terence Tao – "vị thần" toán học sống, người sở hữu bộ não được cho là tiệm cận Einstein – vừa mới đi làm QC/Code Review cho AI các ông ạ! Nghe như đùa đúng không? Nhưng chuyện này vừa xảy ra thật, khi Claude Fable tự tin dõng dạc tuyên bố đã tìm ra phản ví dụ (counterexample) để đập tan Giả thuyết Jacobian (Jacobian Conjecture) – một trong những bài toán hóc búa thách thức nhân loại suốt hàng thập kỷ.
Không để thiên hạ hoang mang lâu, cụ Tao đã vác ngay ChatGPT ra để "gank" xem thằng đệ AI này đang thực tài hay chỉ đang bốc phét lùa gà.
Mọi chuyện bắt đầu khi một mô hình AI có tên Claude Fable bất ngờ đưa ra một chứng minh khẳng định Giả thuyết Jacobian là sai bằng cách đưa ra một phản ví dụ cụ thể. Đối với giới toán học lẫn các dân chơi công nghệ, đây chẳng khác nào một quả bom nguyên tử. Nếu AI đúng, đây sẽ là cột mốc lịch sử vĩ đại.
Tuy nhiên, thay vì ngồi nháp tay cả tuần để kiểm chứng, giáo chủ Terence Tao đã có một nước đi cực kỳ thực dụng:
Khỏi phải nói, thớt Hacker News về vụ này lập tức nổ tung với hàng trăm bình luận hóng hớt cực căng:
Tóm cái váy lại, vụ drama toán học này mang lại một bài học cực kỳ thực tế cho anh em chúng ta. Rất nhiều người đang lo sợ các công cụ AI mới xuất hiện sẽ cướp đi chén cơm của dev. Nhưng nhìn cái cách Terence Tao bắt ChatGPT làm việc đi, anh em sẽ thấy tư duy hệ thống quan trọng thế nào.
AI suy cho cùng vẫn chỉ là một cái máy tạo sinh dựa trên xác suất. Nó có thể viết code rất nhanh, tạo ra những cấu trúc trông có vẻ nguy hiểm, nhưng nếu thiếu đi một bộ óc Senior biết "check var", biết đặt câu hỏi đúng và phân tích edge-case, thì sản phẩm tạo ra cuối cùng cũng chỉ là một đống rác công nghệ bóng bẩy.
Muốn không bị AI thay thế? Hãy học cách làm "sếp" của nó. Đừng chỉ copy-paste code của AI một cách vô tội vạ để rồi sập server lúc nào không hay. Hãy nâng cấp tư duy kiến trúc, học cách viết prompt sắc bén như cách cụ Tao bẻ gãy lập luận của Claude Fable!
Nguồn tham khảo:
Một con AI tên là Claude Fable vừa tạo ra phản ví dụ cho Giả thuyết Jacobian - bài toán hóc búa chưa có lời giải suốt gần 1 thế kỷ. Thực hư thế nào?
