اوپن اے آئی نے اپنے صنعتی ماڈلز کے ذریعہ ریاضی، کمپیوٹر سائنس اور فزکس کے شعبوں میں تین بڑی سائنسی دریافتوں کا اعلان کیا ہے، جن میں ہارمونک اینالیسس میں کاکیا تصور کا ثبوت، کمپیوٹیشنل کمپلیکسٹی تھیوری میں ایکسپونینشل ٹائم ہائپوتھیس (ETH) کا انکار، اور چار ڈیمنشنل کوانتم فیلڈ تھیوری (QCD اور معیاری ماڈل سمیت) کے وجود کا سخت ثبوت شامل ہیں۔مضمون کے مصنف، ذریعہ: AIBase
ہالی، OpenAI نے اپنے صنفی ماڈلز کے ذریعے ریاضی، کمپیوٹر سائنس اور فزکس کے شعبوں میں تین بڑی سائنسی دریافتوں کا اعلان کیا ہے، جن میں ہارمونک اینالسس، کمپیوٹیشنل کمپلیکسٹی تھیوری اور کوانٹم فیلڈ تھیوری شامل ہیں۔ ان نئے اصل تحقیقی ڈیٹا کو حقیقی سائنسی سمجھ میں تبدیل کرنے کے لیے، OpenAI نے باہری اکادمک برادری کے ساتھ گہری تعاون کا نیا طریقہ آزمایا اور مختلف شعبوں کے نتائج کے لیے متعدد شائع کرنے کے منصوبے بنائے۔
ہارمونک تحلیل کے شعبے میں، ماڈل نے تمام ابعاد میں مقامی چکنائی (local smoothing) کے تخمن کے ثبوت فراہم کیے، جس سے ریاضی کی دنیا کے کاکیا تخمن اور اسٹین کے پابندی تخمن دونوں کا حل براہ راست ہو گیا۔ نئے ثبوت کی بنیاد ایک نئے مددگار جزئی درجہ اول مساوات پر ہے۔ OpenAI نے ماڈل کے ذریعہ تخلیق کردہ AI قدرتی زبان کے آؤٹ پٹ رپورٹ اور Lean ثبوت کو علیحدہ GitHub ریپوزٹری میں جاری کر دیا ہے۔
کمپیوٹر سائنس کے شعبے میں، ایک نظام نے لمبے عرصے سے سچا مانا جانے والا ایکسپونینشل ٹائم اسٹیما (ETH) کو جھوٹا ثابت کر دیا ہے، جو مشہور P vs. NP مسئلے سے قریب سے جڑا ہوا ہے، جسے پہلے سے ہی سینکڑوں تحقیقی مقالوں نے شرطی کمپوٹیشنل سختی کے نتائج نکالنے کے لیے استعمال کیا تھا۔ اس نتیجہ کو Lean میں بھی تصدیق کیا گیا ہے۔ اس کام کو Russell Impagliazzo، Ramamohan Paturi اور Ryan Williams کی قیادت میں ایک عالماں ٹیم نے جانچا اور رہنمائی کی، اور متعلقہ نتائج اور Lean فارملائزڈ ثبوت دونوں GitHub ریپوزٹری میں اس وقت جاری کر دیے گئے ہیں۔
فیزکس کے شعبے میں، ماڈلز نے چار ڈی میں گیج فیلڈ اور فرمیونز کے کچھ تعاملاتی کوانتم فیلڈ تھیوریز (جس میں کوانتم کلوروڈینامکس QCD اور ذرات کی فیزکس کے معیاری ماڈل کا اتحادی مکمل کرنا شامل ہے) کے لیے ریاضیاتی طور پر سخت وجود کے ثبوت فراہم کیے ہیں، جس میں صرف یانگ–ملز تھیوری کے وجود کا ثبوت بھی ایک ذیلی مسئلہ ہے، جو کلے ریاضیاتی انسٹی ٹیوٹ کے ملینیم پرائز مسائل کا حصہ بھی ہے۔ یہ پیچیدہ کام ڈیوڈ گروس کی قائدگی میں فزکس کے ایک گروپ (جس میں مائیکل ڈگلاس، آرتھر جاف، اگور کلیبانوف اور نکٹا نکراسوف شامل ہیں) نے مل کر آگے بڑھایا۔
برائے مکمل طور پر اکیڈمک دنیا کے لیے ان انقلابی حاصلات کے مستقل جائزہ اور گہری تحقیق کی حمایت کے لیے، OpenAI نے پہلے ہی سمونز فاؤنڈیشن کو 5 ملین امریکی ڈالر کا ڈونیشن دیا ہے، جس سے متعلقہ سیمینار، کانفرنسز اور خصوصی منصوبوں کو فنڈ فراہم کیا جائے گا۔ یہ تمام اقدامات نہ صرف AI کی بنیادی سائنس کے سرحدی تحقیق میں بہت بڑی صلاحیت کو ظاہر کرتے ہیں، بلکہ جدید نظریاتی فزکس اور ریاضیات کو بھی اعلیٰ معیار کی سختی کی طرف تیزی سے لے جارہے ہیں۔