Linus Torvalds khiến AI phải “bó tay” rồi tự sửa Linux

AI nhiều lần khẳng định lỗi Linux không thể khắc phục, nhưng Linus Torvalds vẫn kiên trì điều tra và cuối cùng tìm ra thủ phạm chỉ là một dòng mã.

Linus Torvalds, người sáng tạo nhân Linux, vừa có một màn gỡ lỗi đặc biệt khi phải trực tiếp xử lý sự cố liên quan đến driver đồ họa Intel Xe. Lỗi khiến trình quản lý hiển thị GDM liên tục khởi động lại trên một số GPU Intel Battlemage, trong đó có Arc B580. Điều đáng chú ý là AI được sử dụng xuyên suốt quá trình nhưng nhiều lần đi đến kết luận rằng vấn đề gần như không thể giải quyết.

Linus Torvalds trực tiếp tham gia gỡ lỗi Linux sau khi sự cố trên driver Intel Xe khiến GDM liên tục khởi động lại.

Trong quá trình điều tra, Torvalds không để AI tự quyết định kết quả cuối cùng mà sử dụng nó như một trợ lý kỹ thuật. Công cụ AI được giao thực hiện những phần việc tốn thời gian như bổ sung mã phục vụ gỡ lỗi, phân tích dữ liệu sau mỗi lần thử nghiệm và đề xuất các bước kiểm tra tiếp theo. Cách làm này giúp giảm đáng kể khối lượng thao tác thủ công, đặc biệt trong một sự cố đòi hỏi phải liên tục sửa mã, biên dịch và khởi động lại nhân Linux. Tuy nhiên, AI nhiều lần cho rằng quá trình điều tra đã đi vào ngõ cụt, thậm chí đề xuất dừng lại để viết báo cáo về một lỗi được xem là “không thể sửa”. Torvalds không chấp nhận kết luận này và tiếp tục yêu cầu hệ thống đào sâu hơn.

Cuộc truy tìm nguyên nhân cuối cùng 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. Sau hàng loạt thử nghiệm, nguyên nhân lại đơn giản đến mức bất ngờ: một đoạn mã sử dụng round_up() thay vì round_down(). Sự khác biệt chỉ nằm ở cách làm tròn giá trị, nhưng nó đủ để tạo ra vấn đề trong việc xác định vùng bộ nhớ khả dụng. Hệ quả là hệ thống rơi vào trạng thái bất ổn và GDM liên tục khởi động lại. Đây cũng là minh chứng cho việc những lỗi phần mềm nghiêm trọng đôi khi không bắt nguồn từ một hệ thống phức tạp mà chỉ từ một chi tiết rất nhỏ trong mã nguồn.

Một sai sót trong cách làm tròn giá trị của driver Intel Xe đã trở thành nguyên nhân khiến hệ thống gặp sự cố.

Điều đáng nói là Torvalds không phủ nhận vai trò của AI trong quá trình sửa lỗi Linux. Ngược lại, ông thừa nhận công cụ này đã hỗ trợ rất nhiều và thậm chí còn để AI viết phần mô tả cho bản vá cuối cùng. Thế nhưng, AI không phải bên trực tiếp xác định dòng mã sai. Nó đóng vai trò như một “người trợ giúp không biết mệt”, liên tục thực hiện các tác vụ mà con người có thể mất rất nhiều thời gian để hoàn thành. Khi AI cho rằng vấn đề không thể giải quyết, Torvalds vẫn quyết định tiếp tục thử nghiệm thay vì chấp nhận kết luận đó.

Chính tại đây, câu chuyện trở nên thú vị. Torvalds châm biếm rằng những hệ thống AI có thể đã được huấn luyện bởi những người “không cứng đầu” như ông. Câu nói phản ánh một hạn chế quan trọng của AI trong lập trình: mô hình có thể phân tích lượng lớn mã nguồn và dữ liệu, nhưng không phải lúc nào cũng biết khi nào kết luận của mình là sai. Một lập trình viên giàu kinh nghiệm có thể nhận ra rằng một giả thuyết tưởng như hợp lý vẫn cần được kiểm chứng thêm, trong khi AI có xu hướng kết thúc quá trình khi cho rằng đã không còn hướng đi khả thi.

Bản sửa lỗi cuối cùng đã được đưa vào Linux 7.3 và được đánh dấu để chuyển ngược về các nhánh Linux ổn định. Sự việc vì thế không phải câu chuyện AI đánh bại hay thay thế Linus Torvalds, mà cho thấy một mô hình hợp tác thực tế hơn giữa con người và AI trong phát triển phần mềm. AI có thể đảm nhận phần lớn công việc lặp lại, xử lý dữ liệu và hỗ trợ thử nghiệm ở quy mô lớn, nhưng việc nghi ngờ kết quả, lựa chọn hướng điều tra và quyết định khi nào không được phép bỏ cuộc vẫn là vai trò khó thay thế của con người.

[GALLERY] Hyundai Palisade 2027 bản hybrid 9 chỗ cao nhất hơn 1,4 tỷ đồng

Hyundai Palisade 2027 mới vừa ra mắt tại Hàn Quốc với danh mục phiên bản mở rộng, đáng chú ý nhất là biến thể High-Roof có phần nóc được nâng thêm 240 mm. 

2-6241.jpg
Ngày 25/8, Hyundai Motor đã chính thức giới thiệu mẫu xe SUV Palisade 2027 tại thị trường quê nhà Hàn Quốc. Điểm mới đáng chú ý của lần nâng cấp này nằm ở việc mở rộng lựa chọn phiên bản, thay vì tập trung vào những thay đổi lớn về thiết kế tổng thể.
7-173.jpg
Nổi bật trong số đó là Hyundai Palisade High-Roof 2027 mới. Xe sở hữu phần nóc trên phiên bản này được nâng thêm 240 mm, giúp gia tăng không gian phía trên và tạo cảm giác rộng rãi hơn cho khoang hành khách.

Claude có thể tự gửi mail trong Gmail mà không cần xác nhận

Claude AI của Anthropic hiện đã có thể thực hiện một bước tiến lớn trong hộp thư điện tử của người dùng, với khả năng không chỉ dừng lại ở mức tương tác.

Claude có thể tự gửi mail trong Gmail mà không cần xác nhận

Kết nối Claude đã có mặt trên Google Workspace từ khá lâu, hỗ trợ người dùng quản lý hộp thư Gmail, các sự kiện trên Google Calendar cũng như quản lý Google Drive. Tuy nhiên, một thiếu sót đáng chú ý trên Gmail là khả năng gửi email thực sự.

l144-14341787090347.jpg
Claude trên Google Workspace giờ đã có thể tự soạn và gửi email theo quy tắc trước đó mà không cần người dùng phải xác nhận lại.

Xiaomi lao đao: Lợi nhuận giảm mạnh, smartphone lao dốc

Xiaomi ghi nhận lợi nhuận và lượng smartphone xuất xưởng giảm mạnh trong nửa đầu năm 2026, khi chi phí linh kiện tăng và cạnh tranh ngày càng khốc liệt.

Xiaomi lao đao: Lợi nhuận giảm mạnh, smartphone lao dốc

Xiaomi đang đối mặt với một trong những giai đoạn khó khăn đáng chú ý khi hoạt động kinh doanh smartphone chịu sức ép đồng thời từ chi phí linh kiện leo thang, nhu cầu tiêu dùng suy yếu và cuộc cạnh tranh ngày càng gay gắt. Trong nửa đầu năm 2026, lợi nhuận ròng của hãng giảm 37,6% so với cùng kỳ năm trước, còn 14,2 tỷ nhân dân tệ. Riêng quý II, lợi nhuận ròng điều chỉnh giảm tới 42,6%, xuống 6,22 tỷ nhân dân tệ, thấp hơn mức 6,6 tỷ nhân dân tệ mà thị trường kỳ vọng. Doanh thu quý này cũng giảm 6,1%, còn 108,9 tỷ nhân dân tệ. Những con số trên cho thấy Xiaomi đang phải trả giá cho môi trường kinh doanh ngày càng khắc nghiệt, đặc biệt ở mảng từng là trụ cột của tập đoàn.

Đáng chú ý nhất là sự sụt giảm của smartphone Xiaomi. Doanh thu mảng Điện thoại thông minh và AIoT trong quý II giảm 11,3%, xuống 84 tỷ nhân dân tệ, trong đó riêng điện thoại thông minh giảm 7,5%, còn 42,1 tỷ nhân dân tệ. Lượng smartphone Xiaomi xuất xưởng giảm tới 26,5%, chỉ còn 31,2 triệu máy. Đây là mức giảm đáng kể trong bối cảnh nhu cầu mua sắm điện thoại trên toàn cầu đang chịu ảnh hưởng bởi giá linh kiện tăng và sức mua thận trọng hơn. Xiaomi đã cố gắng bù đắp sản lượng sụt giảm bằng chiến lược nâng cấp phân khúc, đẩy giá bán trung bình lên mức kỷ lục 1.351 nhân dân tệ, tăng 25,9%. Tuy nhiên, việc bán ít máy hơn nhưng giá cao hơn vẫn chưa đủ để ngăn lợi nhuận lao dốc.

Đọc nhiều nhất

Tin mới