Tin tức

Theo tin tức từ Foresight News, nhóm phát triển Monad thuộc Category Labs đã đăng bài chia sẻ kinh nghiệm sử dụng phương pháp xác minh hình thức (Formal Verification) để phát hiện lỗ hổng trong các mô-đun quan trọng của chuỗi khối Monad, công bố nhiều lỗ hổng mà các mô hình lớn tiên tiến như Claude Opus 4.8, Codex... không phát hiện ra trong quá trình kiểm tra mã, nhưng đã bị phát hiện thành công bằng phương pháp chứng minh hình thức. Các vấn đề này liên quan đến thiết kế “Reserve Balance (Số dư dự trữ)” trong cơ chế thực thi bất đồng bộ của Monad và hành vi không xác định của C++ trong tối ưu hóa lưu trữ MIP-8. Nhóm nghiên cứu cho rằng so với việc yêu cầu mô hình “kiểm tra mã” trực tiếp, việc viết ra các định đề về tính chính xác một cách chính xác rồi yêu cầu mô hình tìm phản ví dụ sẽ dễ dàng phát hiện các lỗ hổng tiềm ẩn hơn. Xác minh hình thức hiện đã có thể được hỗ trợ đáng kể bởi AI.

Theo nguồn tin thân cận, trong các giao dịch kín tại thị trường phi tập trung, một nhà giao dịch lớn đã báo giá trái phiếu SpaceX đáo hạn vào năm 2056 với mức chênh lệch so với trái phiếu chính phủ Mỹ cao hơn 1,75 điểm phần trăm khi phát hành, hiện đã tăng lên đến 0,28 điểm phần trăm. Kể từ khi bắt đầu giao dịch, khoản lỗ trên sổ sách của trái phiếu SpaceX trị giá 25 tỷ USD này liên tục gia tăng. Tính theo mức chênh lệch với trái phiếu chính phủ Mỹ, đến tối thứ Năm, tổng khoản lỗ này vào khoảng 305 triệu USD.

BlockBeats News, ngày 26 tháng 6 - Goldman Sachs cho biết thị trường IPO cổ phiếu Hoa Kỳ năm 2026 đang trải qua đợt phục hồi mạnh mẽ nhất trong những năm gần đây, nhưng vẫn chưa lặp lại sự cuồng nhiệt đầu cơ của thời kỳ bong bóng Internet. Tính từ đầu năm đến nay, khoảng 50 công ty đã niêm yết tại Hoa Kỳ, gấp đôi so với cùng kỳ năm ngoái; xét về giá trị giao dịch, quy mô phát hành giữa năm đã đạt khoảng 120 tỷ USD, ngang bằng kỷ lục thiết lập cho cả năm 2021. Ben Snider, Giám đốc chiến lược cổ phiếu Hoa Kỳ tại Goldman Sachs, cho biết trong podcast của ngân hàng rằng đây ở một mức độ nào đó chỉ là sự phục hồi bình thường, được thúc đẩy bởi một loạt các công ty lớn lên sàn và nhu cầu huy động vốn mạnh mẽ trong lĩnh vực AI. Bất chấp định giá cao, niềm tin của nhà đầu tư mạnh mẽ, AI nổi lên như chủ đề đầu tư chủ đạo và các dấu hiệu cảnh báo bong bóng khác, Snider nhấn mạnh một chỉ số quan trọng vẫn còn cách xa các mức đỉnh trong lịch sử—đó là số lượng IPO. Hoa Kỳ ghi nhận trung bình khoảng 100 IPO mỗi năm trong 25 năm qua, và tốc độ hiện tại đang tiệm cận mức này, so với hơn 250 IPO vào năm 2021 và gần 400 vào năm 1999 - đỉnh cao của bong bóng Internet. "Mặc dù giá trị giao dịch khá cao và hoạt động đang tăng tốc, theo quan điểm của tôi, đây vẫn còn cách xa sự bùng nổ của những giai đoạn đó."