اشتراک
علم فناوری دیدگاه

«ریاضیات فراتر از یک فرآیند مکانیکی است» — چرا معتقدم این حوزه در برابر اختلال هوش مصنوعی اوپن‌ای‌آی دوام خواهد آورد

در یک نگاه چکیدهٔ خودکار موتور هوش مصنوعی افق آبی

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

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

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

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

بنابراین، این موضوع چه معنایی برای آینده ریاضیات دارد؟ بازنگری خلاقانه در چگونگی تکامل این حوزه نیازمند اقدام در تمام سطوح است. رهبری برجسته افرادي مانند ترنس تائو (Terence Tao)، ریاضیدان، و ابتکارات مردمی مانند بیانیه لایدن، باید با مشارکت سطح بالا از نهادهای ذی‌نفع مانند اتحادیه بین‌المللی ریاضیات مکمل شود. اگر اجازه دهیم شرکت‌های هوش مصنوعی بدون ورودی گسترده آکادمیک، هنجارهای انجام ریاضیات را تعیین کنند، به این حوزه خیانت شده است.

اشتراک:
این گزارش ترجمه و بازنویسی خبری با موتور هوش مصنوعی افق آبی است و برای خوانندهٔ فارسی‌زبان بازتنظیم شده. منبع اصلی: nature.com