Chứng minh toán học của NIST ủng hộ việc chuyển sang mô hình bảo mật giám sát và cập nhật liên tục cho các hệ thống AI

Một chứng minh toán học của NIST được cho là ủng hộ việc chuyển sang mô hình bảo mật giám sát và cập nhật liên tục cho các hệ thống AI. Theo phần trích dẫn, chứng minh này mở rộng sang AI logic của Kurt Gödel, người có các định lý bất toàn đã ảnh hưởng sâu sắc đến toán học trong gần một thế kỷ.