Berita ME, pada 21 Julai (UTC+8), Vitalik menulis di platform X bahawa satu bahasa pengaturcaraan "lanjutan" baharu yang patut dicuba ialah bahasa yang dikompilasi ke dalam Lean (atau HOL dsb.), dengan fokus pada memudahkan manusia membaca definisi dan teorem sebanyak mungkin. Bukan bukti, kerana bukti hanya perlu betul; yang penting ialah definisi dan teorem itu sendiri. Tujuannya ialah AI akan menghasilkan satu siri bukti yang panjang, dan pembaca perlu memahami dengan seberapa mudah mungkin pernyataan tepat apa yang dibuktikan dalam output tersebut. (Sumber: ChainCatcher)
Vitalik mencadangkan bahasa pengaturcaraan baharu untuk memudahkan pembacaan definisi dan teorem
KuCoinFlashKongsi
Ringkasan
Vitalik Buterin mencadangkan bahasa pengaturcaraan aras tinggi yang baharu pada 21 Julai, direka untuk dikompilasi ke dalam Lean atau HOL dan meningkatkan keterbacaan definisi dan teorem. Bahasa ini akan bergantung kepada AI untuk menangani bukti yang berkaitan dengan Proof of Work (PoW) dan Proof of Stake (PoS), membolehkan pengguna fokus pada kejelasan pernyataan. Matlamatnya adalah untuk membuat klaim kompleks lebih boleh diakses, terutamanya apabila AI menghasilkan bukti yang semakin panjang.
Sumber:Tunjukkan artikel asal
Penafian: Maklumat yang terdapat pada halaman ini mungkin telah diperoleh daripada pihak ketiga dan tidak semestinya menggambarkan pandangan atau pendapat KuCoin. Kandungan ini adalah disediakan bagi tujuan maklumat umum sahaja, tanpa sebarang perwakilan atau waranti dalam apa jua bentuk, dan juga tidak boleh ditafsirkan sebagai nasihat kewangan atau pelaburan. KuCoin tidak akan bertanggungjawab untuk sebarang kesilapan atau pengabaian, atau untuk sebarang akibat yang terhasil daripada penggunaan maklumat ini.
Pelaburan dalam aset digital boleh membawa risiko. Sila menilai risiko produk dan toleransi risiko anda dengan teliti berdasarkan keadaan kewangan anda sendiri. Untuk maklumat lanjut, sila rujuk kepada Terma Penggunaan dan Pendedahan Risiko kami.