در تحولی قابل‌تأمل در پاییز ۱۴۰۳، شرکت OpenAI با انتشار ۳۷۷ نتیجه جدید در حوزه ریاضیات محض در مخزن گیت‌هاب، بحث‌های دامنه‌داری را میان جامعه آکادمیک و توسعه‌دهندگان هوش مصنوعی برانگیخت. این اقدام که با انتشار یک پست وبلاگی همراه بود، بار دیگر تقابل میان رویکردهای «جعبه سیاه» در توسعه مدل‌های زبانی بزرگ و نیاز جامعه علمی به شفافیت و دسترسی به ابزارهای تحقیق را به کانون توجه آورده است.
نگاهی به ماهیت دستاوردهای ریاضی OpenAI
این مجموعه داده که به عنوان یک «اطلاعات‌نامه» (Info-dump) در مخزن گیت‌هاب OpenAI منتشر شده، شامل اثبات‌های پیچیده‌ای است که پیش‌تر حل‌نشده باقی مانده بودند. یکی از نمونه‌های شاخص این مجموعه، ادعای اثبات «فرمول جمله پیشرو Birch-Swinnerton-Dyer» است. با این حال، متخصصان گوشزد می‌کنند که این دستاوردها دارای محدودیت‌های خاصی هستند؛ برای مثال، اثبات مذکور تنها برای منحنی‌های بیضوی روی میدان اعداد گویا و تحت شرایط خاصی از گروه سلمر (Selmer group) صادق است.
چالش مدل‌های محرمانه و شکاف با جامعه علمی
مسئله اصلی، مدل هوش مصنوعیِ مولد این نتایج است؛ همان مدلِ پیشرفته و محرمانه‌ای که ماه گذشته موفق به یافتن «استثنایی برای ابطال معادلات ناویه-استوکس» شده بود. جامعه علمی، به‌ویژه «گروه مشاوران ریاضیات و هوش مصنوعی» (AGMAI) در موسسه مطالعات پیشرفته (IAS)، نسبت به روند «تست مسائل پیشرفته ریاضی بر روی مدل‌های انحصاری و غیرقابل دسترسی» انتقاد شدید دارند. این گروه در بیانیه‌ای در مهر ۱۴۰۳، صراحتاً از آزمایشگاه‌های پیشرو خواسته‌اند این رویه را متوقف کنند.
پاسخ OpenAI و استانداردهای نوین
شرکت OpenAI در پست وبلاگی خود با رویکردی دیپلماتیک سعی در کاهش تنش‌ها داشته است. آن‌ها مدعی هستند که در حال همکاری با AGMAI برای تدوین «پروتکل‌های بازنگری و استناد» به مقالات علمی هستند. OpenAI وعده داده است که مدل مورد نظر را در آینده به صورت مسئولانه عرضه کند تا دانشمندان بتوانند از این قابلیت‌های پیشرفته مستقیماً بهره‌مند شوند. با این وجود، بسیاری از ریاضی‌دانان معتقدند تا زمانی که کد منبع یا معماری مدل برای داوری همتا (Peer Review) منتشر نشود، این ادعاها در حاشیه دنیای علم رسمی باقی می‌مانند.
مشخصات فنی و تحلیل معماری پروژه
- نوع مدل: مدل زبانی بزرگ (LLM) پیشرفته و توسعه‌یافته در محیط تحقیق و توسعه OpenAI (نسخه غیرعمومی).
- ماهیت خروجی: ۳۷۷ اثبات ریاضی در حوزه‌های نظریه اعداد و آنالیز پیچیده.
- پروتکل‌های منتشر شده: شامل دستورالعمل‌های جدید برای استناد به نتایج هوش مصنوعی و فرآیندهای تجدیدنظر علمی.
- ارتباطات استراتژیک: همکاری با AGMAI برای بهبود استانداردهای اخلاقی در انتشار نتایج تحقیقاتی مدل‌های هوش مصنوعی.
جمع‌بندی و چشم‌انداز آینده
آنچه OpenAI با انتشار این نتایج به نمایش گذاشته، نشان‌دهنده تغییر پارادایم در نحوه انجام پژوهش‌های ریاضی است. هوش مصنوعی دیگر تنها به پردازش متن محدود نیست و به ابزاری برای کشف‌های نظری تبدیل شده است. با این حال، برای پذیرش این نتایج در دنیای آکادمیک، نیاز به شفافیت حداکثری و انتقال از «مدل‌های انحصاری» به سمت «پژوهش‌های تکرارپذیر» احساس می‌شود. جامعه علمی در انتظار است تا ببیند آیا OpenAI به وعده خود برای عرضه عمومی این ابزارها عمل خواهد کرد یا خیر.
