Nhóm Monad phát hiện lỗ hổng bảo mật mà Claude Opus và Codex đã bỏ sót bằng cách sử dụng xác minh hình thức.

Theo Foresight News, nhóm Category Labs của Monad gần đây đã công bố những phát hiện từ quá trình xác minh chính thức blockchain Monad, tiết lộ nhiều lỗ hổng bảo mật mà các mô hình AI tiên tiến bao gồm Claude Opus 4.8 và Codex không phát hiện ra trong quá trình đánh giá mã.

Các lỗi được phát hiện liên quan đến thiết kế Reserve Balance trong cơ chế thực thi không đồng bộ của Monad và các vấn đề hành vi C++ không xác định trong tối ưu hóa lưu trữ MIP-8. Nhóm nghiên cứu đã chứng minh rằng xác minh chính thức đã phát hiện thành công những lỗi này, nhấn mạnh việc xác định các mệnh đề đúng đắn chính xác trước khi yêu cầu AI tìm phản ví dụ hiệu quả hơn trong việc phơi bày các lỗ hổng tiềm ẩn so với yêu cầu đánh giá mã trực tiếp.