Vitalik: Yangi yuqori darajadagi dasturlash tillari sinab ko‘rishga arziydi va ular odamlar uchun aniqlashlarni hamda teoremalarni o‘qishni osonlashtirishi kerak
Odaily xabariga ko‘ra, Vitalik X platformasida yangi turdagi “yuqori darajali dasturlash tili”ni sinab ko‘rishga arziydi, deb ta'kidladi. Bu til Lean (yoki HOL va boshqalar) ga kompilyatsiya qilinadi va asosan insonlar uchun ta'riflar va teoremalarni imkon qadar oson o‘qiladigan qilishga qaratilgan. Dastur isboti emas, chunki isbotning to‘g‘ri bo‘lishi yetarli; muhim jihat – ta'riflar va teoremalarni aniq ifodalash. Bu tilning taxmin qilingan qo‘llanilishi shundan iboratki, AI katta hajmli isbotlarni chiqarishi mumkin, o‘quvchi esa shu chiqishlardagi aniq tasdiqlangan da'volarni imkon qadar oson tushunishi kerak bo‘ladi.
Mas'uliyatni rad etish: Ushbu maqolaning mazmuni faqat muallifning fikrini aks ettiradi va platformani hech qanday sifatda ifodalamaydi. Ushbu maqola investitsiya qarorlarini qabul qilish uchun ma'lumotnoma sifatida xizmat qilish uchun mo'ljallanmagan.
Sizga ham yoqishi mumkin
AI kapital xarajatlari bo'yicha xavotirlar kamaydi, Micron, SanDisk kabi xotira aksiyalari qayta baholanmoqda va bu chip indeksining bull bozoriga qaytishini ta'minladi
Micron bes kun ichida 17.5% oshdi, Sandisk dushanba kuni deyarli 9% oshdi, Philadelphia Semiconductor Index’ning ayiq bozori faqat 21 kun davom etdi va bu 2020 yil martidan beri eng qisqa muddat. Tahlilchilar ta’kidlaydilar, Anthropic va OpenAI yaqinda e’lon qilgan ajoyib moliyaviy natijalar chip aksiyalari uchun eng muhim katalizator bo‘lib turibdi, AI chiplariga bo‘lgan talab yanada ko‘rinadi.
Kripto narxlari
Ko'proq
