LLMs giúp việc xác minh phần mềm chính thức trở nên khả thi ở quy mô lớn hơn nhiều

Claude đã chứng minh một cách chính thức các thuộc tính bảo mật trong mã nguồn đã biên dịch của 123 thư viện mã nguồn mở. Trong quá trình đó, nó đã tìm thấy những lỗi vốn đã lẩn tránh được việc phát hiện trong nhiều năm.