اختلاف نظر ریاضی‌دانان هاروارد درباره نقش هوش مصنوعی در پژوهش و آموزش پس از دستاورد اوپن‌ای‌آی
ریاضی‌دانان دانشگاه هاروارد درباره میزان و حدود استفاده از هوش مصنوعی در رشته خود اختلاف نظر دارند. اعلام اوپن‌ای‌آی مبنی بر دستیابی به راه‌حلی برای مسئله‌ای چند دهه حل‌نشده در ریاضیات، پرسش‌هایی را درباره آینده پژوهش و آموزش در این حوزه مطرح کرده است.
اوپن‌ای‌آی در ماه سپتامبر راه‌حلی را منتشر کرد که به گفته این شرکت، مسئله وجود و همواری ناویه–استوکس را حل می‌کند. این مسئله می‌پرسد آیا معادلات حاکم بر حرکت سیالات ممکن است به وضعیتی دچار شوند که در آن رفتار ریاضی آن‌ها از حالت منظم خارج شود. این مسئله حدود ۹۰ سال بی‌پاسخ مانده بود و یکی از هفت مسئله جایزه هزاره است که مؤسسه ریاضیات کلی برای حل هر یک از آن‌ها یک میلیون دلار جایزه تعیین کرده است.
روزنامه دانشجویی هاروارد کریمسون با ۱۲ نفر از اعضای هیئت علمی، پژوهشگران و مدرسان ریاضی این دانشگاه گفت‌وگو کرد. مصاحبه‌شوندگان دیدگاه‌های متفاوتی درباره پیامدهای راه‌حل ارائه‌شده از سوی اوپن‌ای‌آی و نحوه استفاده از هوش مصنوعی در آینده این رشته داشتند.
برخی از آن‌ها نگران بودند که اثبات‌های تولیدشده با هوش مصنوعی فاقد ارجاعات مناسب و توضیحات کافی باشند و همین مسئله ارزیابی آن‌ها را دشوار کند.
ملانی مَچِت وود، استاد ریاضی هاروارد و عضو گروه مشورتی مستقل ریاضیات و هوش مصنوعی، گفت: «باید از هوش مصنوعی به‌عنوان ابزاری برای افزایش درک انسانی استفاده کنیم، نه اینکه آن را جایگزین فهم خود کنیم، از دانشمان دست بکشیم و اجازه دهیم دانش فقط در ماشین‌ها ذخیره شود.»
این گروه مشورتی که در ماه سپتامبر تشکیل شد، در پی تدوین دستورالعمل‌هایی برای انتشار پژوهش‌های ریاضی تولیدشده با هوش مصنوعی از سوی شرکت‌های فعال در این حوزه است.
در مقابل، برخی دیگر، از جمله احسان زد. خان، پژوهشگر وابسته به مرکز علوم و کاربردهای ریاضی هاروارد، معتقدند دقت نتیجه از چگونگی به‌دست‌آمدن اثبات مهم‌تر است.
خان گفت: «اگر کسی بتواند معادلات نسبیت عام را برای شما بیان کند، واقعاً فرقی نمی‌کند که آن شخص اینشتین باشد، هیلبرت باشد یا چت‌جی‌پی‌تی. آنچه ارائه شده، همچنان نسبیت عام است.»
لورنتسو ریوا، یکی دیگر از مدرسان مرکز علوم و کاربردهای ریاضی، گفت که تا حد زیادی برای پرهیز از مسئله احتمال سرقت ادبی آثار پژوهشی‌اش از سوی مدل‌های هوش مصنوعی، از به‌کارگیری این فناوری در تحقیقات خود خودداری کرده است.
ریوا گفت: «بسته به اینکه هوش مصنوعی اجازه داشته باشد چه بخش‌هایی از اینترنت را جست‌وجو کند، ممکن است از هر چیزی که منتشر می‌کنم استفاده شود یا نشود. نویسندگان باید بتوانند درباره این موضوع تصمیم بگیرند؛ اینکه آیا آثارشان برای آموزش مدل‌ها استفاده شود یا نه.»
برخی دیگر از اعضای هیئت علمی گفتند هوش مصنوعی می‌تواند با انجام کارهای معمول و تکراری به پژوهش کمک کند، اما خودشان از اتکا به آن برای تولید ایده، یافتن راه‌حل یا ارائه اثبات‌های ریاضی پرهیز می‌کنند.
تومر م. شلانک، استاد ریاضی هاروارد، گفت: «تا اینجا، به نظر من هوش مصنوعی بیشترین کارایی را برای پژوهش‌هایم در کارهایی مانند جست‌وجوی منابع علمی و برنامه‌نویسی داشته است.»
بااین‌حال، شلانک درباره ملاحظات اخلاقی استفاده از مدل‌های هوش مصنوعی برای حل مسائل ریاضی نیز ابراز نگرانی جدی کرد. او استدلال کرد که انگیزه سودآوری شرکت‌های هوش مصنوعی با هدف اصلی ریاضیات، یعنی گسترش دانش، در تعارض قرار دارد.
میخال پ. ساخنیویچ، پژوهشگر بورسی بنجامین پیرس در دپارتمان ریاضی هاروارد، گفت از هوش مصنوعی برای کارهای معمولی مانند پاک‌نویس و مرتب‌کردن جزوه‌های درسی استفاده می‌کند؛ بااین‌حال، ترجیح می‌دهد مسائل را با دیگر ریاضی‌دانان به بحث بگذارد، نه اینکه صرفاً بنشیند و با چت‌جی‌پی‌تی تایپ کند.
اعضای هیئت علمی و دانشجویان علاوه بر پژوهش، درباره بهترین شیوه ادغام هوش مصنوعی در حوزه‌های دیگری از جمله آموزش نیز در حال بررسی و تصمیم‌گیری هستند.
برندان ا. کلی، مدیر برنامه ریاضیات مقدماتی هاروارد، گفت امیدوار است تعادل مناسبی میان استفاده از ابزارهای هوش مصنوعی و حفظ یادگیری معنادار برقرار کند. چند درس ریاضی مقدماتی در این دانشگاه از پاییز امسال، سیاست‌هایی را برای ممنوعیت استفاده از فناوری در طول کلاس‌ها و جلسات آموزشی در نظر گرفته‌اند.
کلی توضیح داد که هدف از این سیاست‌ها، اولویت‌دادن به آموزشی است که «مهارت‌ها، نگرش‌ها و هویت‌های دانشگاهی دانشجویان را ارتقا دهد».
در نشست تخصصی ماه سپتامبر که دپارتمان ریاضی هاروارد و مرکز علوم و کاربردهای ریاضی به‌طور مشترک برگزار کردند، ۲۴ ریاضی‌دان مجموعه‌ای از توصیه‌ها را تدوین کردند. این توصیه‌ها بر افزایش تأکید بر ارزیابی‌های کتبی و شفاهی حضوری و آموزش نحوه استفاده از ابزارهای هوش مصنوعی در پژوهش به دانشجویان متمرکز بود.
لورا جی. دمارکو، مدیر مطالعات دوره کارشناسی در دپارتمان ریاضی، گفت این دپارتمان با جدیت در تلاش است مشخص کند ابزارهای هوش مصنوعی چگونه می‌توانند در فرهنگ همکاری و تعامل جمعی ریاضیات جای بگیرند.
دمارکو گفت: «ریاضی‌دان بودن یعنی عضوی از جامعه‌ای از کاوشگران بودن که در کنار یکدیگر به جست‌وجو می‌پردازند و من قطعاً به آینده این جامعه خوش‌بین هستم.»