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 досліджувати нове середовище, де математична істина стає верифікованим, посилальним суспільним благом.