Ars Technica · AI· Lily Hay Newman, wired.com·· 2 ngày trướcĐiểm AI58
Google DeepMind xác minh toán học các phần quan trọng của Signal
Google DeepMind just mathematically verified key parts of Signal
Tóm tắt bằng AI
Theo Ars Technica, Google DeepMind đã hoàn thành một dự án kéo dài bốn tuần nhằm xác minh toán học các phần quan trọng của Signal. Công trình này gợi ý rằng AI có thể khiến việc xác minh hình thức trở nên thực tiễn hơn nhiều, dù báo cáo không cung cấp thêm chi tiết kỹ thuật nào.
Nguồn:Ars Technica · AI · arstechnica.com