شراء عملات رقمية
الدفع بواسطة
USD
USD
الشراء والبيع
Hot
يدعم Visa ،Mastercard ،SEPA والمزيد
P2P
0 Fees
تداول مرن بدون أي رسوم
بطاقة Gate
استخدم عملاتك الرقمية لإجراء المدفوعات حول العالم
الأسواق
التداول
أساسي
متقدم
العقود الآجلة
العقود الآجلة
وصول إلى مئات العقود الدائمة
CFD
الذهب
منصّة واحدة للأصول التقليدية العالمية
الخیارات المتاحة
Hot
تداول خيارات الفانيلا على الطريقة الأوروبية
الحساب الموحد
زيادة كفاءة رأس المال إلى أقصى حد
التداول التجريبي
مقدمة حول تداول العقود الآجلة
استعد لتداول العقود الآجلة
أحداث مستقبلية
"انضم إلى الفعاليات لكسب المكافآت "
التداول التجريبي
استخدم الأموال الافتراضية لتجربة التداول بدون مخاطر
Stocks
CFD
مشتقات CFD للأسهم الأمريكية
الأسهم الأمريكية
وصول إلى الأسهم الأمريكية وصناديق ETF الحقيقية
أسهم هونغ كونغ
تداول أسهم عالية الجودة مدرجة في هونغ كونغ
الأسهم الكورية
SK Hynix
تداول الأسهم الكورية الحقيقية واستثمر في الأصول الشائعة
العقود الآجلة للأسهم
رافع مالية عالية، وتداول على مدار 24/7
الأسهم المُرمَّزة
مدعومة بأصول أسهم حقيقية
IPO Access
افتح الوصول الكامل إلى الاكتتابات العامة للأسهم العالمية
GUSD
سك GUSD للحصول على عوائد أصول العالم الحقيقي (RWA) للخزانة
أنشطة الأسهم
تداول الأسهم الرائجة واحصل على إنزالات جوية سخية
اكسب
إطلاق
CandyDrop
اجمع الحلوى لتحصل على توزيعات مجانية.
منصة الإطلاق
-التخزين السريع، واربح رموزًا مميزة جديدة محتملة!
HODLer Airdrop
احتفظ بـ GT واحصل على توزيعات مجانية ضخمة مجانًا
IPO Access
افتح الوصول الكامل إلى الاكتتابات العامة للأسهم العالمية
نقاط Alpha
تداول الأصول على السلسلة واكسب التوزيعات المجانية
نقاط العقود الآجلة
اكسب نقاط العقود الآجلة وطالب بمكافآت التوزيع المجاني
الاستثمار
سكوير
سكوير
اكتشف القيمة في العملات الرقمية
Live
moments live
تحليل آني لسوق العملات الرقمية
دردشة
الدردشة مع متداولي العملات الرقمية
أخبار
آخر أخبار العملات الرقمية
flower_head
المزيد
عروض ترويجية
AI
أخرى
TradFi
2026 World Cup
مكافآت
سكوير
الأحدث
رائج
أخبار
نظرة عامة على المركز الشخصي

بدأت تكاليف إثبات النظريات في الارتفاع: ميسترال تطلق ليانسترال 1.5 مفتوح المصدر، حوالي $4 لكل مسألة

AirdropBlackHole
وفقًا لمراقبة من Dongcha Beating، أصدرت Mistral AI نموذج Leanstral 1.5، وهو نموذج مصمم للإثباتات الرسمية في Lean 4. يحتوي النموذج على إجمالي 119 مليار معلمة، مع حوالي 6.5 مليار معلمة نشطة، وهو مرخص بموجب بروتوكول Apache-2.0، مع تقديم وصول مجاني لواجهة API. تظهر التقييمات الرسمية أن Leanstral 1.5 حل 587 من أصل 672 مشكلة في PutnamBench؛ وحقق 87% و34% في معايير الجبر المجرد FATE-H وFATE-X على التوالي، محققًا أرقامًا قياسية جديدة في الأداء بين النماذج المماثلة. متوسط التكلفة لكل مشكلة لـ Leanstral 1.5 في PutnamBench حوالي 4 دولارات، وهو أقل بكثير من تكاليف العديد من الأنظمة السابقة التي تراوحت من عشرات إلى مئات الدولارات. مع زيادة ميزانية الرموز لكل مشكلة، يستمر عدد المشكلات التي يمكنه حلها في الارتفاع؛ في إثبات تعقيد أشجار AVL، أكمل النموذج الإثبات ذي الصلة بعد التفكير في أكثر من 2.7 مليون رمز و22 ضغط سياق. بالإضافة إلى الإثباتات الرياضية، تم استخدام Leanstral 1.5 أيضًا للتحقق من الكود. اكتشف الفريق 11 خطأ حقيقيًا في 57 مستودع Rust مفتوح المصدر، خمسة منها لم يتم الإبلاغ عنها سابقًا.
شاهد النسخة الأصلية
قد تحتوي هذه الصفحة على محتوى من جهات خارجية، يتم تقديمه لأغراض إعلامية فقط (وليس كإقرارات/ضمانات)، ولا ينبغي اعتباره موافقة على آرائه من قبل Gate، ولا بمثابة نصيحة مالية أو مهنية. انظر إلى إخلاء المسؤولية للحصول على التفاصيل.
  • أعجبني
  • تعليق
  • إعادة النشر
  • مشاركة
تعليق
إضافة تعليق
إضافة تعليق
لا توجد تعليقات

  • مُثبت

خريطة الموقع