DeepSeek مدل هوش مصنوعی ریاضی Prover خود را ارتقا داد

آزمایشگاه هوش مصنوعی چینی DeepSeek مدل هوش مصنوعی خود به نام Prover را که برای حل اثبات‌ها و قضایای ریاضی طراحی شده است، به‌روزرسانی کرده است.

بر اساس گزارش South China Morning Post، DeepSeek جدیدترین نسخه Prover، یعنی V2 را در اواخر روز چهارشنبه در پلتفرم توسعه‌دهندگان هوش مصنوعی Hugging Face بارگذاری کرد.

به نظر می‌رسد این نسخه بر پایه مدل V3 این استارتاپ ساخته شده است. مدل V3 دارای ۶۷۱ میلیارد پارامتر است و از معماری ترکیب متخصصان (mixture-of-experts - MoE) استفاده می‌کند. پارامترها تقریباً با مهارت‌های حل مسئله یک مدل مطابقت دارند، در حالی که MoE وظایف را به زیروظایف تقسیم کرده و آن‌ها را به اجزای «متخصص» کوچک‌تر و تخصصی‌تر واگذار می‌کند.

DeepSeek آخرین بار Prover را در ماه اوت به‌روزرسانی کرده بود و در آن زمان آن را یک مدل سفارشی برای اثبات قضایای رسمی و استدلال ریاضی توصیف کرده بود.

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