Gate News أخبار، في 17 مارس، أطلقت Mistral AI اليوم Leanstral، وهو أول وكيل مفتوح المصدر مصمم خصيصًا لأداة التحقق الرسمي Lean 4. يتميز النموذج بابتكار رئيسي يتمثل في قدرته على إنتاج إثباتات رسمية يمكن لـ Lean 4 التحقق منها تلقائيًا، مما يتجاوز عنق الزجاجة التقليدي في مراجعة الكود اليدوية عند توليد الكود بواسطة الذكاء الاصطناعي.
يعتمد Leanstral على بنية MoE نادرة، ويحتوي على 120 مليار معلمة إجمالية و6 مليارات معلمة نشطة، وهو مفتوح المصدر بموجب رخصة Apache 2.0، وتم تحسين تدريبه بشكل خاص لـ lean-lsp-mcp. يمكن للمستخدمين تشغيله بسهولة عبر الأمر /leanstall في Mistral Vibe بدون إعداد، أو استدعاؤه عبر نقطة API مجانية labs-leanstral-2603، كما يدعم التحميل المحلي للأوزان للنشر الذاتي.
أطلقت Mistral أيضًا معيار تقييم جديد باسم FLTEval، والذي يستخدم مشروع التحقق الرسمي لنظرية فيرما الكبرى في مجتمع Lean 4 كبيئة اختبار. تظهر نتائج الأداء أن Leanstral pass@2 يكلف 36 دولارًا ويحصل على درجة 26.3، متفوقًا على Claude Sonnet 4.6 الذي يكلف 549 دولارًا ويحقق 23.7 نقطة؛ وpass@16 يكلف 290 دولارًا ويحقق 31.9 نقطة، متفوقًا على Sonnet 8 بنقطة واحدة، بينما يحتاج Claude Opus 4.6 إلى 1,650 دولارًا لتحقيق 39.6 نقطة. في النماذج مفتوحة المصدر، يحتاج Qwen3.5-397B-A17B إلى 4 عمليات تشغيل لتحقيق 25.4 نقطة، وهو أدنى من أداء Leanstral pass@2.
إخلاء المسؤولية: قد تكون المعلومات الواردة في هذه الصفحة من مصادر خارجية ولا تمثل آراء أو مواقف Gate. المحتوى المعروض في هذه الصفحة هو لأغراض مرجعية فقط ولا يشكّل أي نصيحة مالية أو استثمارية أو قانونية. لا تضمن Gate دقة أو اكتمال المعلومات، ولا تتحمّل أي مسؤولية عن أي خسائر ناتجة عن استخدام هذه المعلومات. تنطوي الاستثمارات في الأصول الافتراضية على مخاطر عالية وتخضع لتقلبات سعرية كبيرة. قد تخسر كامل رأس المال المستثمر. يرجى فهم المخاطر ذات الصلة فهمًا كاملًا واتخاذ قرارات مدروسة بناءً على وضعك المالي وقدرتك على تحمّل المخاطر. للتفاصيل، يرجى الرجوع إلى
إخلاء المسؤولية.
مقالات ذات صلة
توقعات سعر ADA مع دخول كاردانو في صفقة مُرمّزة لأسهم LSE
أهم الرؤى
قامت كاردانو بترميز منتج إعادة التأمين الخاص بشركة Hannover Re وقامت بإدراجه في بورصة لندن، مما وسّع استخدام تقنية البلوك تشين في الأسواق المؤسسية الخاضعة للتنظيم.
يحافظ سعر ADA على نطاقه داخل وتد هابط حيث يظل الدعم عند $0.2400 قائمًا بينما تبقى المقاومة قرب $0.2550 و$0.2824 ل
CryptoNewsLandمنذ 1 س
يُثبت اختراق XRP مكاسبه مع تزايد الزخم في تصويت الإقراض على XRPL
يُظهر XRP قوة أسبوعية، ويتداول فوق المتوسطات المتحركة بعد الاختراق من وتد هابط؛ يتقدم XRPL بإصدارات الترقيات الخاصة بـ XLS-65/66 للإقراض عبر محافظ مجمّعة وقروض محددة الأجل؛ ترتفع المشتقات من حيث الحجم والفائدة المفتوحة ونشاط الخيارات.
ملخص: يلاحظ هذا التقرير استمرار الزخم الأسبوعي لـ XRP وقوة السعر فوق المتوسطات المتحركة الرئيسية بعد حدوث اختراق من وتد هابط. ويغطي تصويت مُصدّقي XRPL على XLS-65 وXLS-66، ما يمكّن الإقراض الأصلي ومحافظ سيولة مجمّعة وقروضًا محددة الأجل لتوسيع النشاط المالي على السلسلة. كما يذكر ارتفاع مشاركة المشتقات، مع ارتفاع حجم التداول والفائدة المفتوحة واندفاع في نشاط الخيارات، ما يشير إلى تزايد تموضع المتداولين لاستمرار الاختراق.
CryptoNewsLandمنذ 4 س
يستمر اختراق XRP في الثبات مع تزايد زخم تصويت الإقراض على XRPL
يُظهر XRP قوة أسبوعية، ويتداول فوق المتوسطات المتحركة بعد اختراقه من وتد هابط؛ وتتقدم XRPL ترقية الإقراض XLS-65/66 مع صناديق أمان مجمّعة وقروض محددة الأجل؛ وترتفع المشتقات من حيث الحجم والفائدة المفتوحة ونشاط الخيارات.
ملخص: يلاحظ هذا التقرير استمرار زخم XRP الأسبوعي ومؤشر قوة السعر فوق المتوسطات المتحركة الرئيسية بعد اختراقه من وتد هابط تنازلي. كما يغطي تصويت مُحققي XRPL على XLS-65 وXLS-66، ما يتيح الإقراض الأصلي وصناديق سيولة مجمّعة وقروضًا محددة الأجل لتوسيع النشاط المالي على السلسلة. ويُشير كذلك إلى ارتفاع مشاركة المشتقات، مع زيادة حجم التداول والفائدة المفتوحة وارتفاع ملحوظ في نشاط الخيارات، ما يشير إلى تزايد تموضع المتداولين لِاستمرار الاختراق.
CryptoNewsLandمنذ 4 س
مؤسس Aave ستاني: الفريق يتقدم بحلول متعددة، واستعاد $70M في ETH
رسالة أخبار Gate في 22 أبريل — قال مؤسس Aave ستاني إن الفريق يعمل بنشاط على إحراز تقدم في حل الأحداث خلال الأيام الأخيرة، مع التركيز الأساسي على حماية مصالح المستخدمين وضمان استعادة السوق بشكل منظم. ووفقًا لستاني، يعمل الفريق مع عدة شركاء لدفع عدة مسارات للحلول، كما إن مجلس الأمن في Arbitrum قد استعاد مليون في ETH، ما قد يقلل بشكل كبير التعرض للمخاطر المحتملة.
لا تزال هناك مناقشات ومقترحات متعددة قيد التقييم، أضاف ستاني. وأكد أهمية مراجعة الحادث واستخلاص الدروس، لكنه أشار إلى أن الأولوية الحالية تتمثل في معالجة النتائج الخاصة بمستخدمي Aave والبروتوكول نفسه، مع استمرار صدور تحديثات.
GateNewsمنذ 4 س
Input Output Global تطلب 62.1M ADA لترقيات Cardano وإطلاق شبكة Leios الرئيسي المستهدف قبل نهاية العام
رسالة بوابة الأخبار، 22 أبريل — قدمت شركة Input Output Global، الشركة الأساسية للتطوير وراء Cardano، تسع مقترحات إلى خزانة Cardano لعام 2026، طالبة تمويلاً أقل بنحو 50% من العام السابق. تطلب IOG 62.1 مليون ADA (حوالي 15.8 مليون دولار) من أجل
GateNewsمنذ 5 س
OpenSea تطلق تداول العقود الدائمة عبر الهاتف لمستخدمي النسخة التجريبية، وتبدأ مسابقة تداول لمدة 5 أيام
رسالة أخبار بوابة، 22 أبريل — قامت OpenSea بإتاحة ميزة تداول العقود الدائمة عبر الهاتف (Perps) لمجموعة مختارة من مستخدمي النسخة التجريبية، وستطلق مسابقة تداول لمدة خمسة أيام تبدأ في 23 أبريل الساعة 5 صباحًا بتوقيت UTC+8. المسابقة مقتصرة على مختبري النسخة التجريبية عبر الهاتف، حيث يحصل جميع المشاركين على رصيد محفظة مبدئي قدره $50.
GateNewsمنذ 5 س
