OpenMath lên mạng; Shentu Chain và Certi xây DeSci toán học đầu tiên

Shentu Chain công bố ra mắt OpenMath — nền tảng DeSci đầu tiên chuyên về toán học, cho phép nghiên cứu, xác minh logic toán học và khen thưởng bằng Token.

OpenMath phát triển theo hợp tác chiến lược giữa Shentu Chain và CertiK, tích hợp công nghệ xác minh hình thức dựa trên Rocq để đảm bảo tính chính xác và minh bạch trong nghiên cứu toán học.

OpenMath là gì?

OpenMath là một nền tảng DeSci tập trung vào các vấn đề và chứng minh toán học, cho phép đề xuất, giải quyết và xác minh các luận cứ toán học theo quy trình có thể kiểm chứng.

Nền tảng nhắm tới việc chuẩn hóa và minh bạch hóa quy trình nghiên cứu toán học bằng cách kết hợp công cụ xác minh hình thức và cơ chế thưởng Token nhằm khuyến khích đóng góp có chất lượng.

Cách thức xác minh và cơ chế thưởng

OpenMath sử dụng công nghệ xác minh hình thức dựa trên Rocq để kiểm tra logic và tính chặt chẽ của các chứng minh, sau đó trao Token cho người thực hiện xác minh thành công.

Cơ chế này giúp phân tách vai trò giữa người đề xuất vấn đề, người giải và verifier; việc xác minh tự động hoặc bán tự động đảm bảo tính chính xác trước khi phát thưởng và công bố kết quả.

Quan hệ Shentu Chain — CertiK và bối cảnh phát triển

OpenMath được phát triển trong quan hệ hợp tác giữa Shentu Chain và CertiK, triển khai trên Shentu Chain (trước đây là CertiK Chain), nền tảng từng được hai giáo sư Yale ươm tạo.

Shentu chính thức tách khỏi CertiK vào tháng 8 năm 2021 và hoạt động độc lập; việc ra mắt OpenMath là bước thăm dò ứng dụng blockchain kết hợp xác minh hình thức trong bối cảnh nghiên cứu toán học.

OpenMath có phải nền tảng công khai cho mọi nhà nghiên cứu không?

OpenMath hướng tới cộng đồng nghiên cứu mở; cơ chế truy cập cụ thể phụ thuộc chính sách nền tảng, bao gồm quyền đề xuất vấn đề, tham gia giải và thực hiện xác minh.

Phương pháp xác minh hình thức là gì?

OpenMath áp dụng xác minh hình thức dựa trên Rocq để kiểm tra từng bước logic chứng minh, đảm bảo tính chính xác toán học trước khi chấp nhận và khen thưởng.

Ai phát triển và vận hành OpenMath?

OpenMath là kết quả hợp tác giữa Shentu Chain và CertiK, triển khai trên Shentu Chain, dựa trên quan hệ hợp tác chiến lược giữa hai bên.

Người hoàn thành xác minh có nhận được gì?

Những người hoàn thành xác minh thành công sẽ nhận phần thưởng bằng Token, đồng thời đóng góp của họ được ghi nhận công khai trong hệ sinh thái nền tảng.