OpenAI ریاضی کے سینکڑوں مسائل پر نتائج جاری کرتا ہے۔

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

کوڈ شیئرنگ پلیٹ فارم GitHub پر منگل کو جاری کردہ مجموعہ میں 722 مخطوطات شامل ہیں جو متعلقہ نتائج کے 372 سیٹوں میں گروپ کیے گئے ہیں۔ ان میں ایک اہم تلاش، معاون دلائل یا متبادل ثبوت شامل ہو سکتے ہیں۔

کمپنی کے مطابق، ماڈل نے جانچ کے دوران تقریباً 4,000 تحقیقی مسائل کی کوشش کی۔

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

OpenAI نے کہا کہ شائع شدہ نتائج تصدیق کے مختلف مراحل پر تھے۔

بہت سے نتائج کے لیے، کمپنی نے لین میں لکھے ہوئے ثبوت بھی جاری کیے، جو ایک پروگرامنگ زبان ہے جو کمپیوٹرز کو یہ جانچنے کے قابل بناتی ہے کہ آیا ریاضی کے دلائل منطقی طور پر چلتے ہیں۔ یہ دستیاب ہوتے ہی مزید اضافہ کرنے کا ارادہ رکھتا ہے۔

OpenAI نے ماڈل کے استدلال کے 10 خلاصے اور استعمال شدہ کمپیوٹنگ طاقت کے تخمینے شائع کیے۔ اس نے کہا کہ اوسط نتیجہ کے لیے تقریباً تین گھنٹے کے ChatGPT پرو “سوچ” کے برابر کمپیوٹنگ پاور درکار ہے۔

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

“یہ ریاضی کے لیے ایک اہم واقعہ ہے، جس کے نتائج ریاضی اور ریاضی کی کمیونٹی دونوں کے لیے ہیں جو انفرادی نتائج سے بہت آگے ہیں،” گروپ نے کہا، اپنے مشاورتی کردار پر زور دیتے ہوئے نتائج کی توثیق کے مترادف نہیں ہے۔

“اس کام کو عوامی بنانا ایک پہلا قدم ہے۔ یہ ریلیز انسانی سمجھ کے عمل کا آغاز ہے، تکمیل نہیں، اور ریاضی کے علم میں کام کو شامل کرنا،” اس نے مزید کہا۔ “ریاضی کی تحقیق کا مستقبل صرف AI لیبز کے ذریعہ تیار کردہ نتائج کو سمجھنے پر مشتمل نہیں ہوسکتا ہے۔”