تشين شنتو وسيرتيك يدمجان البلوكتشين والرياضيات في إنجاز ثوري في العلوم اللامركزية

أعلنت شنتو تشين وسيرتيك هذا الأسبوع عن OpenMath، الذي يُعتبر أول منصة رياضية في مجال DeSci في العالم، مما يفتح فصلًا جديدًا حيث تلتقي الرياضيات الرسمية، والحوسبة القابلة للتحقق، والبلوكشين. تم الإعلان عن الإطلاق في بيان مشترك وتم تضخيمه عبر القنوات الاجتماعية، مما يضع OpenMath كمساحة يمكن للباحثين و"المثبتين" من خلالها طرح والتعاون والتحقق من المشاكل الرياضية مع حلول مسجلة بشكل غير قابل للتغيير داخل السلسلة.

في جوهر OpenMath يوجد التحقق الرسمي: يتم فحص الإثباتات والحلول المقدمة إلى المنصة باستخدام تقنية مساعد الإثبات بحيث يمكن التحقق من صحتها ميكانيكيًا بدلاً من تركها للمراجعة غير الرسمية. تصف مواد شينتو النظام بأنه يدمج أدوات رسمية معروفة مثل Coq وLean في سير عمل أصلي على السلسلة، مما يسمح بالإشارة إلى النظريات وإثباتاتها التي تم التحقق منها آليًا والتحقق منها والحفاظ عليها على السجل.

منزل طبيعي للعلوم الموثوقة

تم نشر OpenMath على شينتو تشين، وهو طبقة أولى تركز على الأمان ويعود أصله إلى CertiK ومجتمع البحث في التحقق الرسمي. تم إعادة تسمية السلسلة نفسها باسم شينتو في عام 2021 بعد أن خرجت من CertiK، وتم تطويرها مع تركيز صريح على الحوسبة القابلة للتحقق وأدوات الأمان داخل السلسلة، مما يجعلها موطنًا طبيعيًا لتجربة DeSci مبنية حول الحقيقة الرياضية.

يقول مهندسو المنصة إن OpenMath تم تصميمه مع وضع التعاون وحماية الملكية الفكرية في الاعتبار: تحمي عملية التقديم ذات المرحلتين عمل المبرهنين مع السماح في الوقت نفسه للمجتمع العالمي بالمشاركة والتحقق والبناء على النتائج الموثوقة. من خلال تسجيل الأصول، ومراحل المراجعة والتحقق داخل السلسلة، تهدف OpenMath إلى إزالة الاختناقات التقليدية في المؤسسات، وضمان الائتمان العادل للمساهمين، وتسريع وتيرة اكتشاف المعرفة الرياضية الصارمة وإعادة استخدامها.

يأتي إطلاق OpenMath في وقت يكتسب فيه العلم اللامركزي، أو DeSci، زخماً كنهج لديمقراطية كيفية تمويل الأبحاث ونشرها والتحقق منها. يجادل المناصرون بأن الشبكات اللامركزية يمكن أن توسع الوصول، وتنوع آليات التمويل، وتجعل عمليات التحقق أكثر شفافية، وهي أهداف تعكسها OpenMath بشكل صريح من خلال الجمع بين الوصول المفتوح إلى النتائج الموثوقة مع تتبع داخل السلسلة.

أطر شينتو تشين وسيرتيك الإصدار باعتباره استمرارًا لمهمة مشتركة لتطبيق تقنية البلوكشين والتحقق الرسمي لتحقيق “أثر في العالم الحقيقي”، ويقولون إن هناك توسعات إضافية مخطط لها لتتيح للباحثين معالجة مشاكل متقدمة بشكل متزايد وتوسيع الحوافز ضمن نظام OpenMath البيئي. في الوقت الحالي، الموقع والمنصة متاحان، مما يدعو علماء الرياضيات وباحثي الأساليب الرسمية ومجتمع DeSci الأوسع لاستكشاف البيئة الجديدة حيث تصبح الحقيقة الرياضية سلعة عامة قابلة للتحقق والرجوع إليها.