شرکت گوگل دیپ‌مایند به تازگی از سیستم هوش مصنوعی خود به نام AlphaGeometry رونمایی کرد که موفق شده است در المپیاد ریاضی بین‌المللی مدال نقره را کسب کند.
به گزارش تکناک، این سیستم با ترکیب دو مدل اصلی مبتنی بر منطق و زبان، توانسته است به حل مسائل پیچیده هندسه بپردازد. هوش مصنوعی AlphaGeometry در آزمون‌های خود موفق به حل ۲۵ از ۳۰ سؤال المپیاد شد، که این نتیجه با عملکرد مدال‌آوران طلای انسانی برابری می‌کند.
هر دو سیستم هوش مصنوعی توسعه یافته توسط گوگل دیپ‌مایند این هفته تاریخ‌ساز شدند و در المپیاد بین‌المللی ریاضی (IMO) به مدال نقره دست یافتند. این دو سیستم هوش مصنوعی که AlphaProof و AlphaGeometry 2 نام دارند، برای مقابله با شش سؤال ریاضی چالش‌برانگیز با یکدیگر همکاری کردند.
همچنین سیستم ترکیبی چهار سؤال از شش سؤال را حل کرد و 28 امتیاز از 42 امتیاز ممکن را به دست آورد، که تنها یک امتیاز کمتر برای به دست آوردن مدال طلا بود.
هوش مصنوعی در چالش‌برانگیزترین سؤال مسابقه، که تنها پنج شرکت‌کننده انسانی آن را حل کردند، به امتیاز کاملی دست یافت. این دستاورد قابل توجه، هوش مصنوعی شرکت دیپ‌مایند را در میان برترین مغزهای ریاضی جوان در جهان قرار می‌دهد.
فهرست مطالب
رویکردهای مختلف برای حل مسئله
در آزمون، این دو سیستم از رویکردهای متمایزی استفاده می‌کردند. AlphaProof که یک مدل زبانی همراه با یادگیری تقویتی است، با دو مسئله جبر و یک مسئله تئوری اعداد مقابله کرد و از ریاضیات رسمی برای نوشتن استدلال‌های ریاضی قابل تأیید به عنوان برنامه استفاده کرد. این رویکرد به سیستم اجازه می‌دهد تا یاد بگیرد و بهبود یابد.
از سوی دیگر، هوش مصنوعی AlphaGeometry 2 روی سؤالات هندسه تمرکز داشت و به صورت شگفت‌انگیزی مسئله خود را تنها در 16 ثانیه حل کرد. راه‌حل آن شامل یک رویکرد خلاقانه بود که حتی متخصصان انسانی از پاسخ متعجب شدند، که توانایی هوش مصنوعی برای تفکر خارج از چارچوب را به نمایش گذاشت.
دستاوردها و محدودیت‌ها
در حالی که هوش مصنوعی در برخی زمینه‌ها عالی بود، در برخی دیگر با مشکل مواجه شد. برای دو سؤال از شش سوال، این دو سیستم نتوانستند پیشرفتی داشته باشند. علاوه بر این، سیستم‌های هوش مصنوعی گوگل به زمان‌های مختلفی برای حل مسائل نیاز دارند، که از چند دقیقه تا سه روز می‌شود.
در حالی که به رقبای انسانی محدودیت زمانی 9 ساعت داده می‌شود، هوش مصنوعی شرکت دیپ‌مایند سه روز طول کشید تا یک مسئله دشوار را حل کند.
پروفسور تیموتی گورز آزمون این دو سیستم را تصحیح کرد. در حالی که گورز این دستاورد را فراتر از آنچه که یک هوش مصنوعی می‌توانست انجام دهد، می‌داند، به چندین ویژگی مهم اشاره کرد.
او در این باره اعلام کرد که مسئله اصلی این است که این هوش مصنوعی به زمان بیشتری نسبت به رقبای انسانی خود نیاز دارد. اگر به رقبای انسانی نیز برای حل سؤالات چنین زمانی داده می‌شد، بدون شک امتیاز بیشتری کسب می‌کردند.
پتانسیل آینده
با وجود تمام محدودیت‌ها، دستاورد Google DeepMind نشان‌دهنده گام مهمی در قابلیت‌های استدلال ریاضی هوش مصنوعی است.
توسعه سیستم‌های هوش مصنوعی که می‌توانند مسائل پیچیده ریاضی را حل کنند، می‌تواند پیامدهای گسترده‌ای برای زمینه‌های مختلف، از تحقیقات علمی گرفته تا آموزش داشته باشد.
