LAGRANGE

LAGRANGE

52,483 người theo dõi trên Twitter

Theo dõi

Hyper-parallel ZK coprocessing. Verifiably compute over blockchain data at a big data scale and unlock new data-intensive and interoperable applications.

Bài đăng

Các hệ thống tự trị phân tán tạo ra các chế độ lỗi mới. Chỉ một nút bị lỗi cũng có thể ảnh hưởng đến hành vi Swarm . Khi các hệ thống hoạt động đồng bộ, tính toàn vẹn của sự phối hợp trở nên vô cùng quan trọng.

Nội dung chủ đề

Chào mừng đến với hội nghị @OneRSAC tại San Francisco. Rất vui được gặp gỡ các đối tác tại hội nghị, từ @awscloud và @IBM đến @databricks. Một vài chủ đề nổi bật cho đến nay khi AI xuất hiện ở khắp mọi nơi: • Nhiều cuộc tấn công dựa vào sự đánh lừa (deepfake, giả mạo danh tính) hơn là trực tiếp phá vỡ hệ thống • Nhiều nhóm đang chuyển từ việc cố gắng ngăn chặn mọi vi phạm sang giả định sự xâm nhập và nhanh chóng hạn chế thiệt hại Ngoài ra, robot hiện đang đưa ra lời khuyên về bảo mật, vì vậy tiêu chuẩn ngày càng được nâng cao.

Cột mốc kỹ thuật quan trọng. Chúng tôi vừa đạt được mức cải thiện hiệu suất 60% trong quy trình chứng minh zkML của mình. Độ chính xác hiện đã ngang bằng với suy luận số thực của PyTorch. Các mô hình như Gemma3 và GPT2 hiện được chứng minh nhanh hơn trong khi vẫn duy trì độ chính xác ở mức số thực. Bằng cách hợp nhất các phép toán lượng tử hóa và tra cứu, đồng thời tái cấu trúc các lớp phi tuyến tính, chúng tôi đã tăng tốc quá trình chứng minh mà không làm giảm tính chính xác. Việc tăng hiệu suất không có ý nghĩa gì nếu độ chính xác giảm. Giờ thì điều đó đã không còn quan trọng nữa.

Trong các hệ thống trọng yếu, sự không chắc chắn chính là rủi ro. Nếu các tác nhân tự động không chia sẻ trạng thái nhiệm vụ nhất quán, sự phối hợp sẽ bị phá vỡ. Và trong các hệ thống phân tán, những sự không nhất quán nhỏ có thể lan rộng nhanh chóng.

Tôi đang ở trung tâm hội nghị GTC của NVIDIA tại San Jose. Một vài chủ đề nổi bật ở khắp mọi nơi: • Trọng tâm của AI đang chuyển từ huấn luyện mô hình sang triển khai trong thế giới thực • Hệ thống tác nhân đang chuyển từ trả lời câu hỏi sang thực hiện hành động • NVIDIA đang mở rộng ra ngoài chip hướng tới toàn bộ hệ thống - phần cứng, phần mềm và cơ sở hạ tầng Việc chứng kiến các công ty như @QuantinuumQC, @EvidenceOpen và @Infleqtion vượt qua giới hạn của điện toán cho thấy một điều rõ ràng: Khi AI được ứng dụng vào các sản phẩm thực tế, cuộc thảo luận đang chuyển từ hiệu năng sang độ tin cậy, khả năng kiểm soát và xác minh.

Mật mã học biến câu nói “hãy tin tôi” thành “hãy chứng minh đi”. Đó chính là bước nâng cấp mà trí tuệ nhân tạo (AI) không thể bỏ qua.

Nội dung chủ đề

Hội nghị Consensus_HK Hồng Kông đã kết thúc vào tuần trước. Trong hơn năm ngày diễn ra các buổi thảo luận, sự kiện bên lề và các cuộc gặp gỡ của các tổ chức, một chủ đề liên tục xuất hiện ở mọi nơi: Trí tuệ nhân tạo đang chuyển từ giai đoạn trình diễn sang giai đoạn triển khai, và việc triển khai đòi hỏi khả năng kiểm chứng.

Chào mừng đến với Triển lãm Quốc phòng Thế giới từ Riyadh! Tuần này, các cuộc thảo luận tiếp tục tập trung vào những gì cần thiết để triển khai AI vào môi trường quốc phòng thực tế và những gì cần thiết để làm cho các hệ thống đó có thể kiểm chứng và chịu trách nhiệm. Hãy cùng thảo luận và xây dựng: • Suy luận có thể kiểm chứng • Tính toàn vẹn của nhật ký quyết định tự động • Đảm bảo mật mã cho AI đã triển khai • Trách nhiệm giải trình trong các hệ thống quan trọng đối với nhiệm vụ

Cảm ơn vì đã mời chúng tôi hôm nay. Chúng tôi hoàn toàn đồng ý. Chúng ta đang hướng tới một tương lai có thể kiểm chứng và đáng tin cậy trong kỷ nguyên trí tuệ nhân tạo. twitter.com/lagrangedev/status...

Nội dung chủ đề

Đội Lagrange đang lên đường đến Hồng Kông để Consensus. Trưởng bộ phận Phát triển Kinh doanh của chúng tôi, Brian Novell, sẽ trình bày về Trí tuệ nhân tạo có thể kiểm chứng, hệ thống tác nhân, cơ sở hạ tầng và triển khai thực tế. Bạn có thể tìm thấy chúng tôi ở đây và đăng ký ngay 👇

Loading..