رونمایی DeepSeek از Math-V2؛ هوش مصنوعی چینی‌ها برای گشودن رمز و راز جهان هستی

به نظر می‌آید چینی‌ها به دنبال تحقق اهداف جاه‌طلبانه خود بوده و پس از معرفی مدل هوش مصنوعی جنجالی DeepSeek، اکنون از یک مدل ریاضی با نام Math-V2 رونمایی کرده‌اند. هدف از معرفی این مدل AI، گشودن رمز و راز جهان هستی عنوان شده است. جزئیات بیشتر را در شهر سخت افزار بخوانید.

شرکت چینی DeepSeek که اوایل سال 2025 با عرضه مدل هوش مصنوعی‌اش خبرساز شده بود، اکنون نسخه تازه‌ای از مدل ریاضی خود با نام Math-V2 رونمایی کرده است. هدف این مدل حل مسائل پیچیده ریاضی است.

تمرکز اصلی DeepSeekMath-V2 بر اثبات‌ قضایا قرار دارد و تلاش می‌کند وابستگی صرف به پاسخ نهایی عددی را کنار بگذارد. DeepSeek اعلام کرده که در این نسخه از یک چرخه تولید و اعتبارسنجی استفاده شده است.

برای این منظور یک مدل اعتبارسنج مبتنی بر مدل زبانی بزرگ آموزش داده شده تا توانایی لازم برای بررسی صحت اثبات‌های ریاضی را داشته باشد. سپس یک مولد اثبات با تکیه بر همین اعتبارسنج و به عنوان مدل پاداش تربیت شده است.

بر اساس گزارش neowin این مولد اثبات به شناسایی و رفع خطاهای موجود در اثبات‌های خود تشویق می‌شود و سیستم مقیاس‌بندی اعتبارسنجی نیز به صورت خودکار اثبات‌های سخت و دشوار را برچسب‌گذاری می‌کند تا داده‌های تازه برای بهبود مداوم رفتار اعتبارسنج فراهم شود.

دستاوردهای DeepSeekMath-V2 چشمگیر بوده است. این مدل در رقابت‌های ریاضی اخیر عملکردی بسیار قوی داشته و موفق به کسب بالاترین امتیاز در IMO 2025 و CMO 2024 شده است. همچنین در آزمون Putnam 2024 توانسته به امتیاز 118 از 120 با استفاده از محاسبات مقیاس‌پذیر در زمان اجرا برسد.

این مدل بر پایه DeepSeek-V3.2-Exp-Base توسعه یافته و اکنون در دسترس قرار دارد. انتشار DeepSeekMath-V2 می‌تواند مسیر تازه‌ای برای درک بهتر ریاضیات ایجاد کند و در نهایت به پیشرفت‌های علمی مهم در حوزه‌هایی مانند سلامت و فناوری منجر شود.

در انتها باید گفت که حرکت شرکت‌های فعال در حوزه هوش مصنوعی توقف ناپذیر بوده و تلاش برای افزایش توانایی مدل‌ها در فهم و استدلال ریاضی ادامه خواهد داشت. البته فعلاً نباید انتظار داشت که این مدل‌ها به سرعت مسائل هزاره را حل کنند اما بدون شک حرکت به این سمت اهمیت زیادی دارد.

اطلاعات بیشتر و فایل مدل از طریق صفحه اختصاصی این پروژه در گیت‌هاب و همچنین HuggingFace قابل دریافت است.