دیپ‌سیک (DeepSeek) ابزار هوش مصنوعی را رونمایی کرد که قادر به کسب مدال طلا در مسابقات بین‌المللی ریاضی است.

(دن تری) - شرکت هوش مصنوعی چینی DeepSeek با راه‌اندازی یک مدل هوش مصنوعی متخصص در حل مسائل ریاضی با قابلیت کسب مدال طلا در مسابقات بین‌المللی ریاضی، دنیای فناوری را شگفت‌زده کرد.

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

DeepSeek هنگام ایجاد یک مدل هوش مصنوعی که قادر به حل مسائل در سطح امتحانات بین‌المللی است، تحت تأثیر قرار گرفت (تصویر: هوش مصنوعی).

در ارزیابی‌ها، DeepSeekMath-V2 در حل مسائل المپیاد بین‌المللی ریاضی (IMO) 2025 و المپیاد ریاضی چین (CMO) 2024، نمراتی در سطح مدال طلا کسب کرد.

هنگام شرکت در آزمون IMO-ProofBench برای ارزیابی قابلیت‌های تفسیر ریاضی و استدلال مدل‌های هوش مصنوعی، DeepSeekMath-V2 از DeepSeek در مقایسه با سایر مدل‌های هوش مصنوعی مانند DeepMind گوگل، Grok از xAI یا GPT-5 از OpenAI نمرات فوق‌العاده‌ای کسب کرد...

نکته قابل توجه این است که مدل هوش مصنوعی DeepSeek همچنین در حل مسابقه ریاضی پاتنم در سال 2024 امتیاز 118 از 120 را کسب کرد، در حالی که بالاترین رتبه در این مسابقه تنها 90 امتیاز کسب کرد. مسابقه پاتنم به عنوان دشوارترین و معتبرترین مسابقه ریاضی جهان برای دانشجویان دانشگاه در نظر گرفته می‌شود که هر ساله در ماه دسامبر برگزار می‌شود.

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

دیپ‌سیک می‌گوید برای کمک به مدل هوش مصنوعی خود در ارائه پاسخ‌های دقیق و استدلال‌های قوی، دو مدل زبانی بزرگ ساخته و آنها را در مقابل یکدیگر قرار داده است. یکی از مدل‌ها به عنوان «اثبات‌کننده» برای تولید استدلال‌ها و اثبات‌های ریاضی عمل می‌کند، در حالی که مدل دیگر به عنوان «قاضی» برای بررسی استدلال‌های ارائه شده عمل می‌کند.

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

DeepSeekMath-V2 به صورت متن‌باز توسعه داده شده است و به جامعه اجازه می‌دهد تا کد منبع را تغییر داده و از آن برای اهداف مختلف استفاده کنند.

دیپ‌سیک می‌گوید پیشرفت‌های حاصل‌شده با DeepSeekMath-V2، پایه و اساس ساخت سیستم‌های هوش مصنوعی ریاضی قدرتمندتر و قابل اعتمادتر را بنا خواهد کرد.

دیپ‌سیک (DeepSeek) یک شرکت فناوری چینی است که با عرضه مدل هوش مصنوعی آر۱ (AI R1) در پایان ژانویه، با ارائه سرعت پاسخ سریع و دقیق، در سطح جهانی سر و صدا به پا کرد.

نکته برجسته R1 این است که DeepSeek تنها حدود ۶.۵ میلیون دلار برای توسعه و آموزش این مدل هوش مصنوعی هزینه کرده است، به جای اینکه مانند شرکت‌های فناوری آمریکایی میلیاردها دلار برای آموزش و راه‌اندازی مدل‌های هوش مصنوعی خود هزینه کند.

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

ظهور DeepSeek باعث شده است که ایالات متحده انحصار خود را در رقابت برای توسعه مدل‌های هوش مصنوعی از دست بدهد و در عین حال رقابت جدیدی را آغاز کند. شرکت‌های فناوری به جای تمرکز صرف بر قابلیت‌های هوش و پردازش، توجه بیشتری به مسئله بهره‌وری اقتصادی در فرآیند توسعه مدل‌های هوش مصنوعی نشان داده‌اند.

منبع: https://dantri.com.vn/cong-nghe/deepseek-ra-mat-cong-cu-ai-co-kha-nang-gianh-hcv-ky-thi-toan-quoc-te-20251130154751624.htm