Tranh cãi lớn về phòng tuyến kỹ sư AI

Tuần qua, tại Hội chợ Kỹ sư AI Thế giới, một cuộc tranh luận nảy lửa về “loops” – hay nói cách khác là các nhà máy phần mềm tự động – đã thu hút sự chú ý của tôi. Đây là một điểm nhấn của ngày cuối cùng hội nghị, xoay quanh câu hỏi lớn: liệu các nhà máy phần mềm tự động hoàn toàn đã khả thi hay chưa, hay thực tế kỹ thuật còn đang tụt hậu so với kỳ vọng thổi phồng? Allie Howe từ Keycard, người điều phối phiên thảo luận, đã mở màn bằng cách hỏi thẳng: "Có hay không một khoảng cách giữa sự cường điệu đằng sau các vòng lặp và những gì thực sự hoạt động trong thực tế?". Phía ủng hộ "loops" có Geoffrey Huntley, cha đẻ của Ralph Loop, và Ian Livingstone, CEO của Keycard. Huntley mở lời khẳng định rằng "loops đã ở đây rồi," cho rằng đây là "điều không thể tránh khỏi và sẽ tồn tại," đồng thời nhấn mạnh rằng anh "không nghĩ mình sẽ quay lại viết code bằng tay nữa." Livingstone thì cho rằng mấu chốt nằm ở khả năng kiểm chứng (verifiability), điều mà theo anh, có thể đạt được với bất kỳ loại code nào, bất kể nó được tạo ra như thế nào. Anh còn chỉ ra rằng "loops" vốn dĩ luôn là một phần cốt lõi của quá trình phát triển phần mềm: "Một vòng lặp nằm ở cốt lõi của 'tôi thử một cái gì đó, tôi học được một điều gì đó, tôi áp dụng một điều gì đó.' Và tất cả những gì chúng ta đang nói đến chỉ là làm thế nào để đẩy nhanh quá trình đó." Để ví von thêm về mức độ tự động hóa tối đa, Huntley còn ví von rằng "chúng ta bây giờ giống như kỹ sư lái đầu máy xe lửa. Công việc của chúng ta là giữ cho đầu máy nằm trên đường ray." Ở phía hoài nghi, tôi thấy có Dex Horthy từ HumanLayer và Greg Pstrucha từ Subroutine. Horthy khẳng định anh không chống lại "loops" – thậm chí Kubernetes còn được xây dựng trên các "control loops" mang tính xác định. Tuy nhiên, vấn đề của anh là "sự cường điệu đang vượt xa kỷ luật." Anh chưa thấy bằng chứng cho thấy chúng ta đã đến lúc có thể nâng cao mức độ trừu tượng, tức là để các agent kiểm soát việc lập trình. Ngược lại, anh cho rằng "chúng ta cần phải hạ thấp mức độ