Tin tức từ ME News, ngày 21 tháng 7 (UTC+8), Vitalik đăng bài trên nền tảng X cho biết, một loại “ngôn ngữ lập trình cấp cao” mới đáng để thử nghiệm là ngôn ngữ được biên dịch sang Lean (hoặc HOL, v.v.), với trọng tâm là làm cho các định nghĩa và định lý dễ đọc nhất có thể đối với con người. Thay vì tập trung vào chứng minh, vì chứng minh chỉ cần đúng là đủ; điều cốt yếu nằm ở chính các định nghĩa và định lý. Mục đích dự kiến là khi AI đầu ra một đoạn chứng minh dài, người đọc cần có thể hiểu một cách dễ dàng nhất những tuyên bố chính xác nào đã được chứng minh trong đầu ra đó. (Nguồn: ChainCatcher)
Vitalik đề xuất ngôn ngữ lập trình mới để dễ đọc hơn các định nghĩa và định lý
KuCoinFlashChia sẻ
Tóm tắt
Vitalik Buterin đã đề xuất một ngôn ngữ lập trình cấp cao mới vào ngày 21 tháng Bảy, được thiết kế để biên dịch thành Lean hoặc HOL và cải thiện tính dễ đọc của các định nghĩa và định lý. Ngôn ngữ này sẽ dựa vào AI để xử lý các chứng minh liên quan đến Proof of Work (PoW) và Proof of Stake (PoS), cho phép người dùng tập trung vào tính rõ ràng của các phát biểu. Mục tiêu là làm cho các tuyên bố phức tạp trở nên dễ tiếp cận hơn, đặc biệt khi AI tạo ra các chứng minh ngày càng dài.
Nguồn:Hiển thị bản gốc
Tuyên bố miễn trừ trách nhiệm: Thông tin trên trang này có thể được lấy từ bên thứ ba và không nhất thiết phản ánh quan điểm hoặc ý kiến của KuCoin. Nội dung này chỉ được cung cấp cho mục đích thông tin chung, không có bất kỳ đại diện hay bảo đảm nào dưới bất kỳ hình thức nào và cũng không được hiểu là lời khuyên tài chính hay đầu tư. KuCoin sẽ không chịu trách nhiệm về bất kỳ sai sót hoặc thiếu sót nào hoặc về bất kỳ kết quả nào phát sinh từ việc sử dụng thông tin này.
Việc đầu tư vào tài sản kỹ thuật số có thể tiềm ẩn nhiều rủi ro. Vui lòng đánh giá cẩn thận rủi ro của sản phẩm và khả năng chấp nhận rủi ro của bạn dựa trên hoàn cảnh tài chính của chính bạn. Để biết thêm thông tin, vui lòng tham khảo Điều khoản sử dụng và Tiết lộ rủi ro của chúng tôi.