هشدار ۲۵ برنده برتر مدال فیلدز: هوش مصنوعی ریاضیات را خراب می‌کند!

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

۲۵ برنده مدال فیلدز نامه‌ای سرگشاده را امضا کرده‌اند و در آن از تلاش روزافزون شرکت‌های هوش مصنوعی برای حل مسائل ریاضی معروف به عنوان نمایش توانایی مدل‌های هوش مصنوعی انتقاد کرده‌اند.

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

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

این هشدار در حالی مطرح می‌شود که سیستم‌های هوش مصنوعی ادعاهای فزاینده‌ای در مورد حل مسائل ریاضی دشوار مطرح می‌کنند. به عنوان مثال، اثبات اخیر اوپن‌ای‌آی(OpenAI) هنوز از جانب اکثریت جامعه ریاضی تأیید نشده است.

چیزی فراتر از پاسخ‌ها

یک اثبات ریاضی می‌تواند یک معادله را حل کند و به یک پرسش پاسخ دهد، اما محققان به ماشین‌آلات و فرآیندهای پشت آن نیز اهمیت می‌دهند. تکنیک‌های جدید می‌توانند روابط بین حوزه‌های به ظاهر نامرتبط را آشکار کنند و ابزارهایی ایجاد کنند که ریاضیدانان دیگر بعداً بر اساس آنها کار کنند.

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

نویسندگان این نامه نگرانند که شرکت‌های هوش مصنوعی بتوانند این فرآیند را کوتاه کنند. سیستم‌ها می‌توانند به سرعت یک راه‌حل ظاهری تولید کنند، اما ریاضیدانان هنوز به زمان نیاز دارند تا مشخص کنند که آیا این راه‌حل کار می‌کند یا خیر و مشخص کنند که روش اساسی واقعاً چه چیزی را آموزش می‌دهد. …