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 دقة أو اكتمال المعلومات، ولا تتحمّل أي مسؤولية عن أي خسائر ناتجة عن استخدام هذه المعلومات. تنطوي الاستثمارات في الأصول الافتراضية على مخاطر عالية وتخضع لتقلبات سعرية كبيرة. قد تخسر كامل رأس المال المستثمر. يرجى فهم المخاطر ذات الصلة فهمًا كاملًا واتخاذ قرارات مدروسة بناءً على وضعك المالي وقدرتك على تحمّل المخاطر. للتفاصيل، يرجى الرجوع إلى
إخلاء المسؤولية.
مقالات ذات صلة
شركات صينية للذكاء الاصطناعي تدرس تفكيك هياكل «الأسهم الحمراء» بعد توقف استحواذ «ميتا» على Manus
أشارت Beating إلى أن لجنة التنمية والإصلاح الوطنية في الصين أوقفت استحواذ Meta البالغ 2 مليار دولار على شركة Manus المتخصصة في وكلاء الذكاء الاصطناعي، ما دفع لجنة تنظيم الأوراق المالية في الصين إلى تشديد الموافقات على إدراجات الاكتتابات العامة في هونغ كونغ للشركات ذات الرسوم الحمراء (الشركات الصينية التي تمتلك أصولاً محلية) (صين) th
GateNewsمنذ 1 س
مُسك ينجز شهادة مدتها ثلاثة أيام في دعوى OpenAI، ويستشهد بمطالبة تعويضات بقيمة 130-150 مليار دولار
ووفقاً لعدة تقارير إعلامية، أكمل إيلون ماسك ثلاثة أيام من الإدلاء بالشهادة في دعواه ضد OpenAI خلال الفترة من 28 إلى 30 أبريل، إذ تجاوز مجموع مدة شهادته أكثر من 7 ساعات. وادعى ماسك، الذي شارك في تأسيس OpenAI في 2015 باستثمار أولي قدره 38 مليون دولار، أن الشركة تخلّت عن كيانها غير الربحي m
GateNewsمنذ 1 س
استحوذت Meta على شركة ناشئة للذكاء الاصطناعي في مجال الروبوتات، Assured Robot Intelligence، في 1 مايو
بحسب بلومبرغ، استحوذت شركة Meta على شركة Assured Robot Intelligence، وهي شركة ناشئة في مجال الروبوتات والذكاء الاصطناعي، والتي لديها مكاتب في سان دييغو ونيويورك، وذلك في 1 مايو. وسيضم الفريق المستحوذ عليه، بما في ذلك المؤسسون المشاركون Lerrel Pinto وXiaolong Wang، إلى Meta Superintelligence Labs والعمل مع Meta Robotics Studio. المالية
GateNewsمنذ 1 س
منظمة مرتبطة بـ OpenAI تدفع للمؤثرين 5,000 دولار لكل منشور على TikTok لنشر رسالة «تهديد الصين بالذكاء الاصطناعي»
وبحسب WIRED، قامت منظمة غير ربحية باسم Build American AI، مرتبطة بـ super PAC Leading the Future، بتجنيد مؤثرين على وسائل التواصل الاجتماعي بشكل منهجي عبر شركة التسويق SM4 لنشر رسالة "الصين تهدد الذكاء الاصطناعي الأمريكي" على TikTok وInstagram. ويذكر أن المنظمة
GateNewsمنذ 1 س
تشتري Nebius شركة Eigen AI مقابل $643M لتعزيز نشر نماذج الذكاء الاصطناعي
بحسب The Economic Times، في 1 مايو، أعلنت شركة Nebius، وهي شركة للبنية التحتية للذكاء الاصطناعي مقرها أمستردام، أنها ستستحوذ على Eigen AI مقابل ما يقارب 643 مليون دولار نقداً وأسهم الفئة A. تأسست Eigen AI على يد باحثين سابقين في معهد ماساتشوستس للتكنولوجيا MIT، وتختص في تقنيات الاستدلال والتحسين. تخطط Nebius ل
GateNewsمنذ 1 س
الـبنتاغون يوقّع صفقات للذكاء الاصطناعي مع 8 شركات، ويستثني أنثروبيك من الوصول إلى شبكة المستوى السري
وفقاً لـ Beating News، أعلنت وزارة الدفاع الأمريكية (البنتاغون) التوصل إلى اتفاقات مع ثماني شركات تكنولوجيا لنشر أدوات الذكاء الاصطناعي والبنية التحتية الخاصة بها على شبكات المستوى السري للغاية (IL6) والمستوى الأعلى سرية (IL7) التابعة للجيش الأمريكي. وتشمل الشركات التي تم التوقيع معها حديثاً كل من Nvidia وMicrosoft وAWS وReflection AI، إلى جانب شركات سبق
GateNewsمنذ 1 س
