گوگل دیپ‌مایند دو سیستم هوش مصنوعی برای حل مسائل ریاضی المپیاد توسعه داد
مدل‌های هوش مصنوعی اگرچه در تولید متن و مقاله مهارت دارند، اما در حل مسائل ریاضی که استدلال منطقی می‌طلبد، عملکرد ضعیفی نشان می‌دهند. اکنون گوگل دیپ‌مایند اعلام کرده که دو سیستم هوش مصنوعی تخصصی با نام‌های الفاپروف و الفاژوم‌تری ۲ ( 2) را برای مقابله با چالش‌های ریاضی پیچیده گسترش داده است.
به گفته گوگل، این دو سیستم در حل چهار پرسش از شش پرسش المپیاد بین‌المللی ریاضی (IMO) امسال با همکاری یکدیگر موفق شده‌اند و امتیازی معادل مدال نقره کسب کرده‌اند. این نخستین بار است که یک سیستم هوش مصنوعی در این سطح از مسائل ریاضی به چنین موفقیتی دست می‌یابد. یکی از معاونان تحقیقاتی گوگل دیپ‌مایند این پیشرفت را بزرگ‌ترین گام در حوزه یادگیری ماشینی و هوش مصنوعی برای حل مسائل ریاضی توصیف کرده است.
حل مسائل ریاضی پیشرفته برای سیستم‌های هوش مصنوعی به دلایل متعددی دشوار است. این مسائل نیازمند تفکر انتزاعی، برنامه‌ریزی سلسله‌مراتبی پیچیده و آزمودن مسیر‌های حل نوین هستند که برای مدل‌های فعلی چالش‌برانگیز محسوب می‌شوند. گوگل دیپ‌مایند با توسعه الفاپروف برای طیف وسیعی از مسائل ریاضی و بهینه‌سازی الفاژوم‌تری ۲ برای مسائل هندسی شامل حرکات اجسام، زوایا، نسبت‌ها و فواصل، سعی در برطرف کردن این موانع داشته است.
تست مدل‌های گوگل و کسب مدال نقره
در آزمون‌های انجام‌شده با سوالات المپیاد بین‌المللی ریاضی، الفاپروف دو مسئله جبر و یک مسئله نظریه اعداد را حل کرد که یکی از آن‌ها سخت‌ترین سوال المپیاد محسوب می‌شد. الفاژوم‌تری ۲ نیز یک مسئله هندسی را با موفقیت حل نمود، اما در دو مسئله ترکیباتی ناکام ماند. دو ریاضیدان برجسته نتایج ارائه‌شده توسط هوش مصنوعی را ارزیابی کردند و به هر یک از چهار پاسخ صحیح نمره کامل (هفت از هفت) اختصاص دادند. در مجموع، دو سیستم ۲۸ امتیاز از حداکثر ۴۲ امتیاز را کسب کردند که معادل مدال نقره در المپیاد است؛ در حالی که برای مدال طلا حداقل ۲۹ امتیاز الزامی بود.
