Gate News 消息，4 月 24 日——DeepSeek V4 已发布来自形式化数学推理评测的结果，在 Putnam-2025 上取得满分 120/120，与 Axiom 并列第一。
在使用 LeanExplore 与受约束采样的实践模式中，V4-Flash-Max 在 Putnam-200 Pass@8 基准测试中得分 81.00，显著超过 Seed-2.0-Prover (35.50)、Gemini 3 Pro (26.50) 和 Seed-1.5-Prover (26.50)。前沿模式结果显示，V4 领先于 Seed-1.5-Prover (110/120) 和 Aristotle (100/120)。
V4 采用混合的形式化-非形式化推理方法：非形式化推理生成候选的自然语言解答，自我验证对结果进行筛选，而形式化智能体在 Lean 中完成严格证明。前沿模式结果使用了大规模计算扩展，而实践模式得分更能反映标准部署能力。
إخلاء المسؤولية: قد تكون المعلومات الواردة في هذه الصفحة من مصادر خارجية ولا تمثل آراء أو مواقف Gate. المحتوى المعروض في هذه الصفحة هو لأغراض مرجعية فقط ولا يشكّل أي نصيحة مالية أو استثمارية أو قانونية. لا تضمن Gate دقة أو اكتمال المعلومات، ولا تتحمّل أي مسؤولية عن أي خسائر ناتجة عن استخدام هذه المعلومات. تنطوي الاستثمارات في الأصول الافتراضية على مخاطر عالية وتخضع لتقلبات سعرية كبيرة. قد تخسر كامل رأس المال المستثمر. يرجى فهم المخاطر ذات الصلة فهمًا كاملًا واتخاذ قرارات مدروسة بناءً على وضعك المالي وقدرتك على تحمّل المخاطر. للتفاصيل، يرجى الرجوع إلى
إخلاء المسؤولية.
مقالات ذات صلة
Meta Platforms تخطط لخفض 10% من القوى العاملة في 20 مايو، مع التأثير على ما يقرب من 8,000 وظيفة
رسالة أخبار البوابة، 24 أبريل — تخطط Meta Platforms لتقليل قوتها العاملة بحوالي 10%، مع التأثير على نحو 8,000 وظيفة، في 20 مايو. تهدف عمليات التسريح إلى تحسين الكفاءة التشغيلية مع زيادة الاستثمار في الذكاء الاصطناعي.
تعكس عملية إعادة الهيكلة المخططة
GateNewsمنذ 42 د
أعلنت حكومة ترامب خطة لمكافحة إعادة تدوير الذكاء الاصطناعي، تتهم الشركات الصينية بالسرقة المنهجية لقدرات نماذج الذكاء الاصطناعي المرتبطة بالمنظومات
أدلى مساعد الرئيس لمكتب البيت الأبيض للسياسات في مجال التكنولوجيا (OSTP) مايكل جاي كراتزيوس (Michael J. Kratsios) ببيان رسمي في 23 أبريل، ذكر فيه أن حكومة ترامب لديها معلومات تُظهر أن جهات أجنبية (متمركزة أساسًا في الصين) تقوم عن قصد باستهداف شركات أمريكية كبرى في مجال الذكاء الاصطناعي، من خلال «عشرات الآلاف من حسابات الوكلاء» وأنظمة تقنيات تجاوز الحماية (jailbreak) لاستخراج قدرات نماذج الذكاء الاصطناعي الأمريكية بشكل منهجي، مع الإعلان في الوقت نفسه عن أربع تدابير لمواجهة ذلك.
MarketWhisperمنذ 1 س
أطلقت DeepSeek النسخة التجريبية المفتوحة المصدر V4، وحصلت على درجة تقنية 3206 متفوقة على GPT-5.4
DeepSeek 于 4 月 24 日正式推出 V4 预览版系列，以 MIT 许可协议开源，模型权重已同步上线 Hugging Face 及 ModelScope。根据 DeepSeek V4 技术报告，V4-Pro-Max（最高推理力度模式）在 Codeforces 基准取得 3206 分，超越 GPT-5.4。
MarketWhisperمنذ 1 س
寒武纪完成 DeepSeek-V4 的 Day 0 适配，成为中国 AI 芯片生态的里程碑
Gate News 消息，4 月 24 日——寒武纪今日宣布，已使用其专有 NeuWare 软件生态系统和 vLLM 框架，完成了 DeepSeek-V4（DeepSeek 最新的大语言模型）的 Day 0 适配。适配代码已同步开源，标志着
GateNewsمنذ 1 س
طرحت Tencent كمصدر مفتوح Hy3 في نسخة المعاينة، وقد تحسن أداء الاختبارات القياسية للشفرة بنسبة 40% مقارنة بالإصدار السابق
أطلقت شركة Tencent في 23 أبريل بشكل رسمي نموذجًا لغويًا كبيرًا من نوع Hy3 بإصدار المعاينة المفتوح المصدر على منصات GitHub وHugging Face وModelScope، كما توفر في الوقت نفسه خدمة واجهة برمجة تطبيقات مدفوعة عبر Tencent Cloud. ووفقًا لما ذكرته Decrypt في 24 أبريل، بدأ إصدار Hy3 بإصدار المعاينة التدريب من أواخر يناير، ولم يستغرق إطلاقه أكثر من ثلاثة أشهر بحلول تاريخ النشر.
MarketWhisperمنذ 1 س
استثمارات محفظة FTX بقيمة 158 تريليون وون إذا لم تكن قد أفلتست
FTX، منصة تداول العملات الرقمية المركزية التي قدمت طلبًا لحماية الإفلاس بموجب الفصل 11 في نوفمبر 2022 بسبب نقص السيولة وتدفقات رأس المال الخارجة، كانت ستحتفظ باستثمارات بقيمة تقارب 158.796 تريليون وون إذا لم تكن قد انهارت، وفقًا لتحليل مستشهد به من قِبل Park
CryptoFrontierمنذ 1 س
