مدل‌های هوش مصنوعی می‌توانند به راحتی مقالات و انواع دیگر متون تولید کنند، اما در حل مسائل ریاضی که نیاز به تفکر منطقی دارند اصلاً خوب نیستند. اکنون Google DeepMind از توسعه دو سیستم هوش مصنوعی با تجربه حل مسائل پیچیده ریاضی با کمک منطق پیشرفته اطلاع رسانی شده است.
گوگل ادعا می‌کند که سیستم‌های جدید به نام‌های AlphaProof و AlphaGeometry 2 برای حل چهار مشکل از شش مشکل المپیاد بین‌المللی ریاضی امسال (IMO) برای کسب معادل یک مدال با یکدیگر همکاری کردند.
این اولین بار است که یک سیستم هوش مصنوعی به چنین موفقیتی در حل این دسته از مشکلات دست یافته است. معاون تحقیقات گوگل دیپ مایند که روی این پروژه کار می کند، می گوید:
“این یک پیشرفت بزرگ در یادگیری ماشینی و هوش مصنوعی است.”
حل مسائل ریاضی که نیاز به تفکر پیشرفته دارند به دلایل متعددی برای سیستم های هوش مصنوعی دشوار است. اولاً، این نوع مسائل اغلب به نقاشی های انتزاعی نیاز دارند. حل آنها همچنین مستلزم برنامه ریزی سلسله مراتبی پیچیده و همچنین آزمایش مسیرهای جدید است. همه این موارد نشان دهنده یک چالش بزرگ برای مدل های هوش مصنوعی است.
بنابراین Google DeepMind با توسعه مدل AlphaProof به دنبال رفع این چالش ها بود.
در حالی که AlphaProof برای رسیدگی به چالش های گسترده مسائل ریاضی آموزش دیده است، AlphaGeometry 2 برای رسیدگی به مسائل مربوط به حرکت اجسام و معادلات مربوط به زوایا، نسبت ها و فواصل بهینه شده است.
تست مدل های هوش مصنوعی گوگل و کسب مدال نقره
در تست هایی با مسائل المپیاد بین المللی ریاضی، AlphaProof دو مسئله جبر و یک مسئله تئوری اعداد را حل کرد که یکی از آنها سخت ترین مسئله المپیاد بود. AlphaGeometry 2 همچنین در حل یک سؤال هندسه موفق بود، اما در حل دو سؤال ترکیبی شکست خورد.
سپس دو ریاضیدان مشهور نتایج ارائه شده توسط هوش مصنوعی را بررسی کردند. آنها به هر یک از چهار پاسخ صحیح مشروط به نمره کامل (هفت از هفت) دادند که AlphaProof و AlphaGeometry 2 در مجموع 28 امتیاز از حداکثر 42 امتیاز را دریافت کردند. به رقبای انسانی که به این امتیاز دست می یابند یک مدال نقره تعلق می گیرد و برای کسب مدال طلا حداقل امتیاز 29 لازم است.
منبع خبر: https://digiato.com/artificial-intelligence/google-deepminds-ai-systems-can-now-solve-complex-math-problems
تحریریه ABS NEWS | ای بی اس نیوز