News

أفادت ChainCatcher أن المدير التنفيذي لشركة Strategy، Phong Le، صرّح بأن الأسواق العالمية ومختلف القطاعات تمر بحالة من عدم اليقين، وخلال هذه الفترة، أصبحت Strategy تمتلك ما مجموعه 4% من إجمالي Bitcoin في العالم.

أفاد Foresight News أن فريق التطوير Monad، Category Labs، نشر مقالة يشارك فيها خبراته باستخدام طريقة التحقق الشكلي (Formal Verification) للكشف عن ثغرات في الوحدات الأساسية لسلسلة Monad. وكشف الفريق عن عدة ثغرات لم تتمكن النماذج الكبيرة المتقدمة مثل Claude Opus 4.8 وCodex من اكتشافها أثناء مراجعة الشيفرات، بينما نجحت عملية الإثبات الشكلي في رصدها. تتعلق الثغرات بتصميم «الاحتياطي المالي» (Reserve Balance) في آلية تنفيذ Monad غير المتزامنة، ومشكلة السلوك غير المعرف بلغة C++ في تحسينات التخزين MIP-8. ويعتقد الفريق أنه بالمقارنة مع مطالبة النماذج بمراجعة الشيفرات مباشرة، فإن كتابة القضايا بدقة حول الصحة أولا ثم مطالبة النموذج بالعثور على أمثلة معاكسة هو أسلوب عمل يكشف الثغرات الخفية بشكل أفضل، وأن التحقق الشكلي يمكن الآن إنجازه بشكل كبير بمساعدة الذكاء الاصطناعي.

قال أشخاص مطلعون إنه في معاملات السوق خارج البورصة، قامت إحدى الشركات التجارية الكبرى بتسعير سندات SpaceX المستحقة في عام 2056، حيث اتسع فارق العائد مقارنة بسندات الخزانة الأمريكية بمقدار يصل إلى 0.28 نقطة مئوية فوق مستوى الاصدار الذي كان أعلى من سندات الخزانة الأمريكية بمقدار 1.75 نقطة مئوية. منذ بدء التداول، ازداد الخسارة الدفترية لسندات SpaceX البالغة 25 مليار دولار باستمرار. وبحسب الحساب النسبي بالنسبة لسندات الخزانة الأمريكية، حتى مساء الخميس، بلغ إجمالي الخسائر ذات الصلة حوالي 305 مليون دولار.