Shentu Chain, phối hợp với CertiK, đã ra mắt OpenMath, nền tảng khoa học phi tập trung (DeSci) đầu tiên tập trung vào toán học. Nền tảng sáng tạo này cho phép người dùng đề xuất và giải quyết các vấn đề toán học, tận dụng công nghệ xác minh chính thức Rocq để đảm bảo tính hợp lý về mặt logic. Những người tham gia xác minh thành công các giải pháp sẽ nhận được phần thưởng token, thúc đẩy sự minh bạch và khuyến khích hợp tác.
OpenMath được triển khai trên Shentu Chain, ban đầu được thành lập bởi các giáo sư Đại học Yale và đã hoạt động độc lập từ năm 2021. Việc ra mắt này đánh dấu một quan hệ đối tác chiến lược giữa Shentu và CertiK, nhằm tích hợp công nghệ blockchain và xác minh chính thức vào các ứng dụng toán học.
Shentu Chain và CertiK Ra Mắt OpenMath, Nền Tảng DeSci Tập Trung Vào Toán Học
Tuyên bố miễn trừ trách nhiệm: Nội dung được cung cấp trên Phemex News chỉ nhằm mục đích cung cấp thông tin.Chúng tôi không đảm bảo chất lượng, độ chính xác hoặc tính đầy đủ của thông tin có nguồn từ các bài viết của bên thứ ba.Nội dung trên trang này không cấu thành lời khuyên về tài chính hoặc đầu tư.Chúng tôi đặc biệt khuyến khích bạn tự tiến hành nghiên cứu và tham khảo ý kiến của cố vấn tài chính đủ tiêu chuẩn trước khi đưa ra bất kỳ quyết định đầu tư nào.