@Cointelegraph @VitalikButerin Tôi hoàn toàn đồng ý với hướng đi này. Đây chính là hình mẫu của việc chuẩn bị sẵn sàng cho tương lai. Khi AI trở nên có khả năng tạo ra mã và các chứng minh toán học ngày càng phức tạp, điểm nghẽn tiếp theo sẽ không còn là tốc độ sản xuất. Mà là liệu con người đủ chuyên môn có thể hiểu, xem xét và xác minh những gì AI tạo ra trước khi nó được triển khai vào cơ sở hạ tầng then chốt. Một ngôn ngữ chứng minh hình thức dễ đọc đối với con người có thể giúp thu hẹp khoảng cách này bằng cách làm cho các định nghĩa, giả định và định lý trở nên dễ kiểm toán hơn mà không làm suy yếu khả năng xác minh của máy móc. Điều này rất quan trọng đối với @ethereum và hệ sinh thái blockchain rộng lớn hơn, vì các hợp đồng thông minh, cầu nối, ví, giao thức và ứng dụng tài chính có thể nắm giữ hàng tỷ đô la trong khi vận hành thông qua mã mà hầu hết người dùng không thể tự đánh giá độc lập. Mục tiêu không phải là giả định AI sẽ thất bại. Mục tiêu là thiết kế hệ thống xác minh NGAY TRƯỚC khi một lỗi do AI tạo ra trở thành sự kiện hệ thống. AI có thể tăng tốc phát triển. Chứng minh hình thức có thể xác thực logic. Các thông số dễ đọc đối với con người có thể duy trì trách nhiệm giải trình. Việc xem xét chuyên gia phải vẫn là lớp kiểm soát cuối cùng. Đây không phải là quy định do nỗi sợ hãi thúc đẩy. Mà là kiến trúc bảo mật chủ động được thiết kế cho rủi ro có thể dự đoán được trong tương lai. #Ethereum #AI #BlockchainSecurity #TheFinancialLedger #WealthCoachLathan