OpenMath: Первая в мире математическая платформа DeSci от Shentu Chain и CertiK

Shentu Chain иCertiK на этой неделе представилиOpenMath, заявленный как первая в мире математическая платформа DeSci, открывающая новую главу, где формальная математика, проверяемые вычисления и блокчейн встречаются. Запуск, объявленный в совместном пресс-релизе и активно обсуждаемый в соцсетях, позиционирует OpenMath как пространство, где исследователи и «доказатели» могут поднимать, сотрудничать и проверять математические задачи с решениями, записанными на блокчейне неизменяемым образом.

В сердце OpenMath находится формальная проверка: доказательства и решения, представленные на платформе, проверяются с помощью технологии вспомогательных доказательств, так что корректность может быть механически проверена, а не оставлена на откуп неформальному рецензированию. Материалы Shentu описывают систему как интегрирующую известные формальные инструменты, такие какCoq иLean, в рабочий процесс, ориентированный на блокчейн, позволяя теоремам и их машинно проверяемым доказательствам ссылаться, проверяться и сохраняться в реестре.

Естественный дом для DeSci

OpenMath развернут наShentu Chain, сосредоточенной на безопасности платформе первого уровня, которая восходит кCertiK и сообществу исследований формальной проверки. Сама цепочка, переименованная в Shentu в 2021 году после инкубации в CertiK, была разработана с явным акцентом на проверяемые вычисления и инструменты безопасности на блокчейне, что делает её естественным домом для экспериментов DeSci, построенных на математической истине.

Архитекторы платформы заявляют, что OpenMath была разработана с учетом сотрудничества и защиты интеллектуальной собственности: процесс подачи заявок в два этапа защищает работу доказателей, одновременно позволяя глобальному сообществу участвовать, валидировать и строить на основе проверенных результатов. Записывая происхождение, обзор и шаги проверки в блокчейне, OpenMath стремится устранить традиционные институциональные узкие места, гарантируя справедливое признание для вкладчиков и ускоряя темп, с которым строгие математические знания становятся доступными и повторно используемыми.

Запуск OpenMath происходит на фоне роста популярностидезентрализованной науки, или DeSci, как подхода к демократизации финансирования, публикации и проверки исследований. Сторонники утверждают, что децентрализованные сети могут расширить доступ, разнообразить механизмы финансирования и сделать процессы проверки более прозрачными, цели, которые OpenMath явно отражает, сочетая открытый доступ к проверенным результатам с отслеживанием на блокчейне.

Shentu Chain и CertiK представили релиз как продолжение общей миссии применить блокчейн и формальную проверку для «реального воздействия» и заявили, что в будущем планируются расширения, позволяющие исследователям решать всё более сложные задачи и расширять стимулы внутри экосистемы OpenMath. На данный момент сайт и платформа функционируют, приглашая математиков, исследователей формальных методов и более широкое сообщество DeSci изучить новую среду, где математическая истина становится проверяемым, ссылочным общественным благом.