اوپن اے آئی کا ۹۰ سالہ غیر حل شدہ ناویئر-سٹوکس ریاضیاتی مسلۂ حل کرنے کا دعویٰ

آٹھ ستمبر ۲۰۲۶ء کو اوپن اے آئی نے سنسنی خیز اعلان کرتے ہوئے دعویٰ کیا ہے کہ اس کے ایک خفیہ اور تاحال غیر مطبوعہ سپر اے آئی ماڈل نے ۱۰ ہزار خودکار ایجنٹوں کی مدد سے ریاضی کی دنیا کا ۹۰ سالہ قدیم ناویئر-سٹوکس (Navier-Stokes) مسلۂ حل کر دیا ہے۔ یہ پیچیدہ گتھی کلے میتھمیٹکس انسٹی ٹیوٹ کے سات 'ملینیم پرائز پرابلمز' میں شامل ہے جس کے حل پر دس لاکھ ڈالر کا انعام مقرر ہے۔

دس ہزار ایجنٹوں پر مشتمل ریاضیاتی انجن کی کارکردگی

اس تاریخی پیش رفت کے پیچھے کام کرنے والا اے آئی ماڈل اوپن اے آئی کے نئے جاری کردہ جی پی ٹی-۶ ایسٹرا (GPT-6 Astra) سے کہیں زیادہ طاقتور اور جدید ہے۔ اس خفیہ ماڈل کی تربیت کا آغاز ۲۸ اگست ۲۰۲۶ء کو ہوا تھا، جس کا بنیادی مقصد پیچیدہ ریاضیاتی مساوات اور اعلیٰ سطح کے حسابات کو سمجھے بغیر غلطی کے حل کرنا تھا۔ اوپن اے آئی نے صرف ایک ماڈل پر انحصار کرنے کے بجائے ۱۰ ہزار خودکار ایجنٹوں کا ایک نیٹ ورک قائم کیا جنہوں نے مل کر مساوات کے مختلف حصوں کو ایک ساتھ چیلنج کیا۔

کمپنی کے تکنیکی بلاگ کے مطابق اس ڈسٹریبیوٹڈ سسٹم نے ایسے منطقی ثبوت اور ریاضیاتی پیٹرن دریافت کیے جو انسانی ریاضی دانوں کی نظروں سے دہائیوں سے اوجھل تھے۔ یہ خودکار ایجنٹ لین (Lean) اور کاک (Coq) جیسے فارمل وریفکیشن سسٹمز کے اندر کام کرتے ہوئے ہر قدم کی سائنسی درستگی کی تصدیق کرتے رہے۔

ناویئر-سٹوکس مساوات کی اہمیت اور کروڑوں کا انعام

انیسویں صدی میں کلاڈ-لوئی ناویئر اور جارج گیبریل سٹوکس کی مرتب کردہ یہ مساواتیں مائعات اور گیسوں کی حرکت کے قوانین کو بیان کرتی ہیں۔ ہوا بازی کی صنعت، موسم کی پیشن گوئی، سمندری لہروں کے بہاؤ اور انسانی جسم میں خون کی گردش کے نمونے تیار کرنے کے لیے انہی مساواتوں کا سہارا لیا جاتا ہے۔ اس کے باوجود، ریاضی دان آج تک یہ ثابت کرنے میں ناکام رہے تھے کہ کیا تین جہتوں (3D) میں ان مساواتوں کے ہموار اور حقیقی حل ہمیشہ موجود رہتے ہیں یا وہ ناممکن حد تک لامحدود رفتار یا توانائی میں تبدیل ہو جاتے ہیں۔

سال ۲۰۰۰ء میں کلے میتھمیٹکس انسٹی ٹیوٹ نے اس مسئلے کو دنیا کے سات مشکل ترین ریاضیاتی مسائل میں شمار کیا تھا۔ اس سے قبل صرف ایک ملینیم پرائز مسلۂ (پوائن کیئر کنجیکچر) روس کے معروف ریاضی دان گریگوری پیریلمین نے ۲۰۰۲ء میں حل کیا تھا۔ اوپن اے آئی کے اس دعوے سے یہ بات ظاہر ہوتی ہے کہ مصنوعی ذہانت اب محض ڈیٹا کی پروسیسنگ تک محدود نہیں رہی بلکہ جدید سائنس کے بنيادی نظریات کی تدوین کی صلاحیت بھی حاصل کر چکی ہے۔

نظریاتی پیش رفت سے عملی طبیعیات تک

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

سائنسی برادری کے تحفظات اور آزادانہ توثیق کا مرحلہ

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

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

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

What is the Navier-Stokes problem that OpenAI claims to have solved?

The Navier-Stokes problem is a 90-year-old mathematical challenge questioning whether smooth, physically valid solutions always exist for 3D fluid dynamics equations. It is one of seven Millennium Prize Problems established by the Clay Mathematics Institute with a $1 million bounty.

How did OpenAI's internal AI architecture approach the mathematical proof?

OpenAI trained an unreleased internal supermodel starting August 28, 2026, and deployed 10,000 concurrent autonomous agents to analyze fluid equations. These agents systematically constructed and validated machine-checked formal logic proofs within automated verification environments.

Has OpenAI officially received the $1 million Millennium Prize from the Clay Mathematics Institute?

No, the Clay Mathematics Institute requires a mandatory two-year peer-review process in recognized academic journals before validating any solution. Independent international mathematicians must rigorously audit every step of the proof before any official prize is awarded.