كشفت 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 الأوسع لاستكشاف البيئة الجديدة حيث تصبح الحقيقة الرياضية سلعة عامة قابلة للتحقق ويمكن الرجوع إليها.

سلسلة شينتو وسيرتيك توحدان البلوكشين والرياضيات في اختراق علمي لامركزي

بواسطة: Coinstats

2025/10/14 11:00

UNITE$0.0002839-3.76%

SPACE$0.1454+1.11%

HEART$0.004913-3.24%

WELL$0.0000782-34.83%

COQ$0.000000379+4.03%

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

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

موطن طبيعي للعلوم اللامركزية

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

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

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

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

إخلاء مسؤولية: المقالات المُعاد نشرها على هذا الموقع مستقاة من منصات عامة، وهي مُقدمة لأغراض إعلامية فقط. لا تُظهِر بالضرورة آراء MEXC. جميع الحقوق محفوظة لمؤلفيها الأصليين. إذا كنت تعتقد أن أي محتوى ينتهك حقوق جهات خارجية، يُرجى التواصل عبر البريد الإلكتروني service@support.mexc.com لإزالته. لا تقدم MEXC أي ضمانات بشأن دقة المحتوى أو اكتماله أو حداثته، وليست مسؤولة عن أي إجراءات تُتخذ بناءً على المعلومات المُقدمة. لا يُمثل المحتوى نصيحة مالية أو قانونية أو مهنية أخرى، ولا يُعتبر توصية أو تأييدًا من MEXC.

مشاركة الرؤى