العقود الآجلة
وصول إلى مئات العقود الدائمة
CFD
الذهب
منصّة واحدة للأصول التقليدية العالمية
الخیارات المتاحة
Hot
تداول خيارات الفانيلا على الطريقة الأوروبية
الحساب الموحد
زيادة كفاءة رأس المال إلى أقصى حد
التداول التجريبي
مقدمة حول تداول العقود الآجلة
استعد لتداول العقود الآجلة
أحداث مستقبلية
"انضم إلى الفعاليات لكسب المكافآت "
التداول التجريبي
استخدم الأموال الافتراضية لتجربة التداول بدون مخاطر
CFD
مشتقات CFD للأسهم الأمريكية
الأسهم الأمريكية
وصول إلى الأسهم الأمريكية وصناديق ETF الحقيقية
أسهم هونغ كونغ
تداول أسهم عالية الجودة مدرجة في هونغ كونغ
الأسهم الكورية
SK Hynix
تداول الأسهم الكورية الحقيقية واستثمر في الأصول الشائعة
العقود الآجلة للأسهم
رافع مالية عالية، وتداول على مدار 24/7
الأسهم المُرمَّزة
مدعومة بأصول أسهم حقيقية
IPO Access
افتح الوصول الكامل إلى الاكتتابات العامة للأسهم العالمية
GUSD
سك GUSD للحصول على عوائد أصول العالم الحقيقي (RWA) للخزانة
أنشطة الأسهم
تداول الأسهم الرائجة واحصل على إنزالات جوية سخية
إطلاق
CandyDrop
اجمع الحلوى لتحصل على توزيعات مجانية.
منصة الإطلاق
-التخزين السريع، واربح رموزًا مميزة جديدة محتملة!
HODLer Airdrop
احتفظ بـ GT واحصل على توزيعات مجانية ضخمة مجانًا
IPO Access
افتح الوصول الكامل إلى الاكتتابات العامة للأسهم العالمية
نقاط Alpha
تداول الأصول على السلسلة واكسب التوزيعات المجانية
نقاط العقود الآجلة
اكسب نقاط العقود الآجلة وطالب بمكافآت التوزيع المجاني
عروض ترويجية
AI
Gate AI
شريكك الذكي الشامل في الذكاء الاصطناعي
Gate AI Bot
استخدم Gate AI مباشرة في تطبيقك الاجتماعي
GateClaw
Gate الأزرق، جاهز للاستخدام
Gate for AI Agent
البنية التحتية للذكاء الاصطناعي، Gate MCP، Skills و CLI
Gate Skills Hub
أكثر من 10 آلاف مهارة
من المكتب إلى التداول، مكتبة المهارات الشاملة تجعل الذكاء الاصطناعي أكثر فعالية
إثبات النظريات بدأ أيضًا في المنافسة على التكلفة: ميسترال تفتح مصدر ليانسترال 1.5، حوالي 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، منها 5 لم يتم الإبلاغ عنها سابقًا.