OpenMath ra mắt, Shentu chuỗi, Certi hợp tác tạo ra nền tảng DeSci đầu tiên trong lĩnh vực toán học

Thông tin từ CoinWorld vào ngày 13 tháng 10, Shentu Chain hôm nay đã công bố chính thức ra mắt nền tảng DeSci đầu tiên trên thế giới tập trung vào lĩnh vực toán học mang tên OpenMath. Nền tảng này được phát triển hợp tác chiến lược giữa Shentu Chain và CertiK, công ty bảo mật 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 hướng tới việc 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àm trung tâm, nơi các nhà nghiên cứu và người xác thực có thể hợp tác để đề xuất và giải quyết các vấn đề toán học, đồng thời thực hiện xác minh logic dựa trên công nghệ xác minh chính thức Rocq, đảm bảo tính chính xác và nghiêm ngặt của suy luận với độ chính xác tương đương 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 token, thực hiện sự kết hợp hiệu quả giữa công khai và minh bạch trong quá trình nghiên cứu cũng như cơ chế khuyến khích. Thông tin từ CoinWorld cho biết, OpenMath được triển khai trên Shentu Chain, chuỗi này trước đây là CertiK Chain, được ươm tạo cá nhân 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. Sự ra mắt của OpenMath lần này là một nghiên cứu 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 tình huống toán học.