📢 🧠 إزاي تحوّل برهان رياضي لصيغة الكمبيوتر يقدر يتحقق من صحتها بنفسه؟
هنا بييجي دور Lean، الأداة اللي بتساعد الرياضيين يكتبوا البراهين بشكل رسمي، بحيث الكمبيوتر يراجع خطوات الاستدلال ويتأكد إنها صحيحة وفق قواعد منطقية محددة.
🏆 وده جزء من الفكرة اللي بتسلّط عليها جائزة #JustinSunPrize الضوء: مش بس توصل للحل، لكن كمان تحوّل البرهان لصيغة قابلة للتحقق الآلي.
💡 الخلاصة: الحل محتاج تفكير وإبداع، والتحقق الرسمي بيساعدنا نتأكد من صحة البرهان بدقة أكبر.
@TRON DAO @Justin Sun孙宇晨
#Tron #TGF #TRONGlobalFriends
هنا بييجي دور Lean، الأداة اللي بتساعد الرياضيين يكتبوا البراهين بشكل رسمي، بحيث الكمبيوتر يراجع خطوات الاستدلال ويتأكد إنها صحيحة وفق قواعد منطقية محددة.
🏆 وده جزء من الفكرة اللي بتسلّط عليها جائزة #JustinSunPrize الضوء: مش بس توصل للحل، لكن كمان تحوّل البرهان لصيغة قابلة للتحقق الآلي.
💡 الخلاصة: الحل محتاج تفكير وإبداع، والتحقق الرسمي بيساعدنا نتأكد من صحة البرهان بدقة أكبر.
@TRON DAO @Justin Sun孙宇晨
#Tron #TGF #TRONGlobalFriends