اوپن اے آئی (OpenAI) نے دعویٰ کیا ہے کہ اس کے ایک اندرونی اے آئی نظام نے نیوئیر–اسٹوکس (Navier–Stokes) ملینیم مسئلے کا مجوزہ حل تیار کیا ہے۔ کمپنی نے 8 ستمبر 2026 کو تحریری ثبوت اور لین (Lean) میں formal verification جاری کی، مگر اسے ابھی آزاد ریاضی دانوں کی جانچ اور عالمی علمی قبولیت درکار ہے۔
اگر آپ نے اس مسئلے کا نام پہلے نہیں سنا تو بنیادی بات سادہ ہے: یہ پانی اور ہوا کی حرکت سمجھانے والی مساوات کے بارے میں تقریباً 90 سال پرانا سوال ہے۔
نیوئیر–اسٹوکس مسئلہ کیا ہے؟
نیوئیر–اسٹوکس مساوات بتاتی ہیں کہ پانی، ہوا اور دوسرے سیال مادّے (fluids) کس طرح بہتے، گھومتے اور دباؤ بدلتے ہیں۔ یہی ریاضی ہوائی جہاز کے گرد ہوا، موسم کی پیش گوئی اور خون کے بہاؤ جیسے مسائل سمجھنے میں کام آتی ہے۔
اصل سوال تین جہتی سیال کے بارے میں ہے: اگر حرکت بالکل ہموار حالت سے شروع ہو تو کیا وہ ہمیشہ ہموار رہے گی، یا محدود وقت میں کوئی ایسا مقام بن سکتا ہے جہاں حساب کے مطابق رفتار بے حد بڑھ جائے؟ اس مقام کو سنگولیریٹی (singularity) یا ریاضیاتی ٹوٹ پھوٹ کہا جاتا ہے۔
Clay Mathematics Institute نے 2000 میں اسے سات Millennium Prize Problems میں شامل کیا تھا۔ ہر منظور شدہ حل کے لیے دس لاکھ امریکی ڈالر مختص ہیں۔
اوپن اے آئی کے نظام نے کیا نتیجہ دیا؟
اوپن اے آئی کا ثبوت ہموار حالت سے شروع ہونے والے سیال میں محدود وقت کے اندر سنگولیریٹی بننے کی مثال پیش کرتا ہے۔ اس مثال میں سیال ابتدا میں ساکن ہوتا ہے، اس پر ایک ہموار بیرونی قوت لگتی ہے اور مجموعی توانائی محدود رہتی ہے، لیکن بھنور اندر کی طرف سکڑتے ہوئے تیز ہوتا جاتا ہے۔
کمپنی کے مطابق یہ Clay Institute کے آفیشل مسئلے میں بیان کردہ نکات C اور D کو ثابت کرتا ہے۔ یہ فرق اہم ہے: ثبوت یہ نہیں کہتا کہ ہر سیال کی حرکت ٹوٹ جائے گی؛ یہ ایک ایسی قابلِ اجازت مثال دکھانے کی کوشش کرتا ہے جہاں ہموار حل ہمیشہ قائم نہیں رہتا۔
اوپن اے آئی نے کہا کہ اس نے ہزاروں باہم مربوط اے آئی ایجنٹس استعمال کیے۔ کامیاب گروپ تقریباً 10,000 بیک وقت ایجنٹس پر مشتمل تھا اور نتیجہ پہلی کوششوں کے تقریباً 88 گھنٹے بعد ملا۔ اس کے بعد جی پی ٹی-6 آسٹرا کے ذریعے لین میں رسمی تشکیل اور تصدیق میں مزید 17 گھنٹے لگے۔ نیوئیر–اسٹوکس پر کام کے دوران ایجنٹس نے تقریباً 27 لاکھ پیغامات اور 130 ارب آؤٹ پٹ ٹوکنز استعمال کیے۔
کیا اسے اب واقعی حل شدہ مسئلہ کہنا درست ہے؟
ابھی محتاط الفاظ “مجوزہ حل” یا “اوپن اے آئی کا دعویٰ” ہیں۔ کمپیوٹر سے جانچا گیا لین ثبوت مضبوط شہادت ہے، مگر یہ اسی ریاضیاتی بیان اور مفروضوں کو جانچتا ہے جو اس میں لکھے گئے ہوں۔ ماہرین کو یہ دیکھنا ہوگا کہ تحقیقی مقالے، رسمی code اور Clay کے اصل مسئلے کے درمیان کوئی خلا تو نہیں۔
8 ستمبر 2026 کو Clay Mathematics Institute اپنی ویب سائٹ پر Navier–Stokes کو اب بھی “Unsolved” دکھا رہا تھا۔ اس کے قواعد کے مطابق کسی مجوزہ حل پر انعام کے لیے غور سے پہلے اسے qualifying outlet میں شائع ہونا، اشاعت کے بعد کم از کم دو سال گزرنا اور عالمی ریاضی برادری میں عمومی قبولیت حاصل کرنا ضروری ہے۔ OpenAI نے خود بھی کہا ہے کہ وہ اس نتیجے کے لیے انعام کا دعویٰ نہیں کر رہا۔
یاد رکھیں: Lean verification اہم ہے، لیکن اسی لمحے سائنسی اتفاقِ رائے یا Clay Institute کی منظوری نہیں بن جاتی۔
اے آئی کے لیے یہ خبر اتنی اہم کیوں ہے؟
اصل اہمیت صرف ایک مشکل سوال کے جواب میں نہیں، بلکہ تحقیق کے نئے طریقے میں ہے۔ اوپن اے آئی نے ایک عام چیٹ بوٹ کے بجائے بہت بڑا ملٹی ایجنٹ تحقیقی نظام استعمال کیا: مختلف ایجنٹ گروپس نے الگ راستے آزمائے، code چلایا، مواد پڑھا اور اپنے نتائج ایک دوسرے تک پہنچائے۔ پھر کوڈیکس (Codex) نے مفید خیالات یکجا کرنے میں مدد دی۔
کمپنی کا کہنا ہے کہ ثبوت بنانے والا اندرونی ماڈل جی پی ٹی-6 آسٹرا سے نمایاں طور پر زیادہ قابل ہے اور اس کی تربیت ابھی جاری ہے۔ اس ماڈل کی عام دستیابی، قیمت یا تاریخِ اجرا نہیں دی گئی۔ اس لیے اسے چیٹ جی پی ٹی کا ایسا feature نہ سمجھیں جسے آج کوئی بھی کھول کر ملینیم مسئلہ حل کرا سکے۔
یہ نتیجہ اگر آزاد جانچ میں درست نکلتا ہے تو اے آئی کی مدد سے ریاضی، طبیعیات اور engineering research کی رفتار کے بارے میں ایک بڑا اشارہ ہوگا۔ اگر اس میں خامی نکلتی ہے، تب بھی لاکھوں agent interactions کو formal proof میں بدلنے کا طریقہ تحقیق کے لیے قابلِ مطالعہ رہے گا۔
اردو اے آئی کا محتاط نتیجہ
یہ حقیقی طور پر بڑی خبر ہے، مگر اس وقت کامیابی کا اعلان نہیں بلکہ ایک غیر معمولی اور قابلِ جانچ دعویٰ ہے۔ درست اگلا قدم شور نہیں؛ مقالہ، لین code اور آزاد ماہرین کی جانچ دیکھنا ہے۔
اکثر پوچھے گئے سوالات
کیا نیوئیر–اسٹوکس مسئلہ حل ہوگیا ہے؟
اوپن اے آئی نے حل کا دعویٰ اور formal proof جاری کیا ہے۔ آزاد علمی قبولیت اور Clay Institute کا طویل منظوری عمل ابھی باقی ہے، اس لیے اسے فوری طور پر حتمی حل کہنا درست نہیں۔
کیا اس کا مطلب ہوا اور پانی کی پیش گوئی اب بالکل درست ہوگی؟
نہیں۔ Millennium Problem کا mathematical جواب فوراً weather forecast یا engineering simulation کو کامل نہیں بناتا۔ عملی models میں data، computing limits اور دوسری approximations بھی شامل ہوتی ہیں۔
لین verification کیا ہے؟
لین (Lean) ایک proof assistant ہے جو formal rules کے تحت mathematical steps check کرتا ہے۔ یہ انسانی review کا متبادل نہیں، لیکن منطقی غلطیوں کی تلاش میں ایک مضبوط اضافی layer فراہم کرتا ہے۔
کیا عام صارف یہ model استعمال کر سکتا ہے؟
فی الحال نہیں۔ اوپن اے آئی نے اسے اندرونی model کہا ہے اور عوامی access، قیمت یا release date نہیں بتائی۔
اب آگے کیا سیکھیں؟
اے آئی ریاضی میں صرف answers نہیں بلکہ نئے proofs کیسے بنا رہی ہے، یہ سمجھنے کے لیے Astra کے دس ریاضیاتی نتائج کی اردو وضاحت پڑھیں۔
ذرائع
- OpenAI: On the Navier–Stokes Millennium Prize Problem
- Clay Mathematics Institute: Navier–Stokes Equation
- Clay Mathematics Institute: Millennium Prize rules
- Clay Mathematics Institute: Official problem description
