چرا ریاضیدانان با آزمایشگاه های هوش مصنوعی درگیر هستند؟

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

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

حتما بخوانید: اسپیس ایکس قراردادی 13 میلیارد دلاری با مشتری ناشناس امضا کرد

راه حل های هوش مصنوعی برای مسائل ریاضی قابل درک نیستند

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

مطالب مرتبط: ریاضیدانان خواستار شفافیت OpenAI هستند

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

هشدار ریاضیدانان درباره سرقت علمی

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

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

بیشتر بخوانید: Meta Agent هوش مصنوعی Muse را معرفی کرد + تصویر

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