آینده‌ ریاضیات در دستان هوش مصنوعی؛ مدل جدیدی که در المپیادها به رقابت می‌پردازد

ICTPRESS - این مدل تازه ریاضیِ هوش مصنوعی موجی از بحث به‌پا کرده زیرا می‌گوید به رکوردهایی رسیده که اگر تأیید شوند می‌تواند معنای پیشرفت در استدلال هوش مصنوعی را تغییر دهد.

ICTPRESS – این مدل تازه ریاضیِ هوش مصنوعی موجی از بحث به‌پا کرده زیرا می‌گوید به رکوردهایی رسیده که اگر تأیید شوند می‌تواند معنای پیشرفت در استدلال هوش مصنوعی را تغییر دهد.

 

به گزارش شبکه خبری ICTPRESS به نقل از تک این آسیا، شرکت چینی دیپ‌سیک مدل تازه‌ای به نام «دیپ‌سیک‌مث-وی‌۲» منتشر کرده که روی استدلال و حل مسائل ریاضی کار می‌کند. این مدل متن‌باز است و روی پلتفرم‌هایی مثل هاگینگ‌فِیس و گیت‌هاب در دسترس قرار گرفته.

سازوکار کار مدل این است که یک مدل راه‌حل و برهان تولید می‌کند و یک مدل دیگر همان تحلیل را بررسی و تأیید می‌کند تا اشتباهات منطقی کاهش یابد.

این مدل در آزمون‌های المپیادهای ریاضی سال‌های مختلف مثل آی‌اِم‌او و اُلمپیاد چینی عملکردی در حد نتایج برتر داشته و در آزمون «پاتنام» نمره ١١٨ از ١٢٠ گرفته که بالاتر از بهترین نمره انسانی بوده است. همچنین در بنچمارک «آی‌اِم‌او پروف‌بِنچ» بهتر از مدل شرکت دیپ‌ماله‌ای که مدت‌ها چالش اصلی مدل‌های زبانی در ریاضی بوده است.

منبع : شبکه خبری فناوری نوین ( ICT )

اشتراک‌گذاری