جاستن صن يبني نظام مكافآت جديدًا للرياضيات.
تتجاوز الفكرة مجرد مكافأة الأشخاص الذين يحلون المسائل. بل تكافئ تحويل البراهين الرياضية إلى شيء يمكن للآلات التحقق منه.
هناك دورَان: يَصنع مُنشئو البراهين البرهان، بينما يقوم المُفَصِّلون بتحويله إلى صيغة يمكن للآلة التحقق منها. لا يتم فتح المكافأة إلا بعد أن يَنجح البرهان المُفَصَّل في التحقق الآلي.
ما يجعل هذه الفكرة مثيرة للاهتمام هو الفكرة الأوسع: الرياضيات + الذكاء الاصطناعي + التحقق الرسمي + البلوكشين.
بدلًا من الاكتفاء بالقول: «البشر أثبتوا ذلك»، تصبح الغاية: «يمكن للآلات التحقق منه».
@TRON DAO @justinsuntron
#TRONGlobalFriends #TFG
تتجاوز الفكرة مجرد مكافأة الأشخاص الذين يحلون المسائل. بل تكافئ تحويل البراهين الرياضية إلى شيء يمكن للآلات التحقق منه.
هناك دورَان: يَصنع مُنشئو البراهين البرهان، بينما يقوم المُفَصِّلون بتحويله إلى صيغة يمكن للآلة التحقق منها. لا يتم فتح المكافأة إلا بعد أن يَنجح البرهان المُفَصَّل في التحقق الآلي.
ما يجعل هذه الفكرة مثيرة للاهتمام هو الفكرة الأوسع: الرياضيات + الذكاء الاصطناعي + التحقق الرسمي + البلوكشين.
بدلًا من الاكتفاء بالقول: «البشر أثبتوا ذلك»، تصبح الغاية: «يمكن للآلات التحقق منه».
@TRON DAO @justinsuntron
#TRONGlobalFriends #TFG
