كشفت Shentu Chain وCertiK هذا الأسبوع عن OpenMath، التي توصف بأنها أول منصة DeSci رياضية في العالم، مما يفتح فصلًا جديدًا تلتقي فيه الرياضيات الرسمية والحوسبة القابلة للتحقق و blockchain. إن الإطلاق، الذي تم الإعلان عنه في إصدار مشترك وتم تضخيمه عبر القنوات الاجتماعية، يضع OpenMath كمساحة حيث يمكن للباحثين و”المثبتين” طرح المشكلات الرياضية والتعاون فيها والتحقق منها من خلال حلول مسجلة بشكل ثابت على السلسلة.
يقع التحقق الرسمي في قلب OpenMath: يتم فحص البراهين والحلول المقدمة إلى النظام الأساسي باستخدام تقنية مساعد الإثبات بحيث يمكن التحقق من الصحة ميكانيكيًا بدلاً من تركها لمراجعة النظراء غير الرسمية. تصف مواد Shentu النظام بأنه يدمج الأدوات الرسمية المعروفة مثل Coq وLean في سير عمل أصلي لتقنية blockchain، مما يسمح بالرجوع إلى النظريات والبراهين التي تم فحصها آليًا والتحقق من صحتها وحفظها في دفتر الأستاذ.
منزل طبيعي لـ DeSci
يتم نشر OpenMath على Shentu Chain، وهي طبقة 1 تركز على الأمان وتعود جذورها إلى CertiK ومجتمع أبحاث التحقق الرسمي. تم تطوير السلسلة نفسها، التي أعيدت تسميتها باسم Shentu في عام 2021 بعد احتضانها من CertiK، مع التركيز بشكل واضح على الحوسبة التي يمكن التحقق منها وأدوات الأمان على السلسلة، مما يجعلها موطنًا طبيعيًا لتجربة DeSci المبنية على الحقيقة الرياضية.
يقول مهندسو المنصة إن OpenMath تم تصميمه مع وضع التعاون وحماية الملكية الفكرية في الاعتبار: حيث تعمل عملية التقديم على مرحلتين على حماية عمل المُثبتين، بينما تسمح للمجتمع العالمي بالمشاركة والتحقق من صحة النتائج التي تم التحقق منها والبناء عليها. من خلال تسجيل خطوات المصدر والمراجعة والتحقق على السلسلة، يهدف OpenMath إلى إزالة الاختناقات المؤسسية التقليدية، وضمان الائتمان العادل للمساهمين وتسريع الوتيرة التي تصبح بها المعرفة الرياضية الصارمة قابلة للاكتشاف وإعادة الاستخدام.
يأتي إطلاق OpenMath في الوقت الذي تكتسب فيه العلوم اللامركزية، أو DeSci، زخمًا كنهج لإضفاء الطابع الديمقراطي على كيفية تمويل الأبحاث ونشرها والتحقق من صحتها. يجادل المؤيدون بأن الشبكات اللامركزية يمكنها توسيع الوصول، وتنويع آليات التمويل، وجعل عمليات التحقق أكثر شفافية، وهي الأهداف التي تعكسها OpenMath بوضوح من خلال الجمع بين الوصول المفتوح إلى النتائج التي تم التحقق منها وإمكانية التتبع على السلسلة.
صاغت Shentu Chain وCertiK الإصدار باعتباره استمرارًا لمهمة مشتركة لتطبيق blockchain والتحقق الرسمي على “التأثير في العالم الحقيقي”، ويقولان إنه من المخطط إجراء المزيد من التوسعات للسماح للباحثين بمعالجة المشكلات المتقدمة بشكل متزايد ولتوسيع الحوافز داخل نظام OpenMath البيئي. في الوقت الحالي، يعمل الموقع والمنصة بشكل مباشر، مما يدعو علماء الرياضيات والباحثين في الأساليب الرسمية ومجتمع DeSci الأوسع لاستكشاف البيئة الجديدة حيث تصبح الحقيقة الرياضية منفعة عامة يمكن التحقق منها ويمكن الرجوع إليها.