ME Haberleri'ne göre, 21 Temmuz (UTC+8), Vitalik, X platformunda, insanların tanımları ve teoremleri okumayı mümkün olduğunca kolaylaştırmaya odaklanan, Lean (veya HOL vb.)'e derlenen yeni bir "ileri düzey programlama dili" denemeye değer olduğunu belirtti. Kanıtlar yalnızca doğruysa yeterli olsa da, anahtar nokta tanımlar ve teoremlerdir. Bu dili kullanma amacı, AI'nın büyük bir kanıt üretmesi ve okuyucunun bu çıktılar içinde hangi kesin iddiaların kanıtlandığını mümkün olduğunca kolayca anlamasıdır. (Kaynak: ChainCatcher)
Vitalik, Tanımlar ve Teoremlerin Daha Kolay Okunabilirliği İçin Yeni Bir Programlama Dili Öneriyor
KuCoinFlashPaylaş
Özet
Vitalik Buterin, 21 Temmuz'da, Lean veya HOL'e derlenecek ve tanımlar ile teoremlerin okunabilirliğini geliştirmek amacıyla yeni bir yüksek seviyeli programlama dili önerdi. Bu dil, Kanıt Çalışması (PoW) ve Kanıt Payı (PoS) ile ilgili kanıtları işlemek için yapay zekâya dayanacak ve kullanıcıların ifadelerin netliği üzerinde odaklanmasını sağlayacak. Amaç, özellikle yapay zekânın giderek daha uzun kanıtlar üretmesiyle birlikte karmaşık iddiaları daha erişilebilir hale getirmektir.
Kaynak:Orijinalini göster
Yasal Uyarı: Bu sayfadaki bilgiler üçüncü şahıslardan alınmış olabilir ve KuCoin'in görüşlerini veya fikirlerini yansıtmayabilir. Bu içerik, herhangi bir beyan veya garanti olmaksızın yalnızca genel bilgilendirme amacıyla sağlanmıştır ve finansal veya yatırım tavsiyesi olarak yorumlanamaz. KuCoin, herhangi bir hata veya eksiklikten veya bu bilgilerin kullanımından kaynaklanan sonuçtan sorumlu değildir.
Dijital varlıklara yapılan yatırımlar riskli olabilir. Lütfen bir ürünün risklerini ve risk toleransınızı kendi finansal koşullarınıza göre dikkatlice değerlendirin. Daha fazla bilgi için lütfen Kullanım Koşullarımıza ve Risk Açıklamamıza bakınız.