درگیری OpenAI با ریاضی‌دانان شدت گرفت

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

روز پنجشنبه نیز OpenAI پس از انتقاد پژوهشگران مؤسسه فناوری کالیفرنیا (Caltech) از این شرکت، حمایت مالی خود از یک رویداد ریاضی در این دانشگاه را پس گرفت.

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

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

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

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

این نامه پس از «بیانیه لیدن» منتشر شده است؛ سندی که گروهی از ریاضی‌دانان در ماه ژوئن منتشر کردند و در آن به تأثیر اثبات‌های تولیدشده توسط مدل‌های زبانی بزرگ بر حرفه ریاضیات پرداخته و توصیه‌هایی برای ریاضی‌دانان، مؤسسات و سیاست‌گذاران ارائه شده است.

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

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

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

انتهای پیام