آزمایشگاه هوش مصنوعی چینی دیپ‌سیک (DeepSeek) به‌طور غیررسمی جدیدترین نسخه مدل هوش مصنوعی خود به نام پروور (Prover) را که برای حل اثبات‌ها و قضایای ریاضی طراحی شده است، به‌روزرسانی کرده است. به گزارش South China Morning Post، دیپ‌سیک نسخه جدید پروور، نسخه ۲، و یک نوع فشرده‌شده از آن را به پلتفرم توسعه هوش مصنوعی هَگینگ فیس (Hugging Face) در اواخر روز چهارشنبه بارگذاری کرده است. این نسخه بر پایه مدل V3 استارتاپ دیپ‌سیک ساخته شده است که شامل ۶۷۱ میلیارد پارامتر می‌باشد و از معماری ترکیب متخصصان (Mixture of Experts) استفاده می‌کند. پارامترها به‌طور تقریبی مهارت‌های حل مسئله یک مدل را نشان می‌دهند، در حالی که معماری MoE وظایف را به زیر وظایف تقسیم کرده و به اجزای کوچک و تخصصی‌تر اجازه می‌دهد تا آن‌ها را انجام دهند.
دیپ‌سیک آخرین بار در ماه اوت پروور را به‌روزرسانی کرده بود و آن را به عنوان یک مدل هوش مصنوعی مناسب برای اثبات‌های فرمال و استدلال ریاضی توصیف کرده بود. در ماه فوریه، رویترز گزارش داد که این شرکت به بررسی تأمین مالی خارجی برای اولین بار پرداخته است. دیپ‌سیک اخیراً نسخه به‌روز شده‌ای از V3، که یک مدل عمومی است، منتشر کرده و انتظار می‌رود به زودی مدل R1 تحت عنوان «استدلال» خود را نیز به‌روزرسانی کند.