UC Berkeley ra mắt Vero: Thử thách AI tự lập trình và kiểm chứng phần mềm ở cấp độ kho lưu trữ
Vero là bộ tiêu chuẩn đầu tiên yêu cầu AI thực hiện đồng thời việc viết mã và chứng minh tính đúng đắn của phần mềm thông qua 43 dự án Lean 4, giúp đánh giá khả năng lập trình an toàn của các tác nhân AI.

























