كشفت Shentu Chain و CertiK هذا الأسبوع عن OpenMath، التي وصفت بأنها أول منصة DeSci رياضية في العالم، مفتتحة فصلاً جديداً حيث تلتقي الرياضيات الرسمية والحوسبة القابلة للتحقق والبلوكشين. يضع الإطلاق، الذي تم الإعلان عنه في بيان مشترك وتم تضخيمه عبر القنوات الاجتماعية، OpenMath كمساحة حيث يمكن للباحثين و"المثبتين" طرح المشكلات الرياضية والتعاون عليها والتحقق منها مع تسجيل الحلول بشكل غير قابل للتغيير على السلسلة. في قلب OpenMath يوجد التحقق الرسمي: يتم فحص البراهين والحلول المقدمة إلى المنصة باستخدام تقنية مساعدة الإثبات بحيث يمكن التحقق من صحتها آلياً بدلاً من تركها للمراجعة غير الرسمية من قبل الأقران. تصف مواد Shentu النظام بأنه يدمج أدوات رسمية معروفة مثل Coq و Lean في سير عمل أصلي للبلوكشين، مما يسمح بالإشارة إلى النظريات وبراهينها التي تم التحقق منها آلياً والتحقق منها والحفاظ عليها في دفتر الأستاذ. موطن طبيعي لـ DeSci تم نشر OpenMath على Shentu Chain، وهي طبقة-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، وهي طبقة-1 تركز على الأمان وتعود جذورها إلى CertiK ومجتمع أبحاث التحقق الرسمي. تم تطوير السلسلة نفسها، التي أعيدت تسميتها إلى Shentu في عام 2021 بعد احتضانها من CertiK، مع تركيز صريح على الحوسبة القابلة للتحقق وأدوات الأمان على السلسلة، مما يجعلها موطنًا طبيعيًا لتجربة DeSci المبنية حول الحقيقة الرياضية. يقول مهندسو المنصة إن OpenMath تم تصميمها مع وضع التعاون وحماية الملكية الفكرية في الاعتبار: عملية تقديم من مرحلتين تحمي عمل المثبتين مع السماح للمجتمع العالمي بالمشاركة والتحقق والبناء على النتائج التي تم التحقق منها. من خلال تسجيل المصدر وخطوات المراجعة والتحقق على السلسلة، تهدف OpenMath إلى إزالة الاختناقات المؤسسية التقليدية، وضمان الائتمان العادل للمساهمين وتسريع وتيرة اكتشاف المعرفة الرياضية الدقيقة وإعادة استخدامها. يأتي إطلاق OpenMath في وقت تكتسب فيه العلوم اللامركزية، أو DeSci، زخمًا كنهج لإضفاء الطابع الديمقراطي على كيفية تمويل الأبحاث ونشرها والتحقق منها. يجادل المؤيدون بأن الشبكات اللامركزية يمكن أن توسع الوصول، وتنوع آليات التمويل وتجعل عمليات التحقق أكثر شفافية، وهي أهداف تعكسها OpenMath بشكل صريح من خلال الجمع بين الوصول المفتوح إلى النتائج التي تم التحقق منها مع إمكانية التتبع على السلسلة. وصفت Shentu Chain و CertiK الإصدار بأنه استمرار لمهمة مشتركة لتطبيق البلوكشين والتحقق الرسمي على "التأثير في العالم الحقيقي"، ويقولون إن هناك خططًا لمزيد من التوسعات للسماح للباحثين بمعالجة مشاكل متقدمة بشكل متزايد ولتوسيع الحوافز داخل نظام OpenMath البيئي. في الوقت الحالي، الموقع والمنصة نشطان، ويدعوان علماء الرياضيات وباحثي الطرق الرسمية ومجتمع DeSci الأوسع لاستكشاف البيئة الجديدة حيث تصبح الحقيقة الرياضية سلعة عامة قابلة للتحقق ويمكن الرجوع إليها.