هوش مصنوعی همچنان با ریاضیدانان برجسته در رقابت است!

به گزارش مجله خبری نگار،هوش مصنوعی دقیق‌ترین آزمون ریاضی خود را تاکنون پشت سر گذاشته است. نتایج آماده است و مدل‌های هوش مصنوعی که در آن شرکت کردند، به مهارت‌های حل مسئله ریاضیدانان برتر نرسیدند.

به نقل از نیچر، این آزمون بخشی از پروژه‌ای به نام First Proof به معنای اثبات اول است که هدف از آن ارزیابی توانایی هوش مصنوعی در حل سوالات پیچیده در ریاضیات است. ۱۰ مسئله ریاضی در سطح تحقیق برای چهار سیستم هوش مصنوعی مطرح شد. سپس هیئت منصفه‌ای از متخصصان انسانی ناشناس در زمینه‌های ریاضی مربوطه، پاسخ‌های مدل‌ها را ارزیابی کردند. این آزمون اولین آزمون از نوع خود بود که به طور همزمان سه شرط کلیدی را برآورده می‌کرد: اول، شامل سوالات ریاضی در سطح تحقیق بود؛ دوم، شامل مسائلی بود که در داده‌های آموزشی ظاهر نشده بودند و سوم، به طور رسمی توسط ریاضیدانان درجه‌بندی شده بود.

این یافته‌ها پس از پیشرفت‌های اخیر هوش مصنوعی در حل مسائل ریاضی رخ داده است. برای مثال، ماه گذشته، یک چت‌بات ساخته شده توسط شرکت فناوری اوپن‌ای‌آی در سانفرانسیسکو، کالیفرنیا، یک چالش ریاضی ۸۰ ساله را که توسط ریاضیدان فقید، پاول اردوش، مطرح شده بود، حل کرد. گروه فرست پروف می‌گوید که تکرار‌های آینده این آزمون می‌تواند به محققان کمک کند تا قضاوت کنند که مدل‌های هوش مصنوعی چقدر می‌توانند به عنوان مثال، در حل خودکار مسائل، بررسی اثبات‌ها یا ایفای نقش دستیاران تحقیق برای ریاضیدانان مفید باشند.

یکی از نوآوری‌های مهم آزمون فرست پروف این بود که سوالات قبلا در هیچ کجای مقالات منتشر شده یا در اینترنت ذکر نشده بودند و این خطر را که مدل‌ها به سادگی اطلاعاتی را که در طول آموزش خود آموخته‌اند، تکرار کنند، از بین می‌برد. در عوض، ۱۰ محقق از طیف گسترده‌ای از تخصص‌های ریاضی، هر کدام سوالی را ارائه دادند که در جریان تحقیقات خود حل کرده بودند، اما هنوز منتشر نکرده بودند.

فرست پروف در ماه فوریه یک آزمون آزمایشی با دسته‌ای متفاوت از مسائل جدید برگزار کرد. در آن دور، هر کسی می‌توانست سیستم‌های هوش مصنوعی مورد علاقه خود را روی مسائل امتحان کند و بسیاری از گروه‌ها این کار را انجام دادند، اما نتایج به طور رسمی تأیید نشد. همچنین هیچ راهی برای بررسی مستقل اینکه هوش مصنوعی کمکی از انسان‌ها دریافت نکرده است یا خیر، وجود نداشت. این بار، فرست پروف خودش آزمایش را اجرا کرد: گروه از مدل‌ها خواست تا مسائل را به روشی کاملاً خودکار حل کنند و گروهی متشکل از ۳۰ ریاضیدان برای بررسی پاسخ‌ها به کار گرفته شدند. جرمی آویگاد، ریاضیدان و رئیس موسسه استدلال به کمک رایانه در ریاضیات در دانشگاه کارنگی ملون در پیتسبورگ، پنسیلوانیا، می‌گوید: برگزارکنندگان به وضوح با دقت بیشتری به دسته دوم فکر کرده‌اند تا آن را کنترل‌شده‌تر و سیستماتیک‌تر کنند.