Vitalik Buterin đề xuất ngôn ngữ lập trình mới cho trí tuệ nhân tạo

Vitalik Buterin, đồng sáng lập Ethereum, đã công bố ý tưởng phát triển một ngôn ngữ lập trình mới nhằm đơn giản hóa việc kiểm tra đầu ra của trí tuệ nhân tạo. Ngôn ngữ này có thể được biên dịch thành các công cụ chứng minh chính thức như Lean hoặc HOL. Buterin tin rằng với sự gia tăng sử dụng các mô hình trí tuệ nhân tạo trong phát triển phần mềm, những công cụ này có khả năng tạo ra các chứng minh toán học và kỹ thuật phức tạp, nhưng việc hiểu và xác minh những đầu ra này đối với con người là khó khăn. Ông đã đề xuất rằng các phần có thể đọc được cho con người nên được tách biệt khỏi các chi tiết kỹ thuật của các chứng minh. Mục tiêu của ngôn ngữ này là làm cho đầu ra của trí tuệ nhân tạo dễ đọc hơn. Buterin giải thích rằng các bước nội bộ của một chứng minh phải đúng về mặt toán học và không cần thiết phải đọc tất cả chúng. Định nghĩa các khái niệm và thông số kỹ thuật nên được viết bằng ngôn ngữ đơn giản. Ông cũng đã chỉ ra rằng các mô hình ngôn ngữ lớn có thể tạo ra các chứng minh có thể sử dụng cho Lean. Đề xuất này được đưa ra cùng lúc với nỗ lực của các nhà nghiên cứu Ethereum trong việc phát triển một phiên bản của máy ảo Ethereum (EVM) với khả năng chứng minh chính thức và dựa trên kiến thức bằng không. Buterin tin rằng việc sử dụng mã có chứng minh chính thức có thể giúp tăng cường an ninh cho các phần mềm blockchain. Tuy nhiên, ông đã nhấn mạnh rằng ý tưởng này vẫn đang ở giai đoạn khái niệm và chưa có nguyên mẫu nào được công bố.

Tuyên bố miễn trừ trách nhiệm: Nội dung này chỉ được cung cấp nhằm mục đích xây dựng thương hiệu và cung cấp thông tin chung, không phải là lời khuyên về tài chính, đầu tư, pháp lý hoặc thuế. Mọi sự kiện, phần thưởng, sự kiện trực tuyến hoặc thông tin liên quan được đề cập trong nội dung này không được xem là khuyến nghị, chào mời hoặc lời mời mua, bán, giao dịch hoặc thực hiện bất kỳ hoạt động nào khác liên quan đến tài sản crypto hay sử dụng bất kỳ dịch vụ nào. Tài sản crypto có mức biến động cao và có thể dẫn đến thua lỗ. Dịch vụ và các sự kiện trực tuyến của WEEX có thể không khả dụng tại tất cả khu vực và phải tuân theo các luật, quy định và điều kiện đủ điều kiện hiện hành. Bạn có trách nhiệm bảo đảm việc sử dụng các dịch vụ của WEEX tuân thủ luật pháp địa phương và tự đánh giá cẩn thận các rủi ro trước khi tham gia bất kỳ hoạt động nào liên quan đến crypto.