Shentu Chain и CertiK на этой неделе представили OpenMath, позиционируемую как первую в мире математическую платформу DeSci, открывающую новую главу, где формальная математика, проверяемые вычисления и блокчейн встречаются вместе. Запуск, объявленный в совместном релизе и распространенный по социальным каналам, позиционирует OpenMath как пространство, где исследователи и "доказывающие" могут поднимать, сотрудничать и проверять математические проблемы с решениями, неизменно записанными на цепочке. В основе OpenMath лежит формальная верификация: доказательства и решения, представленные на платформу, проверяются с использованием технологии помощника доказательств, так что правильность может быть механически проверена, а не оставлена на неформальное рецензирование. Материалы Shentu описывают систему как интегрирующую известные формальные инструменты, такие как Coq и Lean, в нативный для блокчейна рабочий процесс, позволяя теоремам и их машинно-проверенным доказательствам быть ссылаемыми, проверенными и сохраненными в реестре. Естественный дом для DeSci OpenMath развернут на Shentu Chain, ориентированном на безопасность Layer-1, который берет свои корни от CertiK и сообщества исследователей формальной верификации. Сама цепь, переименованная в Shentu в 2021 году после инкубации из CertiK, была разработана с явным фокусом на проверяемые вычисления и инструменты безопасности на цепочке, что делает ее естественным домом для эксперимента DeSci, построенного вокруг математической истины. Архитекторы платформы говорят, что OpenMath был разработан с учетом сотрудничества и защиты интеллектуальной собственности: двухфазный процесс подачи защищает работу доказывающих, при этом позволяя глобальному сообществу участвовать, проверять и строить на проверенных результатах. Записывая происхождение, обзор и шаги верификации на цепочке, OpenMath стремится устранить традиционные институциональные узкие места, обеспечить справедливое признание вклада участников и ускорить темп, с которым строгие математические знания становятся обнаруживаемыми и повторно используемыми. Запуск OpenMath происходит в то время, когда Децентрализованная наука, или DeSci, набирает обороты как подход к демократизации того, как исследования финансируются, публикуются и проверяются. Сторонники утверждают, что децентрализованные сети могут расширить доступ, диверсифицировать механизмы финансирования и сделать процессы проверки более прозрачными, цели, которые OpenMath явно отражает, сочетая открытый доступ к проверенным результатам с прослеживаемостью на цепочке. Shentu Chain и CertiK представили релиз как продолжение общей миссии по применению блокчейна и формальной верификации для "реального воздействия", и они говорят, что планируются дальнейшие расширения, чтобы позволить исследователям решать все более сложные проблемы и расширить стимулы в экосистеме OpenMath. На данный момент сайт и платформа работают, приглашая математиков, исследователей формальных методов и более широкое сообщество DeSci исследовать новую среду, где математическая истина становится проверяемым, ссылаемым общественным благом.Shentu Chain и CertiK на этой неделе представили OpenMath, позиционируемую как первую в мире математическую платформу DeSci, открывающую новую главу, где формальная математика, проверяемые вычисления и блокчейн встречаются вместе. Запуск, объявленный в совместном релизе и распространенный по социальным каналам, позиционирует OpenMath как пространство, где исследователи и "доказывающие" могут поднимать, сотрудничать и проверять математические проблемы с решениями, неизменно записанными на цепочке. В основе OpenMath лежит формальная верификация: доказательства и решения, представленные на платформу, проверяются с использованием технологии помощника доказательств, так что правильность может быть механически проверена, а не оставлена на неформальное рецензирование. Материалы Shentu описывают систему как интегрирующую известные формальные инструменты, такие как Coq и Lean, в нативный для блокчейна рабочий процесс, позволяя теоремам и их машинно-проверенным доказательствам быть ссылаемыми, проверенными и сохраненными в реестре. Естественный дом для DeSci OpenMath развернут на Shentu Chain, ориентированном на безопасность Layer-1, который берет свои корни от CertiK и сообщества исследователей формальной верификации. Сама цепь, переименованная в Shentu в 2021 году после инкубации из CertiK, была разработана с явным фокусом на проверяемые вычисления и инструменты безопасности на цепочке, что делает ее естественным домом для эксперимента DeSci, построенного вокруг математической истины. Архитекторы платформы говорят, что OpenMath был разработан с учетом сотрудничества и защиты интеллектуальной собственности: двухфазный процесс подачи защищает работу доказывающих, при этом позволяя глобальному сообществу участвовать, проверять и строить на проверенных результатах. Записывая происхождение, обзор и шаги верификации на цепочке, OpenMath стремится устранить традиционные институциональные узкие места, обеспечить справедливое признание вклада участников и ускорить темп, с которым строгие математические знания становятся обнаруживаемыми и повторно используемыми. Запуск OpenMath происходит в то время, когда Децентрализованная наука, или DeSci, набирает обороты как подход к демократизации того, как исследования финансируются, публикуются и проверяются. Сторонники утверждают, что децентрализованные сети могут расширить доступ, диверсифицировать механизмы финансирования и сделать процессы проверки более прозрачными, цели, которые OpenMath явно отражает, сочетая открытый доступ к проверенным результатам с прослеживаемостью на цепочке. Shentu Chain и CertiK представили релиз как продолжение общей миссии по применению блокчейна и формальной верификации для "реального воздействия", и они говорят, что планируются дальнейшие расширения, чтобы позволить исследователям решать все более сложные проблемы и расширить стимулы в экосистеме OpenMath. На данный момент сайт и платформа работают, приглашая математиков, исследователей формальных методов и более широкое сообщество DeSci исследовать новую среду, где математическая истина становится проверяемым, ссылаемым общественным благом.

Копировать ссылкуX (Twitter)LinkedInFacebookEmail