Yangiliklar

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.

BlockBeats News, 26-iyun – Goldman Sachs AQSh fond bozorida 2026-yilda IPO bozori so‘nggi yillardagi eng kuchli tiklanishni boshdan kechirayotganini, biroq hanuzgacha internet pufagi davridagi spekulyativ hayajonni takrorlamaganini qayd etdi. Joriy yilning hoziriga qadar AQShda taxminan 50 ta kompaniya birja orqali ommaga chiqarildi, bu o‘tgan yilning shu davriga nisbatan ikki barobar ko‘p; bitim hajmi bo‘yicha esa, yilning o‘rtasi uchun chiqish miqdori taxminan 120 milliard dollarga yetdi, bu esa 2021 yildagi butun yil bo‘yicha qayd etilgan rekord natijani takrorlamoqda. Goldman Sachsda AQSh aksiyalari bo‘yicha bosh strateg Ben Snider bank podcastida bu ma’lum ma’noda oddiy tiklanish bo‘lib, yirik kompaniyalarning ommaga chiqishi va AI sohasidagi kuchli moliyalashtirish talabi tomonidan rag‘batlantirilayotganini ta’kidladi. Yuqori baholanish, sarmoyachilarning mustahkam ishonchi, AI asosiy investitsion mavzuga aylanishi va boshqa pufak ogohlantiruvchi alomatlariga qaramay, Snider tarixiiy cho‘qqilardan hali ancha uzoqlikda bo‘lgan muhim indikator – IPOlar sonini ajratib ko‘rsatdi. So‘nggi 25 yil davomida AQShda o‘rtacha 100 ta IPO o‘tkazilgan, hozirgi sur’at ham shu darajaga yaqin, 2021-yilda esa 250 dan ortiq, internet pufagi cho‘qqisi bo‘lgan 1999-yilda esa deyarli 400 ta IPO bo‘lib o‘tgan. “Bitim hajmi ancha yuqori va faollik oshib borayotgan bo‘lsa ham, mening fikrimcha, bu hali o‘sha davrlar hayajonidan juda uzoqda.”