فيتاليك يقدّم لغة جديدة لـ"إثبات قابلية القراءة" لمساعدة البشر على فهم البراهين الشكلية المولّدة بالذكاء الاصطناعي

ETH%1.49
في 21 يوليو من اليوم، اقترح مؤسس إيثريوم المشارك فيتاليك بوتيرين إنشاء لغة برمجة جديدة عالية المستوى تُترجم إلى أنظمة إثبات رسمية مثل Lean وHOL، بهدف تحسين قابلية قراءة التعريفات والنظريات بدلاً من تحسين عمليات الإثبات نفسها. ووفقاً لـPANews، قال بوتيرين إن اللغة تهدف إلى مساعدة البشر على فهم ما تُظهره رياضياً ومنطقياً عمليات الإثبات الصورية الشاملة واسعة النطاق التي ينتجها الذكاء الاصطناعي بشكل واضح، بما يمكّن القراء من تدقيق والتحقق بسهولة أكبر من الادعاءات المحددة التي يعرضها الذكاء الاصطناعي.
إخلاء المسؤولية: قد تكون المعلومات الواردة في هذه الصفحة مستمدة من مصادر خارجية وهي للمرجعية فقط. لا تمثل هذه المعلومات آراء أو وجهات نظر Gate ولا تشكل أي نصيحة مالية أو استثمارية أو قانونية. ينطوي تداول الأصول الافتراضية على مخاطر عالية. يرجى عدم الاعتماد حصرياً على المعلومات الواردة في هذه الصفحة عند اتخاذ القرارات. لمزيد من التفاصيل، يرجى الرجوع على إخلاء المسؤولية.
تعليق
0/400
لا توجد تعليقات