واکنش به اتهام سرقت علمی اوپنایآی؛ آیا هوش مصنوعی واقعاً موفق به حل یک معادله ریاضی شده است
زمینه ماجرا
بر اساس گزارشها، اوپنایآی خبر میدهد که این دستاورد از طریق ۸۸ ساعت کار گروهی با کمک حدود ۱۰ هزار عامل هوش مصنوعی که بهطور همزمان فعالیت میکردند، حاصل شده و توسط نرمافزار Lean که قادر به تأیید مرحله به مرحله اثباتهای ریاضی است، تأیید گردیده است.
اتهام سرقت علمی
قبل از انتشار رسمی اوپنایآی، تریستان باکمستر در بیانیهای چهار صفحهای، روایت متفاوتی را از ماجرا عنوان کرد. او بیان داشت که به همراه لِوِنت آلپوگه، ریاضیدانی که در شرکت رقیب، آنتروپیک مشغول به کار است، به مدت تقریبا یک سال بر روی اثبات مشابهی برای این مسئله فعالیت کرده و تا تاریخ ۲۲ اوت پیشرفتهایی را به دست آوردهاند.
باکمستر میگوید که در تاریخ ۳ سپتامبر، با توجه به شایعاتی مبنی بر موفقیت آنتروپیک، موضوع پروژه شخصیاش را با یکی از ریاضیدانان اوپنایآی در میان گذاشته است. او ادعا میکند که سه روز بعد، سباستین بوبک، سرپرست تیم ریاضیات اوپنایآی، با او تماس گرفته و از پیشرفت مدل داخلی شرکت خبر داده که در آن، اثباتی ۱۰۰ صفحهای برای یک نسخه تحت فشار از معادلات ناویر-استوکس تولید شده است؛ رویکردی که باکمستر معتقد است تقریباً هیچ محقق دیگری آن را دنبال نمیکند.
به گفته باکمستر، بوبک در ادامه دو گزینه را پیش روی او قرار داده است: یا اوپنایآی یک روز پس از انتشار مقاله تیم وی، نتایج خود را منتشر کند، یا باکمستر به تنهایی، بدون اشاره به آلپوگه -به دلیل موقعیتش در شرکت رقیب- مقاله را منتشر نماید.
باکمستر در پاسخ به این پیشنهاد اظهار داشت ترجیح میدهد یافتههایش بهطور مستقل منتشر شود که این امر موجب واکنشهای منفی از سوی بوبک گردید که آن را غیرحرفهای توصیف کرد.
در نهایت، باکمستر و آلپوگه پژوهش خود را تحت نام هر دو نفر منتشر کردند، اما اوپنایآی در بیانیه رسمی خود تنها به این نکته اشاره کرده که نمیتواند احتمال استفاده از دادههای ناشناسشدهای که این دو پژوهشگر از محصولات آن بهرهبرداری کردهاند، برای بهبود مدلهای خود را رد کند.
واکنش اوپنایآی
بوبک و دیگر اعضای تیم اوپنایآی، شامل سم آلتمن، مدیرعامل این شرکت، روایت باکمستر را رد کردهاند. بوبک در پیامی در شبکه اجتماعی ایکس، تصاویری از مکالماتش منتشر کرده که نشاندهنده این است که او از همان ابتدای کار پیشنهاد انتشار مشترک با نام آلپوگه را مطرح کرده و هرگز از حذف نام او از فهرست نویسندگان خواسته است.
سم آلتمن در دفاع از بوبک نوشت که او در این موارد با صداقت و بزرگمنشی رفتار کرده و اوپنایآی در شروع کار تصور میکرد که تیم رقیب هم بهطور کامل مسئله ناویر-استوکس را حل کرده است، به همین خاطر خواستار انتشار مشترک نتایج شده بودند.
آلتمن افزود که پس از مشخص شدن اینکه نتایج تیم باکمستر به اثبات معادلات اویلر (نسخه بدون اصطکاک ناویر-استوکس) محدود میشود و نه کل مسئله، اوپنایآی به آنها پیشنهاد کرد که هر چه سریعتر مقاله خود را منتشر سازند.
علاوه بر این، اوپنایآی در بیانیهای جداگانه تصریح کرده است که پیش از انتشار هیچ نوع دسترسی مستقیمی به پژوهش این دو محقق نداشته و از هیچ داده کاربری مشخصی بهرهگیری نکرده است، هرچند که این احتمال را کاملاً رد نکرده است.
به نقل از theverge، ترنس تائو، برنده مدال فیلدز، موفقیت علمی باکمستر و آلپوگه را «دستآوردی قابل توجه» توصیف کرده است.
این دومین وقوع مرتبط با اثباتهای ریاضی از سوی هوش مصنوعی در همین هفته و از طرف همین دو شرکت رقیب بوده است؛ چند روز پیشتر آنتروپیک اعلام کرده بود که مدل کلود آنها اثباتی رایانهای تأییدشده برای «آخرین قضیه فرما» ارائه کرده است. همچنین نسخه پیشرفتهتر اثبات باکمستر و آلپوگه، که نزدیک به حل کامل مسئله اصلی است، همچنان در مراحل نهایی بررسی و انتشار قرار دارد و اثبات ۱۰۰ صفحهای اوپنایآی نیز تا کنون از سوی هیچ نهاد مستقلی مورد بازبینی قرار نگرفته است.
