ديبسيك تطلق نموذج إثبات نظريات متقدم مع معيار تقييم جديد
أطلقت شركة DeepSeek نموذج DeepSeek-Prover-V2 المتخصص في إثبات النظريات الرياضية الشكلية في بيئة Lean 4، مع معيار تقييم جديد يسمى ProverBench يضم 325 …
Live Feed
AI-Powered
De Hartslag van AI
Een slim nieuwsplatform dat nieuws van AI-bedrijven automatisch extraheert, samenvat en publiceert
Latest News
Een slim nieuwsplatform dat nieuws van AI-bedrijven automatisch extraheert, samenvat en publiceert
All
Generative AI
AI Research
AI Chips
AI Policy
AI Regulation
Autonomous Driving
AI Healthcare
AI Robotics
AI Applications
AI Industry
AI Security
AI Ethics
OpenAI
Anthropic
Google AI
Models
Research
Industry
General
Ethics
Tools
Business
Oddities
Muthabrah
فريق كوايشو يحقق أداء متقدمًا بـ 10 مرات أقل من خطوات التدريب
طور فريق كوايشو إطار عمل جديد للتعلم الآلي يُدعى SRPO يحقق أداءً مماثلاً لنموذج DeepSeek-R1 بنصف خطوات التدريب. النموذج الجديد يجمع بين قدرات الاستدل…
ديب سيك تكشف تقنية جديدة لتحسين نماذج المكافآت وتلمح لنموذج R2
نشرت شركة ديب سيك بحثًا يقدم تقنية جديدة تُحسّن قابلية توسّع نماذج المكافآت العامة أثناء الاستدلال، وتلمح الشركة إلى قرب إطلاق نموذجها الجيلي التالي …
147 articles