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