ریاضی دانوں کا مصنوعی ذہانت کی لیبارٹریوں کے خلاف کھلم کھلا اعلانِ جنگ

دنیا کے پچیس معروف ریاضی دانوں نے ایک کھلے خط پر دستخط کرتے ہوئے اوپن اے آئی سمیت دیگر مصنوعی ذہانت بنانے والے اداروں سے مطالبہ کیا ہے کہ وہ علمی مقالہ جات، تحقیقی رسائل اور ریاضیاتی ثبوتوں کی بلا اجازت اسکریپنگ فوری طور پر بند کریں۔ محققین نے الزام عائد کیا ہے کہ بڑی ٹیک کمپنیاں دہائیوں کی انتھک علمی محنت کو بغیر اجازت، مالی معاوضے یا انتساب کے تجارتی مقصد کے لیے استعمال کر رہی ہیں۔

یہ ٹکراؤ اکادمک تحریری برادری اور تجارتی ٹیکنالوجی کمپنیوں کے درمیان جاری کشمکش میں ایک انتہائی اہم موڑ کی نشاندہی کرتا ہے۔ سالہا سال سے مصنوعی ذہانت کی لیبارٹریاں کھلے انٹرنیٹ کو مفت ڈیٹا کا ذریعہ سمجھتی رہی ہیں۔ اگرچہ مصنفین، صحافتی ادارے اور فنکار سب سے پہلے عدالتوں میں پہنچے، لیکن ریاضی دانوں کا گروہ خاموشی سے صورتحال کا جائزہ لیتا رہا۔ ۱۱ ستمبر ۲۰۲۶ کو یہ خاموشی اس وقت ختم ہوئی جب پچیس ممتاز دانشوروں نے ایک سخت احتجاجی منشور جاری کیا۔

اس تنازع کے پیچھے مصنوعی ذہانت کے نئے ماڈلز کی تیاری کی بنیادی حکمتِ عملی موجود ہے۔ جب بڑے زبان کے ماڈل یعنی LLMs عمومی متن کی تخلیق میں اپنی حدوں کو پہنچ گئے، تو بڑی لیبارٹریوں نے جدید ترین منطقی صلاحیتوں یعنی Reasoning Models کی طرف توجہ مبذول کی۔ پیچیدہ مسائل حل کرنے والے ماڈلز تیار کرنے کے لیے خالص اور بے عیب منطق کی ضرورت ہوتی ہے، اور یہ مواد صرف علمی پلیٹ فارمز جیسے arXiv اور تحقیقی رسائل میں ہی دستیاب ہے۔

ثبوتوں، مقالہ جات اور کاپی رائٹ کا شدت اختیار کرتا تنازع

ریاضی محض متن کا نام نہیں، بلکہ یہ انسانی عقل اور منطق کا ڈھانچہ ہے۔ جب اوپن اے آئی، گوگل ڈیپ مائنڈ، اور اینتھروپک جیسے ادارے اپنے ماڈلز کو تربیت دیتے ہیں، تو انہیں ریاضی کی طے شدہ مساواتوں کی شدید ضرورت ہوتی ہے۔ یہ مقالے ایسے شفاف منطقی راستے فراہم کرتے ہیں جن سے اے آئی ماڈلز اپنی غلطیوں کی خود تصدیق کرتے ہیں اور مصنوعی ڈیٹا تیار کرتے ہیں۔

خط پر دستخط کرنے والے محققین نے موقف اختیار کیا کہ کھربوں ڈالر کی انڈسٹری خالص علمی تحقیق کی بنیاد پر اپنے اثاثے بنا رہی ہے لیکن ان سائنس دانوں کو نہ تو کریڈٹ دیا جا رہا ہے اور نہ ہی کوئی مالی معاوضہ۔ کمرشل کمپنیاں خفیہ لیکچر نوٹس اور سبسکرپشن والے رسائل کا مواد بلا اجازت استعمال کر رہی ہیں۔

تجارتی اے آئی اداروں کی مارکیٹ ویلیو سیکنڑوں ارب ڈالر تک پہنچ چکی ہے جبکہ دوسری جانب دنیا کی بڑی یونیورسٹیوں کے شعبہ ہائے ریاضی اور غیر منافع بخش ادارے مالی مشکلات کا شکار ہیں۔ محققین کا کہنا ہے کہ اے آئی لیبارٹریاں عوامی فکری اثاثوں کی نجی کاری کر رہی ہیں جو کہ ناقابلِ قبول ہے۔

مصنوعی منطق اور آرکائیو مقالے کس طرح جدید اے آئی کی بنیاد بن رہے ہیں؟

یہ سمجھنے کے لیے کہ ٹیک کمپنیاں ریاضیاتی مقالوں کے پیچھے کیوں ہیں، ہمیں اے آئی ماڈلز کی ورکنگ پر نظر ڈالنی ہوگی۔ عام زبان کے ماڈل اکثر غلط معلومات یا من گھڑت نتائج فراہم کرتے ہیں۔ اس خامی کو دور کرنے کے لیے انجینئرز Lean اور Coq جیسے سافٹ ویئر سسٹم اور انسانوں کے لکھے ہوئے ریاضیاتی ثبوتوں پر انحصار کرتے ہیں۔

جب ایک ماڈل ہزاروں مطبوعہ نظریات کو جذب کر لیتا ہے، تو وہ خودکار طریقے سے لاکھوں نئے ریاضیاتی مسائل جنریٹ کرنے کے قابل ہو جاتا ہے۔ سائنس دانوں کا کہنا ہے کہ یہ عمل انسان کی فکری محنت کو قانون اور اخلاقیات سے بالاتر ہو کر کارپوریٹ سرمائے میں تبدیل کرنے کے مترادف ہے۔

کاپی رائٹ کے قانونی امور کے علاوہ، ریاضی دانوں کو اس بات کا بھی شدید خدشہ ہے کہ اے آئی ماڈلز کی اسکریپنگ سے علمی دنیا میں سائنسی معیار زوال پذیر ہو سکتا ہے۔ اے آئی کے ذریعے تیار کردہ نامکمل یا بظاہر درست مگر غلط مقالے سائنسی فورمز پر طوفان برپا کر سکتے ہیں جس سے حقیقی ریسرچ کا سچ پر مبنی وجود خطرے میں پڑ جائے گا۔

علمی اثاثوں پر قبضے کے خلاف ایک منظم و فکری مزاحمت

اس کھلے خط پر دستخط کرنے والے فیلڈز میڈل حاصل کرنے والے اور دنیا کی سرفہرست یونیورسٹیوں کے شعبہ جات کے سربراہان ہیں۔ انہوں نے تین بنیادی مطالبات رکھے ہیں: پہلا، باقاعدہ معاہدے کے بغیر ڈیٹا اسکریپنگ پر فوری پابندی؛ دوسرا، ان تمام ماڈلز کے ٹریننگ ڈیٹا کی مکمل شفافیت؛ اور تیسرا، ایک ایسا لائسنسنگ فریم ورک جس کے تحت ٹیک کمپنیوں کے منافع کا ایک حصہ عوامی سائنسی تحقیق اور اوپن ایکسیز رسائل کی مالی معاونت کے لیے مختص کیا جائے۔

اگرچہ اے آئی کمپنیاں یہ دعویٰ کرتی ہیں کہ آن لائن مواد سے ماڈلز کو تربیت دینا فیئر یوز کے دائرے میں آتا ہے، لیکن مختلف ممالک کی عدالتوں میں جاری مقدمات کے درمیان ریاضی دانوں کا یہ محاذ ان کمپنیوں کے لیے شدید قانونی اور اخلاقی مشکلات پیدا کر سکتا ہے۔

یہ تنازع اس بنیادی سوال کو جنم دیتا ہے کہ خودکار ٹیکنالوجی کے دور میں انسانی علم کی ملکیت کس کے پاس ہونی چاہیے۔ اگر دنیا کے ذہنین ترین دماغ اپنے کام کو الگورتھم کی سارقانہ کارروائیوں سے نہیں بچا سکتے، تو آزاد سائنسی تحقیق کا مستقبل شدید خطرے میں پڑ جائے گا۔

اکثر پوچھے گئے سوالات

Why are top mathematicians protesting against OpenAI and other AI laboratories?

Mathematicians argue that commercial AI laboratories systematically scrape their intellectual proofs and academic papers without consent or compensation to build profitable reasoning models. They demand dataset transparency and a fair revenue-sharing framework to support public scientific research.

What specific data do AI developers extract from academic mathematical repositories?

AI companies extract formal mathematical proofs and verified logical theorems from databases like arXiv and peer-reviewed journals. This structured mathematical logic allows frontier reasoning models to execute self-verification and generate clean synthetic data for model training.

What core solutions did the twenty-five signatories outline in their open letter?

The scholars called for an immediate moratorium on unauthorized scraping of academic papers, full operational transparency regarding training datasets, and the creation of a standardized licensing model that directs commercial AI revenues back into public research infrastructure.