Paul Dix: AI có thể xây dựng phần mềm phức tạp nhờ hệ thống kiểm chứng
Nhà sáng lập InfluxDB, Paul Dix, đã nhấn mạnh một cột mốc khi AI viết và tinh chỉnh thành công một triệu dòng code thành một sản phẩm phần mềm đáng tin cậy đang chạy trên hàng triệu máy tính. Ông lập luận rằng khi được kết hợp với một hệ thống kiểm chứng (hay "oracle"), AI có thể tự chủ xây dựng và cải tiến các hệ thống cực kỳ phức tạp. Điều này chuyển dịch trọng tâm của kỹ nghệ phần mềm từ viết code thủ công sang thiết kế các hệ thống kiểm chứng và bộ kiểm thử (test oracle) để dẫn dắt các tác nhân AI. Nó gợi mở một tương lai nơi các lập trình viên đóng vai trò là kiến trúc sư hệ thống và người xác thực hơn là người viết mã nguồn. Mặc dù những người chỉ trích cho rằng thành tựu này được đơn giản hóa nhờ có một "oracle" sẵn có để đối chiếu, Dix nhấn mạnh rằng việc xây dựng chính quy trình kiểm chứng mới là chìa khóa để khai phóng khả năng phát triển phần mềm của AI. Mã nguồn do AI tạo ra đã được tinh chỉnh trong vài tháng để đạt được độ tin cậy cấp độ thương mại.
## KIẾN THỨC NỀN
Trong kiểm thử phần mềm, "test oracle" (bộ kiểm chứng) là một cơ chế hoặc điểm tham chiếu được sử dụng để xác định xem một chương trình có hoạt động chính xác hay không bằng cách so sánh kết quả đầu ra của nó với kết quả mong đợi. Các tác nhân lập trình AI (AI coding agents) là các công cụ tự chủ được thiết kế để viết, sửa lỗi và sửa đổi mã nguồn dựa trên yêu cầu của người dùng. Bằng cách kết hợp các tác nhân này với các bộ kiểm chứng tự động, các nhà phát triển có thể tạo ra các vòng lặp phản hồi cho phép AI liên tục tự sửa lỗi cho đến khi vượt qua mọi bài kiểm tra.