Khi AI sửa lỗi Linux nói “bất khả thi”, Linus Torvalds nói “tiếp tục”
Câu chuyện AI sửa lỗi Linux trong vụ việc của Linus Torvalds là trường hợp một mô hình ngôn ngữ lớn hỗ trợ gỡ lỗi kernel Linux, liên tục kết luận rằng vấn đề không thể giải quyết, trong khi một lập trình viên cứng đầu tiếp tục ép hệ thống kiểm tra, bổ sung mã gỡ lỗi và thử nghiệm cho đến khi tìm được giải pháp, qua đó cho thấy vai trò quyết định của kinh nghiệm con người trong việc đánh giá và thách thức kết luận của AI.
Một lỗi trong trình điều khiển đồ họa Intel Xe trên một số GPU Intel Battlemage G21 khiến trình quản lý hiển thị GDM liên tục khởi động lại, buộc Linus Torvalds – vốn hiếm khi còn trực tiếp viết mã nhân Linux – phải tự mình ra tay. Lỗi này được sửa trong commit 818bebe cho kernel Linux và được chính Torvalds mô tả là một “phiên gỡ lỗi địa ngục, được AI giúp xử lý phần lớn công việc nặng”. Dù vậy, AI nhiều lần khẳng định vấn đề “không thể và không thể giải quyết được” và đề nghị dừng điều tra để viết báo cáo lỗi. Khoảnh khắc ông từ chối bỏ cuộc là điểm bắt đầu của cuộc tranh luận về giới hạn công nghệ, chứ không chỉ là một bug đơn lẻ.
Một dòng round_up thay vì round_down: chiến thắng của sự cứng đầu
Sau khi AI nhiều lần đề nghị dừng lại, Torvalds tiếp tục yêu cầu hệ thống bổ sung mã gỡ lỗi, phân tích kết quả và mở rộng kiểm tra. Kết quả là toàn bộ quá trình săn lùng nguyên nhân kéo dài qua 24 bản vá bổ sung thông tin gỡ lỗi và 18 lần khởi động nhân Linux – con số đủ để khiến hầu hết kỹ sư bỏ cuộc. “Sau 24 bản vá bổ sung thông tin gỡ lỗi và 18 lần khởi động nhân Linux, cuối cùng lỗi này đã được fix.”
Điều trớ trêu là nguyên nhân lại nhỏ đến khó tin: chỉ một đoạn mã dùng round_up() trong khi lẽ ra phải dùng round_down(). Cách làm tròn sai khiến hệ thống xử lý nhầm vùng bộ nhớ có thể sử dụng, từ đó làm GDM liên tục khởi động lại và người dùng phải sống với những phiên đăng nhập lặp vô tận. AI đã “giúp đỡ rất nhiều” bằng cách tự động thêm mã debug, phân tích kết quả mỗi lần thử nghiệm và tiếp tục xử lý dữ liệu khi được yêu cầu. Nhưng nó không tự mình tìm ra dòng mã sai – người quyết định không tin vào kết luận “bất khả thi” mới là người chiến thắng cuối cùng.
Kernel Linux và AI: khi năng suất va chạm với chất lượng code AI
Câu chuyện này không chỉ nói về một bản vá trong Linux 7.3, vốn đã được đánh dấu để chuyển ngược về các nhánh nhân ổn định. Nó là ví dụ sống động cho mối quan hệ mới giữa kernel Linux và AI: AI sửa lỗi Linux nhanh hơn, nhưng phán quyết cuối cùng vẫn thuộc về con người. Torvalds đã chấp nhận các đóng góp do AI viết cho kernel, với điều kiện người vận hành tác nhân phải chịu trách nhiệm hoàn toàn khi có vấn đề. Ông còn để AI viết thông điệp mô tả bản vá cuối cùng, như một lời công nhận rằng AI đúng là một “trợ lý gỡ lỗi” hữu ích.
Tuy nhiên, vụ việc cũng phơi bày giới hạn rõ ràng của AI phát triển phần mềm: “one should never assume it's always correct”. Công cụ có thể đảm nhiệm một lượng lớn công việc kỹ thuật lặp đi lặp lại, nhưng khi nào một kết luận đáng tin và khi nào cần tiếp tục nghi ngờ vẫn phụ thuộc vào con người. Nói cách khác, chất lượng code AI không chỉ nằm ở đoạn mã được sinh ra, mà nằm ở người đặt câu hỏi và dám không tin. Ở tầng sâu hơn, nó cho thấy các mô hình được huấn luyện trên những cách làm quen thuộc sẽ bối rối khi gặp yêu cầu gỡ lỗi “ngoài giáo trình”, nơi trực giác và kinh nghiệm hệ thống nặng cân hơn thống kê.
Giới hạn của mô hình và tương lai AI trong phát triển phần mềm nguồn mở
Nhận xét châm biếm của Torvalds – rằng những mô hình này có lẽ được huấn luyện bởi “những người không cứng đầu như tôi” – không chỉ là câu nói vui. Nó tóm gọn mâu thuẫn cốt lõi giữa AI phát triển phần mềm và con người: mô hình ưu tiên dừng lại khi xác suất tiếp tục thấp, còn kỹ sư giỏi sẵn sàng đi ngược thống kê nếu cảm thấy vẫn còn manh mối. Khi AI nhiều lần muốn bỏ cuộc, hệ thống lộ rõ thiên hướng: được tối ưu cho câu trả lời hợp lý, không cho sự bướng bỉnh cần thiết để phá vỡ giả định sai.
Câu chuyện này, vì thế, đang định hình lại cách cộng đồng nguồn mở nhìn vào code review tự động và AI sửa lỗi Linux: AI tăng năng suất, con người bảo vệ chất lượng. “Câu chuyện vì thế không cho thấy AI đã thay thế Linus Torvalds trong việc lập trình. Nó cho thấy một cách sử dụng thực tế hơn: AI có thể đảm nhiệm khối lượng lớn công việc kỹ thuật lặp đi lặp lại, trong khi con người vẫn phải đưa ra phán đoán cuối cùng và quyết định có nên tin vào kết luận của máy hay không.” Tương lai kernel Linux và AI sẽ không phải là cuộc đổi ngôi, mà là cuộc mặc cả liên tục: cho AI thêm việc, nhưng không cho nó quyền quyết định cuối cùng.
