براساس گزارش اختصاصی نشریه The Verge، اقدام ناگهانی شرکت OpenAI در انتشار رگباری صدها دستاورد و قضیه ریاضی، جامعه ریاضی‌دانان جهان را در بهت فرو برده است. کارشناسان و پژوهشگران برجسته این حوزه، این اقدام را با عباراتی چون 'حیرت‌آور'، 'بی‌سابقه'، 'سورئال' و حتی 'جنون محض' توصیف کرده‌اند. با این اقدام، محققان ناچارند میان نتایج معتبر و محتوای سطحی تمایز قائل شوند؛ فرایندی که ارزیابی آن ممکن است سال‌ها طول بکشد.
ابعاد انتشار نتایج؛ انتشار ۷۱۹ مقاله در گیت‌هاب
شرکت OpenAI نزدیک به ۴۰۰ نتیجه ریاضی تولیدشده توسط مدل‌های هوش مصنوعی را در قالب بیش از ۷۰۰ دست‌نوشته و مقاله (دقیقاً ۷۱۹ سند) در مخزن اختصاصی خود در GitHub منتشر کرده است. وسعت این آرشیو به قدری زیاد است که OpenAI راهنمای جداگانه‌ای برای جستجو در آن ارائه داده است. دامنه‌های تحت پوشش این مقالات شامل شاخه‌های متنوعی همچون ترکیبیات، هندسه، نظریه اعداد، علوم کامپیوتر نظری، جبر، توپولوژی، احتمال، مکانیک آماری و فیزیک ریاضی است.
حجم مطالب به حدی سنگین است که حتی بررسی فهرست مطالب و چکیده‌های ۴۰ صفحه‌ای آن ساعت‌ها زمان می‌برد. آلوارو لوزانو-روبلیدو (Álvaro Lozano-Robledo)، استاد ریاضیات دانشگاه کنتیکت، در این باره می‌گوید: 'تنها مرور فهرست کامل چکیده‌ها کاملاً خردکننده و فرساینده است.'
چالش اعتبارسنجی با دستیار اثبات Lean
بخشی از مقالات شامل کدهای زبان برنامه‌نویسی و دستیار اثبات Lean هستند که امکان بازبینی منطقی و رایانه‌ای قضایا را فراهم می‌کنند. با این حال، درجه راستی‌آزمایی در این مجموعه یکنواخت نیست. خود شرکت OpenAI در گیت‌هاب تایید کرده است که نتایج در سطوح مختلف راستی‌آزمایی قرار دارند و تنها ۳۰۰ نتیجه کلیدی از ۷۱۹ مقاله (حدود ۴۲ درصد) فرمالایز و بازبینی منطقی شده‌اند.
ریاضی‌دانان تاکید می‌کنند که حتی وجود کد Lean به معنای تایید فوری نتیجه نیست؛ تطبیق برهان با ادعاهای مطرح‌شده در متن نیازمند بررسی دقیق است. برخی از پژوهشگران متوجه شده‌اند که برهان‌های کامپیوتری ارائه‌شده از کیفیت یکسانی برخوردار نیستند و همواره با ادعای درون متن منطبق نمی‌شوند.
نگرانی از هجوم مقالات بی‌کیفیت یا اسلاپوکالیپس
کوین بازارد (Kevin Buzzard)، استاد ریاضیات در کالج سلطنتی لندن (Imperial College London)، اشاره کرد که در حوزه کاری خود یعنی نظریه جبری اعداد، تعداد زیادی قضیه یافته اما تنها حدود شش مورد فوراً توجهش را جلب کرده‌اند که تقریباً هیچ‌کدام با کدهای Lean فرمالایز نشده بودند. بازارد می‌گوید: 'من ناچارم یا متون نامعتبر احتمالی (Slop) را مطالعه کنم، یا منتظر بمانم دیگران این کار را بکنند، یا صبور باشم تا فردی آن‌ها را رسماً فرمالایز کند تا بفهمم اصلاً نتیجه درست است یا خیر.'
نگرانی از مفهوم Slop (محتوای ماشینی بی‌کیفیت و خطادار) پس از سوابق قبلی OpenAI در انتشار مقالات جنجالی پیرامون معادلات ناویر-استوکس و جوایز هزاره پررنگ‌تر شده است. یکی از پژوهشگران درباره تاثیر این موج جدید بر نظام آموزش عالی هشدار داد: 'این یک آشفتگی بزرگ است. می‌تواند به فروپاشی فرهنگ دانشگاهی منجر شود و دانشکده‌ها را نابود کند. این یک بحران اجتماعی است که به نظر می‌رسد آزمایشگاه‌های هوش مصنوعی کاملاً آن را نادیده می‌گیرند.'
خرید قانونی چت‌جی‌پی‌تی پلاس (ChatGPT Plus)
فعال‌سازی مستقیم با کارت‌های بین‌المللی معتبر، بدون واسطه، با ضمانت کامل تا آخرین روز اشتراک و پشتیبانی سریع در شیرازگِیت.
دیدگاه خود را بنویسید