🧠✨ جائزة جاستن صن للأفكار ليست مجرد جائزة في الرياضيات.
أما فكرتها الأعمق فهي مكافأة المعرفة التي يمكن التحقق منها بشكلٍ رسمي والحفاظ عليها.
يقسم النموذج دورين:
① المُثبت (Prover) يحل المسألة.
② المُؤطِّر الصياغي (Formalizer) يحوّل البرهان إلى Lean للتحقق الآلي بواسطة الآلات.
يُذكر أن توزيع الجائزة هو 70% / 30%.
في عصر الذكاء الاصطناعي، هذا مهم. يمكن للذكاء الاصطناعي توليد الأفكار، لكن الأفكار ليست تلقائيًا نظريات مُثبتة.
تُنشئُ الصياغةُ الرسمية جسراً إلى معرفةٍ متينة وقابلة للتحقق من قِبل الآلات. 🔬🤖
@Justin Sun孙宇晨 @TRON DAO #TRONGlobalFriends #TGF #TRON
أما فكرتها الأعمق فهي مكافأة المعرفة التي يمكن التحقق منها بشكلٍ رسمي والحفاظ عليها.
يقسم النموذج دورين:
① المُثبت (Prover) يحل المسألة.
② المُؤطِّر الصياغي (Formalizer) يحوّل البرهان إلى Lean للتحقق الآلي بواسطة الآلات.
يُذكر أن توزيع الجائزة هو 70% / 30%.
في عصر الذكاء الاصطناعي، هذا مهم. يمكن للذكاء الاصطناعي توليد الأفكار، لكن الأفكار ليست تلقائيًا نظريات مُثبتة.
تُنشئُ الصياغةُ الرسمية جسراً إلى معرفةٍ متينة وقابلة للتحقق من قِبل الآلات. 🔬🤖
@Justin Sun孙宇晨 @TRON DAO #TRONGlobalFriends #TGF #TRON
