أخبار ME، في 21 يوليو (UTC+8)، نشر فيتاليك منشورًا على منصة X يشير إلى أن نوعًا جديدًا من "لغات البرمجة المتقدمة" يستحق التجربة هو اللغة التي تُترجم إلى Lean (أو HOL إلخ)، مع التركيز على جعل تعريفات ونظريات الإنسان أسهل قدر الإمكان في القراءة. وليس البراهين، لأن البراهين ما دامت صحيحة فهي كافية، والتركيز الحقيقي هو على التعريفات والنظريات نفسها. والغرض المتخيل هو أن يُخرج الذكاء الاصطناعي مجموعة كبيرة من البراهين، ويحتاج القارئ إلى فهم بسهولة قدر الإمكان ما هي المطالبات الدقيقة التي تم إثباتها فعليًا في هذه المخرجات. (المصدر: ChainCatcher)
فيتاليك يقترح لغة برمجة جديدة لتسهيل قراءة التعريفات والنظريات
KuCoinFlashمشاركة
ملخص
اقترح فيتاليك بوتيرين لغة برمجة عالية المستوى جديدة في 21 يوليو، مصممة للترجمة إلى Lean أو HOL وتحسين وضوح التعريفات والنظريات. ستعتمد اللغة على الذكاء الاصطناعي للتعامل مع الإثباتات المرتبطة بإثبات العمل (PoW) وإثبات الحصة (PoS)، مما يسمح للمستخدمين بالتركيز على وضوح العبارات. الهدف هو جعل المطالبات المعقدة أكثر سهولة، خاصة مع توليد الذكاء الاصطناعي لإثباتات أطول بشكل متزايد.
المصدر:عرض النسخة الأصلية
إخلاء المسؤولية: قد تكون المعلومات الواردة في هذه الصفحة قد حصلت عليها من أطراف ثالثة ولا تعكس بالضرورة وجهات نظر أو آراء KuCoin. يُقدّم هذا المحتوى لأغراض إعلامية عامة فقط ، دون أي تمثيل أو ضمان من أي نوع ، ولا يجوز تفسيره على أنه مشورة مالية أو استثمارية. لن تكون KuCoin مسؤولة عن أي أخطاء أو سهو ، أو عن أي نتائج ناتجة عن استخدام هذه المعلومات.
يمكن أن تكون الاستثمارات في الأصول الرقمية محفوفة بالمخاطر. يرجى تقييم مخاطر المنتج بعناية وتحملك للمخاطر بناء على ظروفك المالية الخاصة. لمزيد من المعلومات، يرجى الرجوع إلى شروط الاستخدام واخلاء المسؤولية.