اوپن اے آئی کا کہنا ہے کہ اے آئی ماڈل نے ریاضی کے ملینیم پرائز کے مسائل میں سے ایک کو حل کیا۔

OpenAI نے منگل کو کہا کہ ایک غیر جاری شدہ مصنوعی ذہانت (AI) ماڈل نے Navier-Stokes کے وجود اور ہمواری کا مسئلہ حل کر دیا ہے، جو کہ ریاضی کے سات مشہور ملینیم پرائز کے مسائل میں سے ایک ہے۔

کمپنی نے کہا کہ ماڈل کو حل تیار کرنے میں 88 گھنٹے لگے، جس میں متوازی طور پر کام کرنے والے 10,000 AI ایجنٹوں کو تعینات کیا گیا، جو کہ جدید ترین ریاضیاتی تحقیق سے نمٹنے کے لیے AI کی بڑھتی ہوئی صلاحیت کے سب سے اہم مظاہروں میں سے ایک ہے۔

Navier-Stokes مسئلہ پانی اور ہوا جیسے سیالوں کی حرکت کو بیان کرنے کے لیے استعمال ہونے والی مساوات سے متعلق ہے، اور وسیع طور پر پوچھتا ہے کہ آیا ان کے حل ہمیشہ اچھے طریقے سے رہتے ہیں یا کچھ شرائط کے تحت انفرادیت پیدا کر سکتے ہیں۔

اوپن اے آئی کے ثبوت نے اس طرح کی خرابی، یا “دھماکہ” ظاہر کرنے کا دعوی کیا ہے، جو ایک ایسے مسئلے کا جواب ہے جو دہائیوں سے حل نہیں ہوا تھا۔

یہ مسئلہ 2000 میں کلے میتھمیٹکس انسٹی ٹیوٹ کی طرف سے نامزد کردہ ملینیم پرائز کے سات مسائل میں سے ایک تھا، جس میں ہر ایک کے درست حل کے لیے $1 ملین کا انعام پیش کیا گیا تھا۔ پہلے سات میں سے صرف ایک حل ہوا تھا۔

OpenAI نے ایک مقالہ بھی جاری کیا جس میں اس کے مجوزہ حل کی تفصیل دی گئی، جس میں Lean میں لکھا گیا ثبوت، ایک پروگرامنگ لینگویج اور تھیوریم ثابت کرنے والا نظام شامل ہے جو ریاضی کے دلائل کی باضابطہ تصدیق کے لیے استعمال ہوتا ہے۔

پڑھیں: OpenAI نے ریاضی اور سائنس کے مسائل کے لیے استدلال کی بہتر صلاحیتوں کے ساتھ نئے ChatGPT کی نقاب کشائی کی۔

تاہم، دعویٰ کے لیے ریاضیاتی برادری کی طرف سے جانچ پڑتال کی ضرورت ہوگی اس سے پہلے کہ مسئلہ کو قطعی طور پر حل کرنے پر غور کیا جائے۔

یہ اعلان نیو یارک یونیورسٹی کے ریاضی دان ٹرسٹن بک ماسٹر اور حریف AI کمپنی Anthropic میں کام کرنے والے ریاضی دان Levent Alpoge کی متوازی تحقیق کے تنازع کے درمیان سامنے آیا ہے۔ اوپن اے آئی نے تسلیم کیا کہ اس نے یہ جاننے کے بعد اس مسئلے پر اپنا کام تیز کر دیا کہ دوسرے ریاضی دان اسی طرح کی سمت کا تعاقب کر رہے ہیں، لیکن کہا کہ اس نے ان کا کام نہیں دیکھا۔

یہ ترقی اعلیٰ ریاضی میں AI کے تیزی سے پھیلتے ہوئے کردار پر روشنی ڈالتی ہے، جب کہ پچھلے سال AI سسٹمز نے کئی دیرینہ مسائل کو حل کیا جس نے ریاضی دانوں کو سالوں یا دہائیوں سے مزاحمت کی تھی۔