2026-07-21 15:28:02
فيتاليك يقدّم لغة جديدة لـ"إثبات قابلية القراءة" لمساعدة البشر على فهم البراهين الشكلية المولّدة بالذكاء الاصطناعي
في 21 يوليو من اليوم، اقترح مؤسس إيثريوم المشارك فيتاليك بوتيرين إنشاء لغة برمجة جديدة عالية المستوى تُترجم إلى أنظمة إثبات رسمية مثل Lean وHOL، بهدف تحسين قابلية قراءة التعريفات والنظريات بدلاً من تحسين عمليات الإثبات نفسها. ووفقاً لـPANews، قال بوتيرين إن اللغة تهدف إلى مساعدة البشر على فهم ما تُظهره رياضياً ومنطقياً عمليات الإثبات الصورية الشاملة واسعة النطاق التي ينتجها الذكاء الاصطناعي بشكل واضح، بما يمكّن القراء من تدقيق والتحقق بسهولة أكبر من الادعاءات المحددة التي يعرضها الذكاء الاصطناعي