در جدیدترین اخبار منتشر شده در صنعت تکنولوژی مطلع شدیم که هوش مصنوعی دیپ‌مایند گوگل در حل مسائل المپیاد جهانی ریاضی به سطح مدال طلا رسید.
براساس اطلاعات منتشر شده توسط رسانه TechXplore مطلع شدیم که یک تیم از محققان پروژه دیپ‌مایند گوگل گزارش داده‌اند که هوش مصنوعی AlphaGeometry2 این شرکت در حل مسائلی که به دانش‌آموزان دبیرستانی شرکت‌کننده در المپیاد جهانی ریاضی (IMO) در ۲۵ سال گذشته داده شده بود، به سطح مدال طلای این مسابقات دست پیدا کرده است. در مقاله‌ای که تیم تحقیقاتی بر روی سرور پیش‌چاپ arXiv منتشر کرده، مروری بر AlphaGeometry2 و نمرات آن در حل مسائل IMO ارائه شده است.
تحقیقات پیشین نشان داده‌اند که هوش مصنوعی‌ای که قادر به حل مسائل هندسه باشد، می‌تواند به اپلیکیشن‌های پیشرفته‌تری منجر شود، زیرا این نوع مسائل نیاز به سطح بالایی از استدلال و توانایی انتخاب از میان مراحل مختلف برای رسیدن به راه‌حل دارند. به همین منظور، تیم هوش مصنوعی دیپ‌مایند گوگل در حال توسعه اپلیکیشن‌های پیچیده‌تر برای حل مسائل هندسه بوده است که اولین نسخه آن در ژانویه گذشته با نام AlphaGeometry منتشر شد و نسخه دوم آن AlphaGeometry2 نام دارد.
تیم دیپ‌مایند این سیستم را با یک سیستم دیگر که به نام Alpha Proof شناخته می‌شود، ترکیب کرده است. این سیستم به اثبات‌های ریاضی می‌پردازد. تیم تحقیقاتی دریافت که این سیستم توانسته است ۴ از ۶ مسأله مطرح شده در IMO تابستان گذشته را حل کند. در این مطالعه جدید، تیم تحقیقاتی آزمایش توانایی سیستم را با استفاده از مسائل متعدد IMO که در ۲۵ سال گذشته استفاده شده‌اند، گسترش داد.
همانطور که اعلام شد تیم تحقیقاتی، مدل AlphaGeometry2 را با ترکیب چندین عنصر اصلی ساخته است که یکی از آن‌ها مدل زبانی جمینای گوگل است. سایر عناصر از قوانین ریاضی برای ارائه راه‌حل‌هایی برای مسأله اصلی یا بخش‌هایی از آن استفاده می‌کنند.
تیم تحقیقاتی اشاره می‌کند که برای حل بسیاری از مسائل IMO، باید قبل از ادامه، برخی ساختارها به مسئله اضافه شوند، که به این معناست که سیستم آن‌ها باید قادر به ایجاد این ساختارها باشد. سپس سیستم تلاش می‌کند پیش‌بینی کند که کدامیک از این ساختارها که به دیاگرام اضافه شده‌اند، باید برای انجام استدلال‌های لازم برای حل مسأله استفاده شوند. AlphaGeometry2 مراحل ممکن برای حل یک مسأله را پیشنهاد می‌دهد و سپس این مراحل را از نظر منطقی بررسی کرده و در صورت صحیح بودن، از آن‌ها استفاده می‌کند.
برای آزمایش سیستم خود، محققان ۴۵ مسئله از IMO را انتخاب کردند که برخی از آن‌ها نیاز به ترجمه به فرم‌های قابل استفاده‌تر داشتند، که در نهایت منجر به ۵۰ مسئله شد. آن‌ها گزارش دادند که AlphaGeometry2 توانست ۴۲ مسئله را به‌درستی حل کند، که اندکی بیشتر از میانگین برنده مدال طلای انسانی در این مسابقات بود. با ما همراه باشید در صورت انتشار اخبار جدید در رابطه با این موضوع بلافاصله آن را با شما به اشتراک خواهیم گذاشت. همچنین شما نیز می‌توانید نظرات خود را درباره عملکرد هوش مصنوعی دیپ‌مایند گوگل در المپیاد با ما در میان بگذارید.
