اوپن اے آئی ماڈل نے یانگ-میلز مسئلے کا نصف ثبوت مکمل کر لیا ہے

ChainCatcher کی رپورٹ کے مطابق، MTS کے ایک پوسٹ کے مطابق، OpenAI کا AI ماڈل فزکس کے شعبے میں ایک ملین ڈالر کے ملینیم پرائز مسئلے کا نصف ثابت کر چکا ہے، جس کی تائید نوبل انعام یافتہ ماہرین کی ٹیم نے کی ہے۔ MTS کے مطابق، یہ مسئلہ یانگ-میلز مسئلہ ہے۔ OpenAI نے 26 اکتوبر کو پہلی بار اس ثبوت کا اعلان کیا اور بتایا کہ ان کا ماڈل ستمبر میں یہ کام مکمل کر چکا تھا۔ جائزہ ٹیم کی صدارت نوبل انعام یافتہ ڈیوڈ گروس نے کی، جس میں ارثر جافے بھی شامل ہیں، جنہوں نے اس ملینیم پرائز مسئلے کے اصل دستاویز کا تعاون سے تحریر کیا تھا۔ ثبوت کو Lean نامی ایک ایسی کمپیوٹر زبان میں فارملائز کیا گیا ہے جس میں ہر لائن کی تصدیق ممکن ہے۔ یانگ-میلز مسئلہ 2000ء میں قائم کردہ سات ملینیم پرائز مسائل میں سے ایک ہے، جن میں سے ہر ایک کا انعام ایک ملین ڈالر ہے؛ تک اب تک صرف ایک مسئلہ، جسے گرگوری پرلمین نے حل کیا تھا، لیکن اس نے انعام لینے سے انکار کر دیا تھا۔ MTS نے بتایا کہ اس انعام کو حاصل کرنے کے لیے، ابھی بھی "ماس گپ" ثابت کرنا ضروری ہے، اور کلے ماتھماتکس انسٹیٹیوٹ کے قواعد کے مطابق شائع ہونا اور دو سال تک تسلیم ہونا بھی ضروری ہے۔ X صارف Theo Jaffee نے بتایا کہ فزکس دان پہلے سے ہی تجرباتی سطح پر کوانٹم فیلڈ تھوری اور کوانٹم یانگ-میلز تھوری پر عمل کر رہے ہیں، لیکن ان تھوریز کے لئے ریاضیاتی فارمولائش کا فقدان موجود رہا ہے۔