Một cái nhìn sâu sắc tuyệt vời khác từ @karpathy, chỉ ra tầm quan trọng của khả năng xác minh AI "Tôi nghĩ phép ẩn dụ mạnh mẽ nhất là AI như một mô hình tính toán mới (Phần mềm 2.0) ... Phần mềm 1.0 dễ dàng tự động hóa những gì bạn có thể chỉ định. Phần mềm 2.0 dễ dàng tự động hóa những gì bạn có thể xác minh. ... Trong mô hình lập trình mới này, đặc điểm dự đoán mạnh nhất mà bạn nên xem xét là khả năng xác minh. Nếu một nhiệm vụ/công việc có thể xác minh, thì nó có thể được tối ưu hóa trực tiếp hoặc thông qua học tăng cường, và một mạng nơ-ron có thể được đào tạo để hoạt động cực kỳ tốt." Khả năng xác minh trong khung này xoay quanh bối cảnh đào tạo/tối ưu hóa - việc đánh giá xem đầu ra của AI có chính xác hay không + cho phép tự động hóa tốt hơn nhờ vào điều đó. Khả năng xác minh trong AI + crypto tập trung nhiều hơn vào bối cảnh thực thi. - Chúng ta có thể xác minh rằng đầu vào, mô hình và đầu ra là chính xác và không bị can thiệp (suy diễn có thể xác minh) - Có ai trên thế giới có thể thực hiện lại suy diễn này và nhận được cùng một kết quả hôm nay, ngày mai và 1 năm nữa không (suy diễn xác định) - Chúng ta có thể xác minh mã chính xác đang chạy tác nhân này (thời gian chạy có thể xác minh) - Chúng ta có thể xác minh rằng chỉ có tác nhân này có quyền truy cập và khả năng giao dịch từ ví của nó (thời gian chạy có thể xác minh) - Chúng ta có thể xác minh danh tiếng của tác nhân này (ERC-8004)