Các ngân hàng lớn tại Anh đã tiên phong thực hiện giao dịch liên ngân hàng bằng tiền gửi mã hóa, hứa hẹn tối ưu hóa chi phí và hiệu quả vận hành hệ thống tài chính.
AI Notes@AYi_AInotesJarrod Watts, kỹ sư AI tại Monad, đã công khai mã nguồn bot jev-trader. Bot này sử dụng mô hình Jev với tốc độ suy luận 150ms để tự động tạo lập thị trường trên mạng lưới Monad, tận dụng chênh lệch giá thông qua sổ lệnh Kuru.
Trail of Bits đã sử dụng AI để xây dựng bộ công cụ phân tích chuyên sâu cho Miden zkVM trong 6 tháng, giúp phát hiện lỗ hổng nghiêm trọng trong chữ ký Falcon và hàng trăm lỗi logic thông qua kiểm chứng hình thức bằng Lean.
AI Notes@AYi_AInotesJustin Sun vừa công bố quỹ giải thưởng cho 1.022 bài toán, yêu cầu chứng minh hình thức hóa qua GitHub. Hệ thống cho phép con người hoặc AI tham gia, tiền thưởng chỉ được giải ngân khi máy tính xác thực thành công.
Ngày hội Công nghệ TP.HCM (Conviction 2026) vừa diễn ra, tập trung thảo luận về tiềm năng phát triển của blockchain, tài sản số và trí tuệ nhân tạo trong kỷ nguyên mới.