Nhóm Monad chia sẻ thực tiễn xác minh hình thức, phát hiện nhiều lỗ hổng an toàn trên chuỗi bị bỏ sót trong quá trình kiểm tra của các mô hình AI
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.
Tuyên bố miễn trừ trách nhiệm: Mọi thông tin trong bài viết đều thể hiện quan điểm của tác giả và không liên quan đến nền tảng. Bài viết này không nhằm mục đích tham khảo để đưa ra quyết định đầu tư.
Bạn cũng có thể thích
"Sau động đất cấp độ 7 chắc chắn sẽ còn dư chấn"? Sau thua lỗ nặng của AI trong tháng 7, các quỹ phòng hộ tiếp tục chịu cú sốc lớn vào thứ Tư.
Theo dữ liệu từ Goldman Sachs, các quỹ long-short hệ thống đã giảm 1,4% trong một ngày vào thứ Tư, chỉ số "Pure Momentum" của Morgan Stanley cũng lần đầu tiên trong năm năm giảm hơn 4% trong một ngày. Nguyên nhân xuất phát từ việc Bộ Tài chính Mỹ mở rộng mua trái phiếu và giá cổ phiếu của Moderna tăng mạnh. Các chuyên gia trong ngành mô tả tình hình hiện tại như “hậu chấn của trận động đất cấp 7”, khi các bên đồng loạt giảm đòn bẩy và thu hẹp mức độ rủi ro, làm gia tăng biến động thị trường và tạo ra chuỗi phản hồi tiêu cực.
Báo cáo: Samsung lên kế hoạch hoàn trả cho cổ đông tới 79 tỷ USD
Vào chiều thứ Sáu sau khi thị trường chứng khoán Hàn Quốc đóng cửa, Hội đồng quản trị của Samsung Electronics dự kiến sẽ công bố kế hoạch hoàn trả cổ đông quy mô lớn, ước tính từ 90 đến 110 nghìn tỷ won (khoảng 65 đến 79 tỷ USD), có thể tạo nên kỷ lục hoàn trả vốn lớn nhất trong lịch sử công ty. Các nhà đầu tư đang quan tâm đến tỷ lệ phân bổ vốn giữa cổ tức và mua lại cổ phiếu cũng như lịch trình thực hiện.
Anthropic dự định vượt qua SpaceX, hướng tới đợt IPO lớn nhất lịch sử
Theo các phương tiện truyền thông, Anthropic dự kiến quy mô IPO của mình sẽ sánh ngang hoặc thậm chí vượt qua kỷ lục lịch sử do SpaceX thiết lập. Anthropic có thể sẽ công khai nộp hồ sơ IPO sớm nhất vào cuối tháng này và công ty hiện đang tiến hành tính toán quy mô huy động vốn.
Broadcom tìm kiếm hơn 60 tỷ USD tài trợ nợ để cung cấp cơ sở hạ tầng chip cho các doanh nghiệp AI như Anthropic
Broadcom đang đàm phán với Blackstone và Apollo, dự kiến huy động hơn 60 billions USD nợ thông qua phương tiện mục đích đặc biệt (SPV), quy mô tổng thể có thể lên tới 100 billions USD, nhằm hỗ trợ xây dựng hạ tầng chip AI do Anthropic đại diện. Thương vụ này tiếp tục dựa trên khuôn khổ hợp tác "AI XPV" được ba bên thiết lập vào tháng 6 năm nay.
Giá tiền điện tử
Thêm
