مدل هوش مصنوعی Prover-V2 دیپ‌سیک برای اثبات‌های ریاضی منتشر شد

چهارشنبه 10 اردیبهشت 1404 – 20:50مدل هوش مصنوعی Prover ارتقاء یافت؛ گام تازه DeepSeek در اثبات‌های ریاضی

تک‌کرانچ می‌نویسد نسخه جدید Prover دیپ‌سیک به‌همراه نسخه‌ای تقطیرشده عرضه شده و ظاهراً برپایه مدل V3 این شرکت توسعه یافته است. مدل تازه ۶۷۱ میلیارد پارامتر دارد و از معماری ترکیبی MoE (مخفف Mixture-of-Experts) بهره می‌برد. در این نوع معماری، وظایف پیچیده به بخش‌های کوچک‌تر تقسیم می‌شوند و هر بخش به یک مؤلفه متخصص و متمرکز سپرده می‌شود تا فرایند حل مسئله بهینه شود.

علاوه‌بر این، به گزارش خبرگزاری رویترز دیپ‌سیک در ماه فوریه در حال بررسی جذب سرمایه‌ خارجی برای نخستین بار بوده است. این شرکت اخیراً نسخه به‌روزشده‌ای از مدل عمومی V3 را نیز منتشر کرده است و انتظار می‌رود به‌زودی مدل R1 هم به‌روزرسانی شود که بر استدلال و توانایی‌های تحلیلی متمرکز است.

منبع  : تک ناک

برای مشاهده کامل مطب کلیک کنید

 

اشتراک‌گذاری

دیدگاهتان را بنویسید

نشانی ایمیل شما منتشر نخواهد شد. بخش‌های موردنیاز علامت‌گذاری شده‌اند *