کسب مدال نقره در المپیاد بین‌المللی ریاضی توسط هوش مصنوعی گوگل دیپ‌مایند
یک جفت سیستم هوش مصنوعی که توسط گوگل دیپ‌مایند توسعه یافته‌اند، این هفته تاریخی شده و در المپیاد بین‌المللی ریاضی (IMO) نمره معادل مدال نقره را کسب کردند. AlphaProof و AlphaGeometry 2، دو سیستم، همکاری کردند تا شش مسئله چالش‌برانگیز از این رقابت معتبر را حل کنند.
به طور معنادار، سیستم ترکیبی چهار مسئله از شش مسئله را حل کرد و 28 امتیاز از 42 امتیاز ممکن را کسب کرد که تنها یک امتیاز کمتر از حد نصاب مدال طلا بود.
قابل توجه است که هوش مصنوعی در مسئله‌ای که تنها پنج مسابقه‌دهنده انسانی توانستند حل کنند، امتیاز کامل کسب کرد. این موفقیت فوق‌العاده، هوش مصنوعی دیپ‌مایند را در میان برترین ذهن‌های ریاضی جوان دنیا قرار می‌دهد.
“اینکه چه کاری انجام می‌دهد، بسیار فراتر از توانایی یک جستجوی خالی از هوش است، بنابراین واضح است که وقتی عمل می‌کند، چیز جالبی رخ می‌دهد” پروفسور تیموتی گاورز، دارنده مدال فیلدز و برنده سابق طلای IMO، که جواب‌های هوش مصنوعی را ارزشیابی کرده بود، گفت.
روش‌های مختلف حل مسئله
دو سیستم از روش‌های متفاوتی استفاده کردند. AlphaProof، یک مدل زبانی ترکیب شده با یادگیری تقویتی، به دو مسئله جبر و یک مسئله نظریه اعداد پرداخته است. این سیستم از “ریاضیات رسمی” برای نگارش اثبات‌های ریاضی قابل تأیید به شکل برنامه‌ها استفاده می‌کند، که به سیستم این امکان را می‌دهد که بیاموزد و پیشرفت کند.
از سوی دیگر، AlphaGeometry 2 بر سوالات هندسه تمرکز کرد و مسئله خود را در فقط 16 ثانیه حل کرد. حل مسئله آن به رویکرد خلاقانه‌ای متکی بود که حتی کارشناسان انسانی را شگفت‌زده کرد، نشان‌دهنده توانایی هوش مصنوعی در تفکر خارج از جعبه است.
“مثال‌های افسانه‌ای از اثبات‌های کمک‌کامپیوتری وجود داشته که از ویکی‌پدیا طولانی‌تر بوده‌اند. این از آن نوع نبود: ما در اینجا درباره یک خروجی کوتاه و انسانی صحبت می‌کنیم” پروفسور گاورز افزود.
دستاوردها و محدودیت‌ها
در حالی که هوش مصنوعی در بعضی زمینه‌ها برتری داشت، در برخی دیگر ناتوان بود. برای دو مسئله از شش مسئله، سیستم‌ها نتوانستند هیچ پیشرفتی کنند. علاوه بر این، سیستم‌های هوش مصنوعی گوگل نیاز به زمان متغیری برای حل مسائل داشتند که از چند دقیقه تا سه روز متغیر بود.
برای مقدمه، در حالی که مسابقه‌دهندگان انسانی محدود به نه ساعت زمان هستند، هوش مصنوعی دیپ‌مایند برای یک مسئله به‌ویژه دشوار سه روز وقت گرفت.
پروفسور گاورز، در حالی که این موفقیت را “بسیار فراتر از آنچه که آزمونگر‌های خودکار قبلاً می‌توانستند انجام دهند” تأیید کرد، به چندین محدودیت مهم اشاره کرد.
“محدودیت اصلی این است که برنامه به زمان بسیار بیشتری از مسابقه‌دهندگان انسانی نیاز داشت” او گفت. “اگر مسابقه‌دهندگان انسانی به همان‌اندازه زمان برای هر مسئله داشتند، بدون شک نمره بالاتری کسب می‌کردند.”
او همچنین بر دخالت انسان در ترجمه مسائل به زبان رسمی تأکید کرد.
“آیا نزدیک به نقطه‌ای هستیم که ریاضیدانان غیرضروری شوند؟ سخت است بگویم. من حدس می‌زنم که هنوز به یک یا دو پیشرفت بزرگ نیاز داریم” گاورز نتیجه‌گیری کرد.
پتانسیل آینده
علیرغم محدودیت‌ها، دستاورد هوش مصنوعی گوگل دیپ‌مایند نماینده گامی مهم به جلو در توانایی‌های استدلال ریاضی هوش مصنوعی است.
توسعه سیستم‌های هوش مصنوعی که می‌توانند مسائل ریاضی پیچیده را حل کنند، می‌تواند تأثیرات گسترده‌ای بر زمینه‌های مختلف، از پژوهش‌های علمی تا آموزش داشته باشد.
