Shentu Chain và CertiK tuần này đã ra mắt OpenMath, được giới thiệu là nền tảng DeSci toán học đầu tiên trên thế giới, mở ra một chương mới nơi toán học hình thức, điện toán có thể xác minh và blockchain gặp nhau. Sự ra mắt, được công bố trong một thông cáo chung và lan truyền qua các kênh xã hội, định vị OpenMath như một không gian nơi các nhà nghiên cứu và "người chứng minh" có thể đưa ra, cộng tác và xác minh các vấn đề toán học với các giải pháp được ghi lại bất biến trên Dữ liệu on-chain. Trọng tâm của OpenMath là xác minh hình thức: các bằng chứng và giải pháp được gửi lên nền tảng được kiểm tra bằng công nghệ hỗ trợ chứng minh để tính chính xác có thể được xác minh một cách cơ học thay vì để lại cho quá trình đánh giá đồng nghiệp không chính thức. Tài liệu của Shentu mô tả hệ thống này tích hợp các công cụ hình thức nổi tiếng như Coq và Lean vào quy trình làm việc blockchain-native, cho phép các định lý và bằng chứng được máy kiểm tra có thể được tham chiếu, xác thực và lưu giữ trên sổ cái. Ngôi nhà tự nhiên cho DeSci OpenMath được triển khai trên Shentu Chain, một Layer-1 tập trung vào bảo mật có nguồn gốc từ CertiK và cộng đồng nghiên cứu xác minh hình thức. Bản thân chuỗi này, được đổi tên thành Shentu vào năm 2021 sau khi ươm tạo từ CertiK, được phát triển với trọng tâm rõ ràng vào điện toán có thể xác minh và công cụ bảo mật Xử lý on-chain, làm cho nó trở thành ngôi nhà tự nhiên cho một thí nghiệm DeSci được xây dựng xung quanh sự thật toán học. Các kiến trúc sư của nền tảng cho biết OpenMath được thiết kế với sự hợp tác và bảo vệ sở hữu trí tuệ: quy trình gửi hai giai đoạn bảo vệ công việc của người chứng minh trong khi vẫn cho phép cộng đồng toàn cầu tham gia, xác thực và xây dựng trên các kết quả đã được xác minh. Bằng cách ghi lại nguồn gốc, đánh giá và các bước xác minh Xử lý on-chain, OpenMath nhằm loại bỏ các nút thắt cổ chai thể chế truyền thống, đảm bảo tín dụng công bằng cho những người đóng góp và tăng tốc độ mà kiến thức toán học nghiêm ngặt trở nên có thể khám phá và tái sử dụng. Sự ra mắt của OpenMath diễn ra khi Khoa học Phi tập trung, hay DeSci, đang có được động lực như một cách tiếp cận để dân chủ hóa cách nghiên cứu được tài trợ, xuất bản và xác thực. Những người ủng hộ lập luận rằng các mạng phi tập trung có thể mở rộng quyền truy cập, đa dạng hóa cơ chế tài trợ và làm cho quy trình xác thực minh bạch hơn, những mục tiêu mà OpenMath phản ánh rõ ràng bằng cách kết hợp quyền truy cập mở vào các kết quả đã được xác minh với khả năng truy xuất nguồn gốc Dữ liệu on-chain. Shentu Chain và CertiK đã định hình việc phát hành này như là sự tiếp nối của một sứ mệnh chung để áp dụng blockchain và xác minh hình thức vào "tác động thực tế," và họ nói rằng các mở rộng thêm được lên kế hoạch để cho phép các nhà nghiên cứu giải quyết các vấn đề ngày càng nâng cao và mở rộng các ưu đãi trong hệ sinh thái OpenMath. Hiện tại, trang web và nền tảng đang hoạt động, mời các nhà toán học, nhà nghiên cứu phương pháp hình thức và cộng đồng DeSci rộng lớn hơn khám phá môi trường mới nơi sự thật toán học trở thành một lợi ích công cộng có thể xác minh, có thể tham chiếu.Shentu Chain và CertiK tuần này đã ra mắt OpenMath, được giới thiệu là nền tảng DeSci toán học đầu tiên trên thế giới, mở ra một chương mới nơi toán học hình thức, điện toán có thể xác minh và blockchain gặp nhau. Sự ra mắt, được công bố trong một thông cáo chung và lan truyền qua các kênh xã hội, định vị OpenMath như một không gian nơi các nhà nghiên cứu và "người chứng minh" có thể đưa ra, cộng tác và xác minh các vấn đề toán học với các giải pháp được ghi lại bất biến trên Dữ liệu on-chain. Trọng tâm của OpenMath là xác minh hình thức: các bằng chứng và giải pháp được gửi lên nền tảng được kiểm tra bằng công nghệ hỗ trợ chứng minh để tính chính xác có thể được xác minh một cách cơ học thay vì để lại cho quá trình đánh giá đồng nghiệp không chính thức. Tài liệu của Shentu mô tả hệ thống này tích hợp các công cụ hình thức nổi tiếng như Coq và Lean vào quy trình làm việc blockchain-native, cho phép các định lý và bằng chứng được máy kiểm tra có thể được tham chiếu, xác thực và lưu giữ trên sổ cái. Ngôi nhà tự nhiên cho DeSci OpenMath được triển khai trên Shentu Chain, một Layer-1 tập trung vào bảo mật có nguồn gốc từ CertiK và cộng đồng nghiên cứu xác minh hình thức. Bản thân chuỗi này, được đổi tên thành Shentu vào năm 2021 sau khi ươm tạo từ CertiK, được phát triển với trọng tâm rõ ràng vào điện toán có thể xác minh và công cụ bảo mật Xử lý on-chain, làm cho nó trở thành ngôi nhà tự nhiên cho một thí nghiệm DeSci được xây dựng xung quanh sự thật toán học. Các kiến trúc sư của nền tảng cho biết OpenMath được thiết kế với sự hợp tác và bảo vệ sở hữu trí tuệ: quy trình gửi hai giai đoạn bảo vệ công việc của người chứng minh trong khi vẫn cho phép cộng đồng toàn cầu tham gia, xác thực và xây dựng trên các kết quả đã được xác minh. Bằng cách ghi lại nguồn gốc, đánh giá và các bước xác minh Xử lý on-chain, OpenMath nhằm loại bỏ các nút thắt cổ chai thể chế truyền thống, đảm bảo tín dụng công bằng cho những người đóng góp và tăng tốc độ mà kiến thức toán học nghiêm ngặt trở nên có thể khám phá và tái sử dụng. Sự ra mắt của OpenMath diễn ra khi Khoa học Phi tập trung, hay DeSci, đang có được động lực như một cách tiếp cận để dân chủ hóa cách nghiên cứu được tài trợ, xuất bản và xác thực. Những người ủng hộ lập luận rằng các mạng phi tập trung có thể mở rộng quyền truy cập, đa dạng hóa cơ chế tài trợ và làm cho quy trình xác thực minh bạch hơn, những mục tiêu mà OpenMath phản ánh rõ ràng bằng cách kết hợp quyền truy cập mở vào các kết quả đã được xác minh với khả năng truy xuất nguồn gốc Dữ liệu on-chain. Shentu Chain và CertiK đã định hình việc phát hành này như là sự tiếp nối của một sứ mệnh chung để áp dụng blockchain và xác minh hình thức vào "tác động thực tế," và họ nói rằng các mở rộng thêm được lên kế hoạch để cho phép các nhà nghiên cứu giải quyết các vấn đề ngày càng nâng cao và mở rộng các ưu đãi trong hệ sinh thái OpenMath. Hiện tại, trang web và nền tảng đang hoạt động, mời các nhà toán học, nhà nghiên cứu phương pháp hình thức và cộng đồng DeSci rộng lớn hơn khám phá môi trường mới nơi sự thật toán học trở thành một lợi ích công cộng có thể xác minh, có thể tham chiếu.