Shentu链联手CertiK推出全球首个数学DeSci nền tảngOpenMath

【链文】Ngày 13 tháng 10, Shentu chain đã thông báo chính thức ra mắt nền tảng DeSci OpenMath đầu tiên trên thế giới tập trung vào lĩnh vực toán học. Nền tảng này được phát triển thông qua sự hợp tác chiến lược giữa Shentu chain và CertiK, công ty an ninh Web3 lớn nhất thế giới, là người dẫn đầu trong lĩnh vực xác minh chính thức.

OpenMath cam kết xây dựng một hệ sinh thái DeSci với "sự thật toán học có thể xác minh" là cốt lõi, nơi các nhà nghiên cứu và người xác minh có thể hợp tác đưa ra và giải quyết các vấn đề toán học, và thông qua công nghệ xác minh chính thức dựa trên Rocq để thực hiện xác minh logic, đảm bảo tính chặt chẽ và chính xác của suy luận với độ chính xác cấp độ toán học. Những người tham gia hoàn thành xác minh thành công sẽ nhận được phần thưởng bằng token, thực hiện sự kết hợp hiệu quả giữa quá trình nghiên cứu công khai và cơ chế khuyến khích.

Theo thông tin, OpenMath được triển khai trên chuỗi Shentu, chuỗi này trước đây là chuỗi CertiK, được ươm tạo bởi Giáo sư Zhao Zhong và Giáo sư Gu Ronghui từ Đại học Yale. Vào tháng 8 năm 2021, Shentu chính thức tách khỏi CertiK và hoạt động độc lập như một thực thể riêng. Việc OpenMath ra mắt lần này là sự khám phá chung của hai bên dựa trên mối quan hệ đối tác mới về việc ứng dụng blockchain và xác minh chính thức trong các kịch bản toán học.