در تابستان ۱۴۰۵، برگزاری جلسهای میان مدیران OpenAI و حدود ۴۰ ریاضیدان برجسته به جای ایجاد تعاملی سازنده، به نقطه عطفی در تنش میان شرکتهای هوش مصنوعی و جامعه آکادمیک تبدیل شد. این تقابل نشان میدهد که چگونه سرعت سرسامآور توسعه مدلهای پیشرو (Frontier Models) نه تنها مرزهای دانش را جابجا کرده، بلکه استانداردهای علمی و اخلاق پژوهشی را نیز در هالهای از ابهام قرار داده است.
گسست میان سرعت انتشار و اعتبار علمی
یکی از اصلیترین انتقادات ریاضیدانان به رویکرد OpenAI و رقیب آن، Anthropic، نادیده گرفتن فرآیندهای سنتی انتشار نتایج علمی (Peer Review) است. در حالی که جامعه ریاضیات بر پایه استناد و بررسی دقیق توسط همتایان بنا شده، شرکتهای هوش مصنوعی تمایل دارند دستاوردهای بزرگ، از جمله حل مسائل حلنشده چندین دههای، را از طریق پستهای وبلاگی یا توئیتها اعلام کنند. برینا کرا، ریاضیدان دانشگاه نورثوسترن، معتقد است که این روش برخلاف ماهیت «اکوسیستمی» است که دادههای اولیه برای آموزش مدلها را فراهم کرده است.
پدیده «مسابقه تسلیحاتی» در حل مسائل هزاره
ماجرای حل مسئله «ناویه-استوکس» که یکی از مسائل جایزه هزاره (Millennium Prize) محسوب میشود، نمونهای بارز از رقابتهای غیرمتعارف است. گزارشها حاکی از آن است که OpenAI با استفاده از هزاران ایجنت محاسباتی، عملاً در حال رقابت با پژوهشگرانی بوده که به صورت فردی روی این مسائل کار میکردند. اتهاماتی مبنی بر تلاش برای حذف نام همکاران پژوهشی در مقالات مشترک توسط یکی از محققان OpenAI، تصویری از «رفتار مافیایی» در ذهن بخشی از جامعه آکادمیک ترسیم کرده است؛ موضوعی که نشاندهنده اولویتبخشی به نمایش قدرت برندینگ در آستانه عرضه اولیه سهام (IPO) نسبت به رعایت اخلاق علمی است.
ابزارها و بسترهای نوین برای ریاضیات عصر AI
برای مدیریت این حجم از نتایج تولید شده توسط هوش مصنوعی، جامعه ریاضیات به دنبال ایجاد زیرساختهای مستقلی است که فراتر از بیانیههای مطبوعاتی عمل کنند. ابزارهایی که در زیر معرفی شدهاند، تلاش میکنند تا اعتبار نتایج تولید شده توسط مدلها را بررسی و ثبت کنند:
- Hexagon: مخزنی متمرکز برای نگهداری و دستهبندی مواد علمی تولید شده توسط هوش مصنوعی.
- Palomar: سیستمی برای ثبت و تایید رسمی ریاضیاتِ مورد تایید ماشین (Machine-Verified Mathematics).
- Advisory Group on Math/AI: کارگروه مشورتی تشکیل شده توسط موسسه مطالعات پیشرفته (IAS) برای استانداردسازی نحوه انتشار نتایج.
آینده ریاضیات: زوال یا بلوغ؟
در حالی که برخی از محققان OpenAI در جلسات خصوصی از «پایان ریاضیات به شکل سنتی» سخن میگویند، جامعه دانشگاهی نگاهی متفاوت دارد. بسیاری از ریاضیدانان، هوش مصنوعی را نه به عنوان جایگزین، بلکه به عنوان یک ابزار کمکی قدرتمند میبینند که میتواند افقهای جدیدی را بگشاید. با این حال، شرط اصلی این همکاری، شفافیت در نحوه دستیابی به نتایج و رعایت حقوق معنوی پژوهشگران انسانی است. تضاد کنونی، تقابل میان «فرهنگ بازِ علم» و «ساختار بسته و رقابتیِ استارتاپهای سیلیکونولی» است.