ME News کے مطابق، 9 ستمبر (UTC+8)، اوپنای آئی نے نیویر-سٹاکس کے وجود اور چکنا چورا ہونے کے مسئلے کا حل تلاش کر لیا ہے، جو تقریباً 90 سال سے حل نہیں ہوا تھا۔
یہ ثبوت ایک ایسے OpenAI کے نئے مدل کے ذریعے دیا گیا جو GPT-6 Astra سے کافی زیادہ طاقتور ہے، جس میں تقریباً 10,000 ایجنٹس متوازی طور پر کام کر رہے تھے اور ثبوت تیار کرنے میں تقریباً 88 گھنٹے لگے، جس کے بعد GPT-6 Astra نے Lean ثبوت سسٹم میں 17 گھنٹے لگا کر فارمل ویریفیکیشن مکمل کیا۔ ثبوت ظاہر کرتا ہے کہ تین بعد کے فلڈ کی حرکت محدود وقت میں غیر معمولی نقطہ (singularity) پیدا کر سکتی ہے: جہاں گردشیں اندر کی طرف سکڑتی ہیں، مرکز کو کشیدہ کیا جاتا ہے اور تیزی سے تیز ہوتے ہوئے رفتار بے حد ہو جاتی ہے، جبکہ نظام کی کل توانائی محدود رہتی ہے۔ OpenAI نے 165 صفحات کا ثبوت اور Lean فارمل کوڈ شائع کر دیا ہے اور 1 ملین امریکی ڈالر کا انعام حاصل کرنے کا ارادہ نہیں رکھتا۔ ابھی تک کلے میتھماتیکس انسٹیٹیوٹ اس مسئلے کو حل نہ ہونے والا درج رکھتا ہے، کیونکہ قواعد کے مطابق، حل کو ایک مناسب جرنل میں شائع کرنا، کم از کم دو سال تک وہاں رکھنا، اور ریاضی کے شعبے میں عام قبولیت حاصل کرنا ضروری ہے تاکہ انعام دیا جا سکے۔(ذرائع: X)
