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