Chủ đề · 85 bài viết

AI agent

Agent, gọi công cụ, trợ lý lập trình và tự động hóa làm được việc thật.

AI agent

PDD Kit sử dụng chứng minh hình thức để xác minh mã do AI tạo ra

Microsoft Research giới thiệu PDD Kit, một bộ công cụ áp dụng phương pháp xác minh hình thức cho phần mềm được viết bởi các tác nhân AI, đảm bảo mã khớp với ý định của người dùng thông qua các chứng minh toán học và kiểm thử có mục tiêu.