Yangiliklar

ChainCatcher xabariga ko‘ra, Strategy bosh direktori Phong Le aytishicha, global bozorlar va har xil sohalar noaniqliklarni boshdan kechirmoqda, aynan shu davrda Strategy butun dunyo bo‘ylab Bitcoin’ning 4% qismini to‘plagan.

Foresight News xabariga ko‘ra, Monad ishlab chiquvchilar jamoasi Category Labs Monad blokcheynining asosiy modullaridagi xatoliklarni aniqlashda formal verifikatsiya (Formal Verification) usulini qo‘llash tajribasi bilan o‘rtoqlashdi. Ular bir nechta ilg‘or yirik modellar, jumladan Claude Opus 4.8, Codex va boshqalar kodni tekshiruvdan o‘tkazishda aniqlay olmagan, biroq formal isbotlash jarayonida muvaffaqiyatli tarzda aniqlangan xatoliklar haqida ma’lumot berdi. Xatoliklar Monadning asinxron bajarilish mexanizmidagi “Reserve Balance (zaxira balans)” dizayni hamda MIP-8 saqlashni optimallashtirishda C++ da aniqlanmagan xatti-harakatlarga oid muammo bilan bog‘liq. Jamoaning fikricha, modeldan to‘g‘ridan-to‘g‘ri “kodni tekshirishni” so‘rashdan ko‘ra, avval aniq to‘g‘rilik mulohazasini yozib, keyin modeldan unga qarshi misol topishni so‘rash orqali yashirin xatoliklarni aniqlash osonroq bo‘ladi; formal verifikatsiyani hozirda AI asosida ancha samarali amalga oshirish mumkin.

Ma'lumotli manbaga ko‘ra, OTC bozorida xususiy savdolarda yirik bir savdogar SpaceXning 2056-yilda muddati tugaydigan obligatsiyalari uchun, chiqarilish vaqtida AQSh davlat obligatsiyalaridan 1,75 foiz punktiga yuqori bo‘lgan darajada, farqni yana 0,28 foiz punktiga kengaytirgan narx taklif qilgan. Savdo boshlanganidan beri SpaceXning bu 25 milliard dollarlik obligatsiyalari bo‘yicha hisobda zarar doimiy ravishda oshib bormoqda. AQSh davlat obligatsiyalari bilan solishtirganda, payshanba kech qismigacha umumiy zarar taxminan 305 million dollarni tashkil etdi.