OpenMath ra mắt – nền tảng DeSci đầu tiên cho toán học với sự hợp tác chiến lược giữa Shentu Chain và CertiK

Vào ngày 13 tháng 10, Shentu Chain và CertiK đã chính thức ra mắt OpenMath – nền tảng DeSci đầu tiên tập trung vào toán học.

Các nhà nghiên cứu và người xác minh có thể hợp tác đề xuất, giải quyết bài toán và kiểm chứng lập luận của mình bằng công nghệ xác minh hình thức dựa trên Rocq, đảm bảo độ chính xác và nghiêm ngặt.

Người tham gia hoàn thành việc xác minh thành công sẽ nhận phần thưởng bằng token, thúc đẩy sự minh bạch và hợp tác trong quá trình nghiên cứu.