شنتو تشين تتعاون مع سيرتيك لإطلاق أول منصة DeSci رياضية في العالم OpenMath

【链文】13 أكتوبر، أعلن شينتو تشين اليوم عن الإطلاق الرسمي لأول منصة DeSci تركز على مجال الرياضيات، OpenMath. تم تطوير هذه المنصة بالتعاون الاستراتيجي بين شينتو تشين وأكبر شركة Web3 للأمن في العالم، CertiK، الرائدة في مجال التحليل الرسمي.

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

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