ادعای اوپن ای‌آی درباره حل صدها مسئله ریاضی؛ دانشمندان خواستار راستی‌آزمایی شدند

شرکت اوپن ای‌آی (OpenAI) با انتشار ۷۲۲ مقاله ریاضی در گیت‌هاب (GitHub)، مدعی شد که یک مدل هوش مصنوعی محرمانه و معرفی‌نشده موفق به حل صدها مسئله پیچیده ریاضی با دریافت تنها یک دستور شده است.

این ادعا بازتاب گسترده‌ای داشته و گامی مهم در عرصه هوش مصنوعی توصیف شده است؛ با این حال، جامعه ریاضیدانان با احتیاط و تردید با آن برخورد کرده‌اند.

به گفته این شرکت، مقالات منتشرشده حاصل بررسی حدود ۴,۰۰۰ مسئله مختلف هستند و هر نتیجه به‌طور میانگین معادل ۳ ساعت توان پردازشی مصرف کرده است. با این حال، تنها ۱۶۲ مقاله از کل ۷۲۲ نوشتار توسط نرم‌افزار بررسی منطقی لین (Lean) به‌صورت ماشینی تأیید شده‌اند و خود اوپن ای‌آی نیز اذعان کرده که نتایج تأییدنشده ممکن است حاوی ایراد و اشتباه باشند.

بسیاری از دانشمندان معتقدند بدون دسترسی آزاد به مدل و روش استدلال آن، ادعاهای مطرح‌شده از اعتبار علمی کافی برخوردار نیستند.

اندرو ساترلند (Andrew Sutherland)، ریاضیدان مؤسسه فناوری ماساچوست (MIT)، در مصاحبه‌ای با ساینتیفیک امریکن گفت:

تا زمانی که آن‌ها مدل را منتشر نکنند و افراد نتوانند این نتایج را بازتولید کنند، هر ادعایی درباره حل یک‌باره مسائل با یک عامل باید تأییدنشده تلقی شود؛ ما باید مدارک و شواهد بخواهیم.

مؤسسه مطالعات پیشرفته (Institute for Advanced Study) نیز تأکید کرده است که بدون درک و بازبینی دقیق انسانی، خروجی‌های هوش مصنوعی نمی‌توانند جایگزین پژوهش مسئولانه علمی شوند.