Clay Mathematics Institute نے پہلی بار عوامی طور پر تسلیم کیا ہے کہ Navier-Stokes کے وجود اور ہمواری کا مسئلہ - سات ملینیم پرائز کے مسائل میں سے ایک - "بظاہر حل ہو گیا ہے۔" جمعہ کو انسٹی ٹیوٹ کی ویب سائٹ پر شائع ہونے والا بیان، سال کی سب سے زیادہ مقابلہ شدہ AI اور ریاضی کی کہانیوں میں سے ایک کو انسٹی ٹیوٹ کے باضابطہ انعام کی جانچ کے عمل میں منتقل کرتا ہے، جبکہ اتنا ہی واضح کرتا ہے کہ کوئی انعام نہیں دیا گیا ہے اور نہ ہی کسی ثبوت کی توثیق کی گئی ہے۔

"آج، CMI عالمی ریاضیاتی برادری کے جوش میں شریک ہے جب ہم اس اعلان پر غور کر رہے ہیں کہ Navier-Stokes کا مسئلہ بظاہر حل ہو گیا ہے،" انسٹی ٹیوٹ نے 11 ستمبر 2026 کے اعلان میں لکھا۔ "ہم امید کرتے ہیں کہ انسانی فہم کی نئی لہریں سامنے آئیں گی کیونکہ اس ایجادات کے پیچھے مداخلت کی گئی ہے۔" For more context on this story, see our ongoing latest AI developments.

بیان کیوں اہمیت رکھتا ہے۔

انسٹی ٹیوٹ کی پیمائش شدہ زبان بہت کام کر رہی ہے، اور ہر لفظ کو ہیکر نیوز پر گھنٹوں کے اندر پارس کر دیا گیا، جہاں اعلان نے 100 سے زیادہ پوائنٹس اکٹھے کیے تھے۔ بیان میں جو کچھ نہیں کہا گیا وہ اتنا ہی اہم ہے جتنا کہ یہ کرتا ہے: Clay Mathematics Institute OpenAI کا نام نہیں لیتا، اس بات کی تصدیق نہیں کرتا کہ کوئی خاص ثبوت درست ہے، اور انعامی ایوارڈ کو متحرک نہیں کرتا ہے۔

سیاق و سباق ضبط کی وضاحت کرتا ہے۔ 8 ستمبر کو، OpenAI نے Navier-Stokes کے مسئلے کا دعویٰ کیا ہوا حل شائع کیا، جس میں بتایا گیا کہ ایک اندرونی AI سسٹم - جسے کمپنی نے اپنے GPT-6 Astra ماڈل سے نمایاں طور پر زیادہ قابل بتایا ہے - نے Lean پروف اسسٹنٹ میں تجزیاتی ثبوت اور رسمی تصدیق دونوں تیار کیے تھے۔ اعلان فوری طور پر کریڈٹ کے بارے میں اتنا ہی ہو گیا جتنا حساب کے بارے میں، کیونکہ دو تعلیمی ریاضی دانوں نے اسی دن قریب سے متعلقہ مقالے جاری کیے، اور محققین نے OpenAI کو دبایا جس کے کام نے مشین کے نتائج سے آگاہ کیا تھا۔

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

نیویئر اسٹوکس کا مسئلہ کیا پوچھتا ہے۔

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

کلی میتھمیٹکس انسٹی ٹیوٹ نے 2000 میں پیرس میں ہونے والی میٹنگ میں ملینیم پرائز کے مسائل کی نقاب کشائی کی، سات مسائل میں سے ہر ایک کے لیے $1 ملین کا انعام منسلک کیا، جس میں ریمن ہائپوتھیسس اور پی بمقابلہ این پی بھی شامل ہیں۔ اپنے جمعہ کے بیان میں، انسٹی ٹیوٹ نے اپنے اصل استدلال کا اعادہ کیا: عوامی بیداری کو بڑھانے کے لیے کہ ریاضی کا محاذ کھلا ہے، اور "تاریخی وسعت کی ریاضی میں کامیابیوں" کو تسلیم کرنا۔

سات مسائل میں سے صرف ایک، Poincaré Conjecture، کو حل کیا گیا ہے — Grigori Perelman کی طرف سے 2002 اور 2003 میں پوسٹ کیا گیا کام، جس کے لیے اس نے مشہور طور پر فیلڈز میڈل اور انعامی رقم دونوں سے انکار کر دیا۔

آگے ایک 'جان بوجھ کر جلدی نہیں کی گئی' تشخیص

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

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

بیان میں اس بات پر بھی توجہ نہیں دی گئی ہے کہ آیا AI نظام کے اہم حصے سے منسوب حل کسی انعام کے لیے اہل ہے، جس کا مقصد، ادارے کی بانی زبان میں، انسانی ریاضیاتی کامیابی کو تسلیم کرنا ہے - ایسا سوال جس کی انعام کی 26 سالہ تاریخ میں کوئی نظیر نہیں ملتی۔

اعلان کے پیچھے تناؤ

یہ اعلان AI اور ریاضی کے سنگم کے لیے ایک غیر معمولی نازک لمحے پر اترتا ہے۔ جمعہ کو، 25 فیلڈز میڈلسٹ کے ایک گروپ نے بشمول Terence Tao نے ایک باضابطہ اعلامیہ شائع کیا جس میں کہا گیا ہے کہ AI سسٹمز کو ریاضی کے معیارات پر ظاہر کرنے کی دوڑ سائنس اور اس کو برقرار رکھنے والی کمیونٹی دونوں کو نقصان پہنچا رہی ہے - ایک بیان جس نے ایک دن کے اندر 1,300 سے زائد اضافی تائید کنندگان کو اکٹھا کیا، جیسا کہ پہلے AI وائر نے رپورٹ کیا تھا۔

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

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

آگے کیا آتا ہے۔

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

انسٹی ٹیوٹ نے صبر کی درخواست کی ہے۔ یہ دیکھتے ہوئے کہ یہ عمل، ڈیزائن کے لحاظ سے، جان بوجھ کر جلدی نہیں کیا گیا، کمیونٹی کے سوالات — ثبوت، کریڈٹ، اور مشین کے کردار کے بارے میں جس نے اسے تیار کیا — کا جواب انسٹی ٹیوٹ کی ٹائم لائن پر دیا جائے گا، نہ کہ نیوز سائیکل کے۔

---

Stay Ahead of AI

Get the latest AI news, analysis, and breakthroughs — all in one place.

Read more AI news →