هوش مصنوعی دیپ سیک، مدال طلای المپیاد ریاضی را برد
این مدل تازه ریاضیِ هوش مصنوعی موجی از بحث به‌پا کرده زیرا می‌گوید به رکوردهایی رسیده که اگر تأیید شوند می‌تواند معنای پیشرفت در استدلال هوش مصنوعی را تغییر دهد.
به گزارش گروه علم و پیشرفت خبرگزاری فارس به نقل از تک این آسیا، شرکت چینی دیپ‌سیک مدل تازه‌ای به نام «دیپ‌سیک‌مث-وی۲» منتشر کرده که روی استدلال و حل مسائل ریاضی کار می‌کند. این مدل متن‌باز است و روی پلتفرم‌هایی مثل هاگینگ‌فِیس و گیت‌هاب در دسترس قرار گرفته. سازوکار کار مدل این است که یک مدل راه‌حل و برهان تولید می‌کند و یک مدل دیگر همان تحلیل را بررسی و تأیید می‌کند تا اشتباهات منطقی کاهش یابد.این مدل در آزمون‌های المپیادهای ریاضی سال‌های مختلف مثل آی‌اِم‌او و اُلمپیاد چینی عملکردی در حد نتایج برتر داشته و در آزمون «پاتنام» نمره ١١٨ از ١٢٠ گرفته که بالاتر از بهترین نمره انسانی بوده است. همچنین در بنچمارک «آی‌اِم‌او پروف‌بِنچ» بهتر از مدل شرکت دیپ‌مایند عمل کرده. با این حال متخصصان می‌گویند لازم است این نتایج به‌طور مستقل تکرار و راستی‌آزمایی شود، چون احتمال آلودگی داده‌ای یا وجود سؤالات آزمون در داده‌های آموزشی وجود دارد.این مدل بسیار بزرگ است و حدود ٦٨٥ میلیارد پارامتر دارد و اجرای آن به ظرفیت بالای پردازشی نیاز دارد. همین موضوع باعث شده شرکت‌های ابری به فکر ارائه سرویس‌های دوتایی بر پایه دو مدل باشند؛ یکی برای تولید پاسخ و دیگری برای بررسی آن. این معماری می‌تواند در کاربردهای مالی یا داروسازی که نیازمند استدلال مرحله‌به‌مرحله و قابل تأیید هستند، به شکل یک ابزار قابل اتکا استفاده شود.به‌دلیل انتشار مدل تحت لایسنس اپاچی، استفاده تجاری از آن ممکن است و شرکت‌های فعال در ام‌اِل‌اُپس می‌توانند خدمات اختصاصی بر پایه این مدل ارائه دهند. با بهینه‌سازی‌های مخصوص پردازنده‌های گرافیکی و روش‌هایی مثل کم‌دقت‌سازی وزن‌ها، ارائه این مدل در مقیاس تجاری آسان‌تر می‌شود. در نهایت، هدف اصلی این مدل ایجاد پاسخی است که هم درست باشد و هم از نظر منطقی قابل پیگیری و تأیید، مسئله‌ای که مدت‌ها چالش اصلی مدل‌های زبانی در ریاضی بوده است.
