Berita ME, 21 Juli (UTC+8), Vitalik menulis di platform X bahwa sebuah "bahasa pemrograman tingkat tinggi" baru yang layak dicoba adalah bahasa yang dikompilasi ke Lean (atau HOL, dll.), dengan fokus pada kemudahan pembacaan definisi dan teorema oleh manusia. Bukan pada bukti, karena bukti hanya perlu benar; yang penting adalah definisi dan teorema itu sendiri. Tujuan yang diinginkan adalah agar AI menghasilkan sejumlah besar bukti, sementara pembaca perlu memahami dengan secepat mungkin klaim-klaim spesifik apa yang benar-benar dibuktikan dalam output tersebut. (Sumber: ChainCatcher)
Vitalik Mengusulkan Bahasa Pemrograman Baru untuk Mempermudah Membaca Definisi dan Teorema
KuCoinFlashBagikan
Ringkasan
Vitalik Buterin mengusulkan bahasa pemrograman tingkat tinggi baru pada 21 Juli, yang dirancang untuk dikompilasi ke dalam Lean atau HOL dan meningkatkan keterbacaan definisi dan teorema. Bahasa ini akan mengandalkan AI untuk menangani bukti terkait Proof of Work (PoW) dan Proof of Stake (PoS), memungkinkan pengguna fokus pada kejelasan pernyataan. Tujuannya adalah membuat klaim kompleks lebih mudah diakses, terutama karena AI menghasilkan bukti yang semakin panjang.
Sumber:Tampilkan versi asli
Penafian: Informasi pada halaman ini mungkin telah diperoleh dari pihak ketiga dan tidak mencerminkan pandangan atau opini KuCoin. Konten ini disediakan hanya untuk tujuan informasi umum, tanpa representasi atau jaminan apa pun, dan tidak dapat ditafsirkan sebagai saran keuangan atau investasi. KuCoin tidak bertanggung jawab terhadap segala kesalahan atau kelalaian, atau hasil apa pun yang keluar dari penggunaan informasi ini.
Berinvestasi di aset digital dapat berisiko. Harap mengevaluasi risiko produk dan toleransi risiko Anda secara cermat berdasarkan situasi keuangan Anda sendiri. Untuk informasi lebih lanjut, silakan lihat Ketentuan Penggunaan dan Pengungkapan Risiko.