اوپن اے آئی کا ریاضی کا تاریخی مسئلہ حل کرنے کا دعویٰ، علمی دنیا میں شدید بے چینی

اوپن اے آئی کی جانب سے ریاضی کے سات تاریخی 'ملینیم پرائز' مسائل میں سے ایک کو حل کرنے کے حالیہ دعوے نے نظریاتی تحقیق کی دنیا میں ایک بڑا زلزلہ برپا کر دیا ہے۔ تاہم، اس کامیابی پر عالمگیر تعریف و توصیف کے بجائے، علمی و تعلیمی حلقوں میں شدید تشویش اور بے چینی کی لہر دوڑ گئی ہے۔ ماہرینِ ریاضی نے خبردار کیا ہے کہ دیوہیکل کارپوریٹ کمپیوٹنگ طاقت، روایت سے قائم شدہ تعلیمی اقدار، گہرے نظریاتی فہم اور صدیوں پرانے ہمسر جائزہ (پیر ریویو) کے نظام کو روند رہی ہے۔

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

محض طاقتور کمپیوٹنگ بمقابلہ نظریاتی فہم

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

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

تعلیمی اقدار اور کریڈٹ کی تقسیم میں خلل

اوپن اے آئی کے کام کرنے کی رفتار اور یکطرفہ انداز نے طویل عرصے سے قائم تعلیمی اصولوں کو مفلوج کر دیا ہے۔ کلاسیکی تعلیمی دنیا میں، کسی بنیادی مسئلے کو حل کرنے کے لیے ایک جامع مقالہ ہمسر جائزہ کے لیے بھیجا جاتا ہے، جہاں دنیا بھر کے آزاد ماہرین مہینوں اور سالوں تک اس کی باریکیوں کا جائزہ لیتے ہیں۔ اس کے برعکس، اوپن اے آئی نے اپنا پیش رفت کا دعویٰ براہِ راست کارپوریٹ اعلانات کے ذریعے شائع کیا۔

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

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

علمی دریافت کا ایک نیا دور

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

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

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

What problem did OpenAI claim to solve?

OpenAI claimed a resolution to one of the Millennium Prize Problems, seven historically difficult mathematical conjectures established by the Clay Mathematics Institute in 2000.

Why are traditional mathematicians critical of OpenAI's achievement?

Mathematicians argue that OpenAI's brute-force computational methods produce opaque, million-step proofs that offer numerical correctness without providing human-understandable conceptual insight.

How does this development affect academic researchers?

It shifts research authority from publicly reviewed university faculties to multi-billion-dollar corporate tech labs, creating immense resource disadvantages for independent scholars and early-career mathematicians.