بروزرسانی مدل هوش مصنوعی Prover توسط آزمایشگاه DeepSeek

آزمایشگاه هوش مصنوعی چینی DeepSeek که در زمینه توسعه مدل‌های پیشرفته فعالیت می‌کند، نسخه جدید مدل Prover را بروزرسانی کرده است.
این مدل با 671 میلیارد پارامتر و معماری ترکیبی متخصصان طراحی شده که توانایی حل اثبات‌ها و قضایای ریاضی را دارد. پارامترها نشان‌دهنده مهارت‌های مدل در حل مسائل هستند و معماری ترکیبی متخصصان امکان تقسیم وظایف پیچیده به زیرمجموعه‌های تخصصی را فراهم می‌کند.
DeepSeek آخرین بار در ماه اوت مدل Prover را بروزرسانی کرده بود و آن را یک مدل اختصاصی برای اثبات قضایای ریاضی معرفی کرده بود. این شرکت همچنین در حال بررسی جذب سرمایه خارجی برای اولین بار است و انتظار می‌رود به زودی مدل R1 خود را نیز بروزرسانی کند. /